From 4028fea3c0c5e6cae7fed75bbfd0df6309b2ec85 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 8 Jul 2016 03:39:15 -0700 Subject: [PATCH] bump version: 0.8.1 -> 0.9.0 Reviewed By: akotulski Differential Revision: D3528843 fbshipit-source-id: 07a3906 --- configure.ac | 6 +++--- docker/Dockerfile | 2 +- opam | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/configure.ac b/configure.ac index 04364e79e..cda89fb98 100644 --- a/configure.ac +++ b/configure.ac @@ -15,7 +15,7 @@ AC_PREREQ([2.63]) # - opam # - docker/Dockerfile AC_INIT([Infer], - [0.8.1], + [0.9.0], [https://github.com/facebook/infer/issues/]) # this has to happen just after AC_INIT() because later macros may mess with the arguments passed to @@ -26,8 +26,8 @@ AC_CONFIG_SRCDIR([infer/src/IR/Sil.re]) # WARNING: keep in sync with above INFER_MAJOR=0 -INFER_MINOR=8 -INFER_PATCH=1 +INFER_MINOR=9 +INFER_PATCH=0 AC_SUBST([INFER_MAJOR]) AC_SUBST([INFER_MINOR]) diff --git a/docker/Dockerfile b/docker/Dockerfile index 39dd3d2b5..4d47d7e4c 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -43,7 +43,7 @@ RUN VERSION=1.2.2; \ RUN opam init -y --comp=4.02.3 # Download the latest Infer release -RUN INFER_VERSION=v0.8.1; \ +RUN INFER_VERSION=v0.9.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 f1ba1d5ef..0cea12132 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.8.1" +version: "0.9.0" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer"