]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/configure.in
the spec file is now autoconfigured
[helm.git] / helm / DEVEL / lablgtkmathview / configure.in
index c1403adea00fdebbc6d92ce0ee1f8794caa3a7d7..011dccbe875df960feeb2af1a83ebc141db2001f 100644 (file)
@@ -19,8 +19,8 @@ AC_MSG_CHECKING(for the ocaml library dir)
 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
 AC_MSG_RESULT($OCAML_ROOT)
 
-RES="yes"
 AC_CHECK_FILE($OCAML_ROOT/lablgtk/gtk.ml,
+  RES="yes"
   LABLGTK_LIB_DIR=$OCAML_ROOT/lablgtk,
   RES="no"
 )
@@ -39,8 +39,8 @@ if test $RES = "no"; then
   AC_CACHE_SAVE
 fi
 
-RES="yes"
 AC_CHECK_FILE($OCAML_ROOT/mlminidom/minidom.mli,
+  RES="yes"
   MLMINIDOM_LIB_DIR=$OCAML_ROOT/mlminidom,
   RES="no"
 )