bump version: 0.10.0 -> 0.11.0

Reviewed By: jberdine

Differential Revision: D4810126

fbshipit-source-id: 10612ab
master
Jules Villard 8 years ago committed by Facebook Github Bot
parent f4bc0db2b4
commit a3b3148100

@ -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])

@ -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 | \

@ -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"

@ -1,5 +1,5 @@
{
"version": "0.10.0",
"version": "0.11.0",
"description": "infer",
"exportedEnvVars": {
"FINDLIB": {

Loading…
Cancel
Save