Project

General

Profile

Revision ec8fc65e

View differences:

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