|
|
@ -13,13 +13,13 @@ AC_PREREQ([2.63])
|
|
|
|
# WARNING: AC_INIT only accepts string literals so the version number
|
|
|
|
# WARNING: AC_INIT only accepts string literals so the version number
|
|
|
|
# has to be kept in sync with below
|
|
|
|
# has to be kept in sync with below
|
|
|
|
AC_INIT([Infer],
|
|
|
|
AC_INIT([Infer],
|
|
|
|
[0.7.0],
|
|
|
|
[0.8.0],
|
|
|
|
[https://github.com/facebook/infer/issues/])
|
|
|
|
[https://github.com/facebook/infer/issues/])
|
|
|
|
AC_CONFIG_SRCDIR([infer/src/backend/sil.ml])
|
|
|
|
AC_CONFIG_SRCDIR([infer/src/backend/sil.ml])
|
|
|
|
|
|
|
|
|
|
|
|
# WARNING: keep in sync with above
|
|
|
|
# WARNING: keep in sync with above
|
|
|
|
INFER_MAJOR=0
|
|
|
|
INFER_MAJOR=0
|
|
|
|
INFER_MINOR=7
|
|
|
|
INFER_MINOR=8
|
|
|
|
INFER_PATCH=0
|
|
|
|
INFER_PATCH=0
|
|
|
|
|
|
|
|
|
|
|
|
AC_SUBST([INFER_MAJOR])
|
|
|
|
AC_SUBST([INFER_MAJOR])
|
|
|
|