Project

General

Profile

Revision 3d3718ae configure.ac

View differences:

configure.ac
79 79

  
80 80
# z3
81 81
AC_MSG_CHECKING(z3 library (optional))
82
#define([z3path], esyscmd([ocamlfind query z3 | tr -d '\n']))
83
define([z3path], esyscmd([opam config var z3:lib | tr -d '\n']))
82
define([z3path], esyscmd([ocamlfind query Z3 | tr -d '\n']))
83
#define([z3path], esyscmd([opam config var Z3:lib | tr -d '\n']))
84 84

  
85
AS_IF([ocamlfind query z3 >/dev/null 2>&1],
85
AS_IF([ocamlfind query Z3 >/dev/null 2>&1],
86 86
    [z3=yes; AC_MSG_RESULT(yes)],[seal=no; AC_MSG_RESULT(no)],
87 87
)
88 88
AS_IF([test "x$z3" = "xyes"], [
89 89
   AC_SUBST(LUSTREV_ZUSTRE, "(module Zustre_verifier.Verifier : VerifierType.S);")
90
   AC_SUBST(LUSTREV_Z3_TAG, "<**/*>: package(z3)")
90
   AC_SUBST(LUSTREV_Z3_TAG, "<**/*>: package(Z3)")
91 91
   AC_SUBST(Z3LIBPATH, "z3path")
92 92
])
93 93

  

Also available in: Unified diff