]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/configure.in
configure.in : check for perl
[helm.git] / helm / interface / configure.in
index a211e6c1af263646604b4c45c578bf1d1da13385..1b8c3a1bd492daf5861a1e40a26cb83dcfa4a344 100644 (file)
@@ -21,9 +21,13 @@ fi
 dnl The following is the directory where the binary will be installed
 BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
 
+AC_PATH_PROG(PERL_BINARY,perl,no)
+if test $PERL_BINARY = no ; then
+   AC_MSG_ERROR(Could not find perl)
+fi
+
 dnl MISSING CHECKS:
-dnl ocaml, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129
-dnl lablgtk-20001129_gtkmathview
+dnl ocaml-findlib, ocaml-netstring, ocaml-pxp
 
 dnl Check for Ocaml
 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)