|
|
@ -13,16 +13,15 @@ AC_PREREQ([2.63])
|
|
|
|
# WARNING: the version number has to be kept in sync with:
|
|
|
|
# WARNING: the version number has to be kept in sync with:
|
|
|
|
# - the values below
|
|
|
|
# - the values below
|
|
|
|
# - opam
|
|
|
|
# - opam
|
|
|
|
# - docker/Dockerfile
|
|
|
|
|
|
|
|
AC_INIT([Infer],
|
|
|
|
AC_INIT([Infer],
|
|
|
|
[0.14.0],
|
|
|
|
[0.15.0],
|
|
|
|
[https://github.com/facebook/infer/issues/])
|
|
|
|
[https://github.com/facebook/infer/issues/])
|
|
|
|
|
|
|
|
|
|
|
|
AC_CONFIG_SRCDIR([infer/src/istd/IStd.ml])
|
|
|
|
AC_CONFIG_SRCDIR([infer/src/istd/IStd.ml])
|
|
|
|
|
|
|
|
|
|
|
|
# WARNING: keep in sync with above
|
|
|
|
# WARNING: keep in sync with above
|
|
|
|
INFER_MAJOR=0
|
|
|
|
INFER_MAJOR=0
|
|
|
|
INFER_MINOR=14
|
|
|
|
INFER_MINOR=15
|
|
|
|
INFER_PATCH=0
|
|
|
|
INFER_PATCH=0
|
|
|
|
|
|
|
|
|
|
|
|
AC_SUBST([INFER_MAJOR])
|
|
|
|
AC_SUBST([INFER_MAJOR])
|
|
|
|