Project

General

Profile

Revision ec8fc65e configure.ac

View differences:

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