Implement set-theoretic operation on 2WSATA (union, intersection,

[tatoo.git] / configure.in

diff --git a/configure.in b/configure.in
index fb09327..fd2059e 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -150,8 +150,8 @@ AC_SUBST(EXE)
 
 # required libraries
 AC_MSG_CHECKING([for ulex])
-$OCAMLFIND query ulex >/dev/null 2>&1
-if test $? ; then
+ulex_path=`$OCAMLFIND query ulex 2>/dev/null`
+if test "$ulex_path" ; then
    AC_MSG_RESULT([found])
 else
    AC_MSG_RESULT([not found])
@@ -159,12 +159,12 @@ else
 fi
 
 AC_MSG_CHECKING([for expat])
-$OCAMLFIND query ulex >/dev/null 2>&1
-if test $? ; then
+expat_path=`$OCAMLFIND query expat 2>/dev/null`
+if test "$expat_path" ; then
    AC_MSG_RESULT([found])
 else
    AC_MSG_RESULT([not found])
-   AC_MSG_ERROR([Cannot find ulex.])
+   AC_MSG_ERROR([Cannot find expat.])
 fi
 
 #compilation options
@@ -250,4 +250,5 @@ AC_SUBST(OCAMLCFLAGS)
 AC_SUBST(OCAMLOPTFLAGS)
 AC_SUBST(CAMLP4FLAGS)
 AC_CONFIG_FILES(Remakefile)
+AC_CONFIG_FILES(Makefile)
 AC_OUTPUT