X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fconfigure.ac;h=357d1018f1c89a31b77aa1f6247eca72727d4a1e;hb=ed308fc03be5397081ac0e00bbc73b3f71da1e67;hp=7c7d393a56a650812ed1251b56e77fab6aa649e0;hpb=2af94b81b952606ff67804dbe2410d9b90080e1f;p=helm.git

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 7c7d393a5..357d1018f 100644
--- a/helm/ocaml/configure.ac
+++ b/helm/ocaml/configure.ac
@@ -29,6 +29,14 @@ if test $HAVE_OCAMLOPT_OPT = "yes"; then
     OCAMLFIND_COMMANDS="$OCAMLFIND_COMMANDS ocamlopt=ocamlopt.opt"
   fi
 fi
+AC_CHECK_PROG(HAVE_OCAMLDEP_OPT, ocamldep.opt, yes, no)
+if test $HAVE_OCAMLDEP_OPT = "yes"; then
+  if test "$OCAMLFIND_COMMANDS" = ""; then
+    OCAMLFIND_COMMANDS="ocamldep=ocamldep.opt"
+  else
+    OCAMLFIND_COMMANDS="$OCAMLFIND_COMMANDS ocamldep=ocamldep.opt"
+  fi
+fi
 if test "$OCAMLFIND_COMMANDS" != ""; then
   OCAMLFIND="OCAMLFIND_COMMANDS='$OCAMLFIND_COMMANDS' $OCAMLFIND"
 fi
@@ -38,7 +46,7 @@ OCAMLFIND_DEST_DIR="/public/sacerdot/prova"
 AC_MSG_RESULT($OCAMLFIND_DEST_DIR)
 
 AC_MSG_CHECKING("where to install the META files")
-OCAMLFIND_META_DIR="/public/sacerdot/prova/META"
+OCAMLFIND_META_DIR=`pwd`/METAS
 AC_MSG_RESULT($OCAMLFIND_META_DIR)
 
 AC_SUBST(OCAMLFIND)