+dnl MISSING CHECKS:
+dnl ocaml-findlib, ocaml-netstring, ocaml-pxp, ocaml-netclient
+
+dnl Check for Ocaml
+AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
+if test $HAVE_OCAMLC = "no"; then
+ AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
+fi
+
+dnl Check for the Ocaml library dir
+AC_MSG_CHECKING(for the ocaml library dir)
+OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
+AC_MSG_RESULT($OCAML_ROOT)
+
+DEFAULT_MLMINIDOM_LIB_DIR=$OCAML_ROOT/mlminidom
+DEFAULT_LABLGTK_LIB_DIR=$OCAML_ROOT/lablgtk
+DEFAULT_LABLGTKMATHVIEW_LIB_DIR=$OCAML_ROOT/lablgtkmathview
+
+dnl Check for mlminidom
+DEFAULTS=$USE_DEFAULTS
+if test $DEFAULTS = auto; then
+ if test -f $DEFAULT_MLMINIDOM_LIB_DIR/minidom.mli; then
+ MLMINIDOM_LIB_DIR=$DEFAULT_MLMINIDOM_LIB_DIR
+ else
+ DEFAULTS=no
+ fi
+fi
+
+if test $DEFAULTS = no; then
+ echo
+ echo "Where can I find the mlminidom library?"
+ echo
+ echo -n "[[$DEFAULT_MLMINIDOM_LIB_DIR]] ? "
+ echo
+ read MLMINIDOM_LIB_DIR
+ if test "x$MLMINIDOM_LIB_DIR" = x; then
+ MLMINIDOM_LIB_DIR=$DEFAULT_MLMINIDOM_LIB_DIR
+ fi
+elif test $DEFAULTS = yes; then
+ MLMINIDOM_LIB_DIR=$DEFAULT_MLMINIDOM_LIB_DIR
+fi
+
+AC_MSG_CHECKING(for $MLMINIDOM_LIB_DIR/minidom.mli)
+if test ! -f $MLMINIDOM_LIB_DIR/minidom.mli; then
+ AC_MSG_RESULT(no)
+ AC_MSG_ERROR(please check your installation)
+fi
+AC_MSG_RESULT(ok)
+
+dnl Check for lablgtk
+DEFAULTS=$USE_DEFAULTS
+if test $DEFAULTS = auto; then
+ if test -f $DEFAULT_LABLGTK_LIB_DIR/gtk.ml; then
+ LABLGTK_LIB_DIR=$DEFAULT_LABLGTK_LIB_DIR
+ else
+ DEFAULTS=no
+ fi
+fi
+
+if test $DEFAULTS = no; then
+ echo
+ echo "Where can I find the lablgtk library?"
+ echo
+ echo -n "[[$DEFAULT_LABLGTK_LIB_DIR]] ? "
+ read LABLGTK_LIB_DIR
+ echo
+ if test "x$LABLGTK_LIB_DIR" = x; then
+ LABLGTK_LIB_DIR=$DEFAULT_LABLGTK_LIB_DIR
+ fi
+elif test $DEFAULTS = yes; then
+ LABLGTK_LIB_DIR=$DEFAULT_LABLGTK_LIB_DIR
+fi
+
+AC_MSG_CHECKING(for $LABLGTK_LIB_DIR/gtk.ml)
+if test ! -f $LABLGTK_LIB_DIR/gtk.ml; then
+ AC_MSG_RESULT(no)
+ AC_MSG_ERROR(please check your installation)
+fi
+AC_MSG_RESULT(ok)
+
+dnl Check for lablgtkmathview
+DEFAULTS=$USE_DEFAULTS
+if test $DEFAULTS = auto; then
+ if test -f $DEFAULT_LABLGTKMATHVIEW_LIB_DIR/gMathView.ml; then
+ LABLGTKMATHVIEW_LIB_DIR=$DEFAULT_LABLGTKMATHVIEW_LIB_DIR
+ else
+ DEFAULTS=no
+ fi
+fi
+
+if test $DEFAULTS = no; then
+ echo
+ echo "Where can I find the lablgtkmathview library?"
+ echo
+ echo -n "[[$DEFAULT_LABLGTKMATHVIEW_LIB_DIR]] ? "
+ read LABLGTKMATHVIEW_LIB_DIR
+ echo
+ if test "x$LABLGTKMATHVIEW_LIB_DIR" = x; then
+ LABLGTKMATHVIEW_LIB_DIR=$DEFAULT_LABLGTKMATHVIEW_LIB_DIR
+ fi
+elif test $DEFAULTS = yes; then
+ LABLGTKMATHVIEW_LIB_DIR=$DEFAULT_LABLGTKMATHVIEW_LIB_DIR
+fi
+
+AC_MSG_CHECKING(for $LABLGTKMATHVIEW_LIB_DIR/gMathView.ml)
+if test ! -f $LABLGTKMATHVIEW_LIB_DIR/gMathView.ml; then
+ AC_MSG_RESULT(no)
+ AC_MSG_ERROR(please check your installation)
+fi
+AC_MSG_RESULT(ok)
+
+dnl Check for HELM
+DEFAULTS=$USE_DEFAULTS
+if test $DEFAULTS = auto; then
+ AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
+ if test $HAVE_HELM_CONFIG = yes; then
+ HELM_CONFIGURATION_DIR=`helm-config --etc-dir`
+ else
+ DEFAULTS=no
+ fi
+fi
+
+if test $DEFAULTS = no; then
+ echo
+ echo "\`helm-config' is not installed (or I can't find it in your path)."
+ echo "Please, insert the directory where I can find the configuration"
+ echo "files for HELM (configuration.xml in particular)..."
+ echo
+ echo -n "[[$DEFAULT_HELM_CONFIGURATION_DIR]] ? "
+ read HELM_CONFIGURATION_DIR
+ echo
+ if test "x$HELM_CONFIGURATION_DIR" = "x"; then
+ HELM_CONFIGURATION_DIR=$DEFAULT_HELM_CONFIGURATION_DIR
+ fi
+elif test $DEFAULTS = yes; then
+ HELM_CONFIGURATION_DIR=$DEFAULT_HELM_CONFIGURATION_DIR
+fi
+
+AC_MSG_CHECKING(for configuration.xml)
+if test -f $HELM_CONFIGURATION_DIR/configuration.xml; then
+ AC_MSG_RESULT(ok)
+else
+ AC_MSG_RESULT(no)
+ AC_MSG_ERROR(please check your installation)
+fi
+
+AC_SUBST(PACKAGE)
+AC_SUBST(VERSION)