]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/configure.in
ocaml 3.09 transition
[helm.git] / helm / helm_data / configure.in
index 2c65c6391a8e9f4c65f3d71eae7c4b4650e72cf5..635258995358481952c0d9707d40fd736fac92d4 100644 (file)
@@ -6,13 +6,48 @@ MINOR_VERSION=0
 MICRO_VERSION=2
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
-AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
-if test $HAVE_HELM_CONFIG = no; then
-  AC_MSG_ERROR(Could not find helm-config)
+DEFAULT_HELM_DTD_DIR=/usr/local/share/helm/dtd
+DEFAULT_HELM_STYLE_DIR=/usr/local/share/helm/style
+
+AC_ARG_ENABLE(
+       defaults,
+       [  --enable-defaults[=ARG] if yes then use defaults (don't ask user) [default=auto]],
+       USE_DEFAULTS=$enableval,
+       USE_DEFAULTS=auto
+)
+
+if test $USE_DEFAULTS = auto; then
+       AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
+       if test $HAVE_HELM_CONFIG = yes; then
+               HELM_DTD_DIR=`helm-config --dtd-dir`
+               HELM_STYLE_DIR=`helm-config --style-dir`
+       else
+               USE_DEFAULTS=no
+       fi
 fi
 
-HELM_DTD_DIR=`helm-config --dtd-dir`
-HELM_STYLE_DIR=`helm-config --style-dir`
+if test $USE_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 DTDs for HELM..."
+       echo
+       echo -n "[[$DEFAULT_HELM_DTD_DIR]] ? "
+       read HELM_DTD_DIR
+       if test "x$HELM_DTD_DIR" = "x"; then
+               HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
+       fi
+       echo
+       echo "Please, insert the directory where I can find the stylesheets for HELM..."
+       echo
+       echo -n "[[$DEFAULT_HELM_STYLE_DIR]] ? "
+       read HELM_STYLE_DIR
+       if test "x$HELM_STYLE_DIR" = "x"; then
+               HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
+       fi
+elif test $USE_DEFAULTS = yes; then
+       HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
+       HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
+fi
 
 AC_SUBST(PACKAGE)
 AC_SUBST(VERSION)