z3.m4

   1 AC_DEFUN([Z3_INIT],
   2 [
   3         AC_SUBST(Z3LIB)
   4         AC_SUBST(Z3LALIB)
   5         AC_SUBST(Z3INC)
   6         AC_SUBST(Z3VERSION)
   7         z3config=NONE
   8         z3path=NONE
   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
  12         else
  13                 if test "x$srcdir" = "x"; then
  14                         z3srcdir=.
  15                 else
  16                         z3srcdir=$srcdir
  17                 fi
  18                 for i in ${z3srcdir}/../../z3c ${z3srcdir}/../z3c-* ${z3srcdir}/../z3c; do
  19                         if test -d $i; then
  20                                 if test -r $i/idzebra-config-3.0; then
  21                                         z3config=$i/idzebra-config-3.0
  22                                 fi
  23                         fi
  24                 done
  25                 if test "x$z3config" = "xNONE"; then
  26                         AC_PATH_PROG(z3config, idzebra-config-3.0, NONE)
  27                 fi
  28         fi
  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])
  36         else
  37                 AC_MSG_RESULT(Not found)
  38                 Z3VERSION=NONE
  39         fi
  40         if test "X$Z3VERSION" != "XNONE"; then
  41                 AC_MSG_CHECKING([for Z3 version])
  42                 AC_MSG_RESULT([$Z3VERSION])
  43                 if test "$2"; then
  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])
  48                         fi
  49                 fi
  50         fi
  51 ])