diff --git a/configure.ac b/configure.ac index cf9ba853d..b322857d4 100644 --- a/configure.ac +++ b/configure.ac @@ -15,14 +15,14 @@ AC_PREREQ([2.63]) # - opam # - docker/Dockerfile AC_INIT([Infer], - [0.8.0], + [0.8.1], [https://github.com/facebook/infer/issues/]) AC_CONFIG_SRCDIR([infer/src/IR/sil.ml]) # WARNING: keep in sync with above INFER_MAJOR=0 INFER_MINOR=8 -INFER_PATCH=0 +INFER_PATCH=1 AC_SUBST([INFER_MAJOR]) AC_SUBST([INFER_MINOR]) diff --git a/docker/Dockerfile b/docker/Dockerfile index c528c7b4d..016b0944b 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -40,7 +40,7 @@ RUN VERSION=1.2.2; \ RUN opam init -y --comp=4.02.3 # Download the latest Infer release -RUN INFER_VERSION=v0.8.0; \ +RUN INFER_VERSION=v0.8.1; \ 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 ac2d010b8..0274a1de9 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.8.0" +version: "0.8.1" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer"