+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)