From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 20 Dec 2005 09:28:05 +0000 (+0000)
Subject: added ocamldep.opt checking
X-Git-Tag: make_still_working~7982
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4acb4eac82022430872b62ef38222c821b5620f3;p=helm.git

added ocamldep.opt checking
---

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 36bd36194..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