Revision ec8fc65e
Added by Pierre-Loïc Garoche about 6 years ago
AUTHORS | ||
---|---|---|
1 | 1 |
Pierre-Loïc Garoche - ONERA, France |
2 | 2 |
Xavier Thirioux - ENSEEIHT/INPT, France |
3 |
Temesghen Kahsai - CMU/NASA, USA |
|
3 |
Hamza Bourbouh, SGT/NASA, USA |
|
4 |
Christophe Garion, ISAE-Supearo, France |
|
5 |
Temesghen Kahsai - while at CMU/NASA, USA |
|
4 | 6 |
Inital Typing/Clocking by Julien Forget - LIFL, France |
configure.ac | ||
---|---|---|
96 | 96 |
#define([z3path], esyscmd([opam config var Z3:lib | tr -d '\n'])) |
97 | 97 |
|
98 | 98 |
AS_IF([ocamlfind query $z3name >/dev/null 2>&1], |
99 |
[z3=yes; AC_MSG_RESULT([yes])],[seal=no; AC_MSG_RESULT(no)],
|
|
99 |
[z3=yes; AC_MSG_RESULT([yes])],[zustre=no; AC_MSG_RESULT(no)],
|
|
100 | 100 |
) |
101 | 101 |
AS_IF([test "x$z3" = "xyes"], [ |
102 | 102 |
AC_SUBST(LUSTREV_ZUSTRE, "(module Zustre_verifier.Verifier : VerifierType.S);") |
Also available in: Unified diff
configure.ac tuning