9 AC_ARG_WITH(z3, [ --with-z3=DIR use idzebra-config-3.0 in DIR (example /home/z3-1.7)], [z3path=$withval])
10 if test "x$z3path" != "xNONE"; then
11 z3config=$z3path/idzebra-config-3.0
13 if test "x$srcdir" = "x"; then
18 for i in ${z3srcdir}/../../z3c ${z3srcdir}/../z3c-* ${z3srcdir}/../z3c; do
20 if test -r $i/idzebra-config-3.0; then
21 z3config=$i/idzebra-config-3.0
25 if test "x$z3config" = "xNONE"; then
26 AC_PATH_PROG(z3config, idzebra-config-3.0, NONE)
29 AC_MSG_CHECKING(for Z3)
30 if $z3config --version >/dev/null 2>&1; then
31 Z3LIB=`$z3config --libs $1`
32 Z3LALIB=`$z3config --lalibs $1`
33 Z3INC=`$z3config --cflags $1`
34 Z3VERSION=`$z3config --version`
35 AC_MSG_RESULT([$z3config])
37 AC_MSG_RESULT(Not found)
40 if test "X$Z3VERSION" != "XNONE"; then
41 AC_MSG_CHECKING([for Z3 version])
42 AC_MSG_RESULT([$Z3VERSION])
44 have_z3_version=`echo "$Z3VERSION" | awk 'BEGIN { FS = "."; } { printf "%d", ([$]1 * 1000 + [$]2) * 1000 + [$]3;}'`
45 req_z3_version=`echo "$2" | awk 'BEGIN { FS = "."; } { printf "%d", ([$]1 * 1000 + [$]2) * 1000 + [$]3;}'`
46 if test "$have_z3_version" -lt "$req_z3_version"; then
47 AC_MSG_ERROR([$Z3VERSION. Requires Z3 $2 or later])