From ed84dbf5a6c0d57ec4baf74148c3500477bdfa8e Mon Sep 17 00:00:00 2001 From: Thanassis Tsiodras Date: Tue, 15 Nov 2016 10:29:13 -0800 Subject: [PATCH] There doesn't appear to be any 0.9.4 release Summary: Hi Facebook team - I just tried to install infer via the offered Dockerfile, and it failed with... Step 8 : RUN INFER_VERSION=v0.9.4; cd /opt && curl -sL https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | tar xJ && rm -f /infer && ln -s ${PWD}/infer-linux64-$INFER_VERSION /infer ---> Running in 11442e175368 xz: (stdin): File format not recognized tar: Child returned status 1 tar: Error is not recoverable: exiting now The command '/bin/sh -c INFER_VERSION=v0.9.4; cd /opt && curl -sL https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | tar xJ && rm -f /infer && ln -s ${PWD}/infer-linux64-$INFER_VERSION /infer' returned a non-zero code: 2 This patch just makes the Dockerfile point to release 0.9.3 - which actually exists. Closes https://github.com/facebook/infer/pull/502 Differential Revision: D4183416 Pulled By: jvillard fbshipit-source-id: 5e58e56 --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 8e1d4e073..2c7c9e62d 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -44,7 +44,7 @@ RUN VERSION=1.2.2; \ RUN opam init -y --comp=4.02.3 # Download the latest Infer release -RUN INFER_VERSION=v0.9.4; \ +RUN INFER_VERSION=v0.9.3; \ cd /opt && \ curl -sL \ https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \