From 9b1c79ff53bc73beb00e8c0a0c17048f70852462 Mon Sep 17 00:00:00 2001 From: Dennis Schafroth Date: Tue, 2 Feb 2010 13:06:08 +0100 Subject: [PATCH] Fixed source location --- z3.m4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/z3.m4 b/z3.m4 index 325fde2..7c06795 100644 --- 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 -- 1.7.10.4