diff --git a/configure.ac b/configure.ac index af93c457add..7226f2ce3a5 100644 --- a/configure.ac +++ b/configure.ac @@ -15,7 +15,7 @@ AC_PREREQ([2.63]) # - opam # - docker/Dockerfile AC_INIT([Infer], - [0.9.1], + [0.9.2], [https://github.com/facebook/infer/issues/]) # this has to happen just after AC_INIT() because later macros may mess with the arguments passed to @@ -27,7 +27,7 @@ AC_CONFIG_SRCDIR([infer/src/IR/Sil.re]) # WARNING: keep in sync with above INFER_MAJOR=0 INFER_MINOR=9 -INFER_PATCH=1 +INFER_PATCH=2 AC_SUBST([INFER_MAJOR]) AC_SUBST([INFER_MINOR]) diff --git a/docker/Dockerfile b/docker/Dockerfile index 1434f0d0d25..fb9f242722f 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.1; \ +RUN INFER_VERSION=v0.9.2; \ 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 b52d893c36d..4fb8ee1461d 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.9.1" +version: "0.9.2" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer"