Fix boost not found on debian-testing MP-628

[m4-moved-to-github.git] / z3.m4

diff --git a/z3.m4 b/z3.m4
index 325fde2..7c06795 100644 (file)
--- a/z3.m4
+++ b/z3.m4
@@ -15,7 +15,7 @@ AC_DEFUN([Z3_INIT],
                else
                        z3srcdir=$srcdir
                fi
-               for i in ${z3srcdir}/../../z3 ${z3srcdir}/../z3-* ${z3srcdir}/../z3; do
+               for i in ${z3srcdir}/../../z3c ${z3srcdir}/../z3c-* ${z3srcdir}/../z3c; do
                        if test -d $i; then
                                if test -r $i/idzebra-config-3.0; then
                                        z3config=$i/idzebra-config-3.0