Project

General

Profile

Revision e4edf171 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]))
82
define([z3path], esyscmd([ocamlfind query z3 | tr -d '\n']))
83 83

  
84 84
AS_IF([ocamlfind query z3 >/dev/null 2>&1],
85 85
    [z3=yes; AC_MSG_RESULT(yes)],[seal=no; AC_MSG_RESULT(no)],

Also available in: Unified diff