diff --git a/configure.ac b/configure.ac index c36fecd33..7e79df7ec 100644 --- a/configure.ac +++ b/configure.ac @@ -15,14 +15,14 @@ AC_PREREQ([2.63]) # - opam # - docker/Dockerfile AC_INIT([Infer], - [0.10.0], + [0.11.0], [https://github.com/facebook/infer/issues/]) AC_CONFIG_SRCDIR([infer/src/IR/Sil.re]) # WARNING: keep in sync with above INFER_MAJOR=0 -INFER_MINOR=10 +INFER_MINOR=11 INFER_PATCH=0 AC_SUBST([INFER_MAJOR]) diff --git a/docker/Dockerfile b/docker/Dockerfile index 0f5a6d110..055f853b2 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -45,7 +45,7 @@ RUN VERSION=1.2.2; \ RUN opam init -y --comp=4.02.3 # Download the latest Infer release -RUN INFER_VERSION=v0.10.0; \ +RUN INFER_VERSION=v0.11.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 b6087ee54..0d9b7d543 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.10.0" +version: "0.11.0" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer" diff --git a/package.json b/package.json index 45fe510df..4785c4674 100644 --- a/package.json +++ b/package.json @@ -1,5 +1,5 @@ { - "version": "0.10.0", + "version": "0.11.0", "description": "infer", "exportedEnvVars": { "FINDLIB": {