download specific infer version

Summary:public
Instead of using the GitHub APIs to figure out the latest infer version to
download, hardcode it in the file. This way, Docker doesn't cache the version
number.

Differential Revision: D3109567

fb-gh-sync-id: 679018e
fbshipit-source-id: 679018e

configure.ac

@@ -10,8 +10,10 @@ dnl of patent rights can be found in the PATENTS file in the same directory.
 
 AC_PREREQ([2.63])
 
-# WARNING: AC_INIT only accepts string literals so the version number
+# WARNING: the version number has to be kept in sync with:
-# has to be kept in sync with below
+# - the values below
+# - opam
+# - docker/Dockerfile
 AC_INIT([Infer],
         [0.8.0],
         [https://github.com/facebook/infer/issues/])

docker/Dockerfile

@@ -39,10 +39,7 @@ RUN curl -sL \
 RUN opam init -y --comp=4.02.3
 
 # Download the latest Infer release
-RUN INFER_VERSION=$(curl -s https://api.github.com/repos/facebook/infer/releases \
+RUN INFER_VERSION=v0.8.0; \
-      | grep -e '^[ ]\+"tag_name"' \
-      | head -1 \
-      | cut -d '"' -f 4); \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \

opam

@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.7.0"
+version: "0.8.0"
 maintainer: "opam-devel@lists.ocaml.org"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"