From af4a2c130107d0fc5a3b3e64f24be7a0df4f1771 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 29 Mar 2016 11:47:42 -0700
Subject: [PATCH] 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      | 6 ++++--
 docker/Dockerfile | 5 +----
 opam              | 2 +-
 3 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/configure.ac b/configure.ac
index c85fa21fc..3e657606e 100644
--- a/configure.ac
+++ b/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
-# has to be kept in sync with below
+# WARNING: the version number has to be kept in sync with:
+# - the values below
+# - opam
+# - docker/Dockerfile
 AC_INIT([Infer],
         [0.8.0],
         [https://github.com/facebook/infer/issues/])
diff --git a/docker/Dockerfile b/docker/Dockerfile
index a55f373ea..4111a12ad 100644
--- a/docker/Dockerfile
+++ b/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 \
-      | grep -e '^[ ]\+"tag_name"' \
-      | head -1 \
-      | cut -d '"' -f 4); \
+RUN INFER_VERSION=v0.8.0; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
diff --git a/opam b/opam
index f5c16dcb4..e83edace5 100644
--- a/opam
+++ b/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"