Project

General

Profile

Revision 7b424fe6 configure.ac

View differences:

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