From 5585bda1a144c5453c6ff1a1384176279246ef99 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 16 Nov 2001 16:04:38 +0000 Subject: [PATCH] Checks for mlminidom and lablgtk added. --- helm/DEVEL/lablgtkmathview/configure.in | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/helm/DEVEL/lablgtkmathview/configure.in b/helm/DEVEL/lablgtkmathview/configure.in index c5546f28c..b01be7d64 100644 --- a/helm/DEVEL/lablgtkmathview/configure.in +++ b/helm/DEVEL/lablgtkmathview/configure.in @@ -23,6 +23,14 @@ if test $HAVE_OCAMLFIND = "no"; then AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed) fi +AC_MSG_CHECKING("for mlminidom") +ocamlfind query mlminidom || + AC_MSG_ERROR(mlminidom not installed (according to findlib)) + +AC_MSG_CHECKING("for lablgtk") +ocamlfind query lablgtk || + AC_MSG_ERROR(lablgtk not installed (according to findlib)) + AC_MSG_CHECKING("for the ocaml library dir") OCAML_LIB_DIR=`ocamlc -where` AC_MSG_RESULT($OCAML_LIB_DIR) -- 2.39.2