Revision 7b424fe6 configure.ac
| configure.ac | ||
|---|---|---|
| 88 | 88 |
|
| 89 | 89 |
# z3 (optional) |
| 90 | 90 |
|
| 91 |
AC_ARG_ENABLE(z3, [AS_HELP_STRING([--disable-z3], |
|
| 92 |
[disable Z3 dependencies. Enabled by default if available.])]) |
|
| 93 |
|
|
| 91 | 94 |
# option to rely on github version if installed |
| 92 | 95 |
AC_ARG_WITH(z3_github, [AS_HELP_STRING([--with-z3-github], |
| 93 | 96 |
[Rely on Z3 as distributed by the official github |
| ... | ... | |
| 107 | 110 |
AS_IF([ocamlfind query $z3name >/dev/null 2>&1], |
| 108 | 111 |
[z3=yes; AC_MSG_RESULT([yes])],[zustre=no; AC_MSG_RESULT(no)], |
| 109 | 112 |
) |
| 110 |
AS_IF([test "x$z3" = "xyes"], [ |
|
| 113 |
|
|
| 114 |
AS_IF([test "x$enable_z3" != "xno"], [ |
|
| 115 |
if (test "x$z3" = xyes ); then |
|
| 111 | 116 |
AC_SUBST(LUSTREV_ZUSTRE, "(module Zustre_verifier.Verifier : VerifierType.S);") |
| 112 |
AC_SUBST(LUSTREV_Z3_TAG, "<**/*verifier.native> or <tools/zustre/*.ml> or <tools/zustre/*.mli>: package($z3name)") |
|
| 117 |
AC_SUBST(LUSTREV_Z3_TAG, "<**/*verifier.native> or <tools/zustre/*.ml> or <tools/zustre/*.mli> or <tools/seal/seal_extract.ml> or <tools/seal/seal_extract.mli>: package($z3name)")
|
|
| 113 | 118 |
AS_IF([test "x$z3name" = "xZ3"], |
| 114 | 119 |
[define([Z3path], esyscmd([ocamlfind query Z3 | tr -d '\n'])) |
| 115 | 120 |
AC_SUBST(Z3LIBPATH, "Z3path")], |
| 116 | 121 |
[define([z3path], esyscmd([ocamlfind query z3 | tr -d '\n'])) |
| 117 | 122 |
AC_SUBST(Z3LIBPATH, "z3path")] |
| 118 | 123 |
) |
| 124 |
fi |
|
| 119 | 125 |
]) |
| 120 | 126 |
|
| 121 | 127 |
|
| ... | ... | |
| 251 | 257 |
AC_MSG_NOTICE([Salsa plugin disabled]) |
| 252 | 258 |
fi |
| 253 | 259 |
|
| 260 |
if (test "x$z3" = xyes -a "x$enable_z3" != xno); then |
|
| 261 |
AC_MSG_NOTICE([Z3 dependencies enabled]) |
|
| 262 |
else |
|
| 263 |
AC_MSG_NOTICE([Z3 dependencies disabled]) |
|
| 264 |
fi |
|
| 265 |
|
|
| 254 | 266 |
if (test "x$yojson" = xyes -a "x$enable_lustresf" != "xno"); then |
| 255 | 267 |
AC_MSG_NOTICE([lustresf available]) |
| 256 | 268 |
else |
| ... | ... | |
| 268 | 280 |
AC_MSG_NOTICE([Seal disabled. Require Seal library]) |
| 269 | 281 |
fi |
| 270 | 282 |
|
| 271 |
if (test "x$z3" = xyes); then |
|
| 283 |
if (test "x$z3" = xyes -a "x$enable_z3" != xno); then
|
|
| 272 | 284 |
AC_MSG_NOTICE([Zustre enabled]) |
| 273 | 285 |
AC_MSG_WARN(Z3 shared lib (libz3.so) has to be available in the LD_LIBRARY_PATH (DYLD_LIBRARY_PATH in OSX).) |
| 274 | 286 |
dnl AC_MSG_WARN(It is currently located in "z3path") |
Also available in: Unified diff