]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/configure.in
Some Requires were missing. Same checks still missing in configure.in
[helm.git] / helm / interface / configure.in
index 71fdf4a9381e308693834c841ab624c5bcdad810..469f365b1104caab5bb7236458d2bba5a4710dbe 100644 (file)
@@ -12,6 +12,11 @@ else
   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
 fi
 
+
+dnl MISSING CHECKS:
+dnl ocaml, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129
+dnl lablgtk-20001129_gtkmathview
+
 dnl General
 AC_MSG_CHECKING("for the ocaml library dir")
 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
@@ -35,8 +40,14 @@ if test "$RES" != "Asked" ; then
 fi
 AC_CACHE_SAVE
 
+AC_PATH_PROG(PERL_BINARY,perl,no)
+if test $PERL_BINARY = no ; then
+   AC_MSG_ERROR(Could not find perl)
+fi
+
 AC_SUBST(OCAML_ROOT)
 AC_SUBST(HELM_BIN_DIR)
 AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
+AC_SUBST(PERL_BINARY)
 
-AC_OUTPUT([Makefile configuration.ml])
+AC_OUTPUT([Makefile configuration.ml helm_wget], chmod +x helm_wget)