X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfigure.in;h=4dc7a6fecda401576f2336567a461b5ea0adb2e9;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=469f365b1104caab5bb7236458d2bba5a4710dbe;hpb=2cf66cdc91daeded898c9d5b79dd5c2a32f5b52b;p=helm.git diff --git a/helm/interface/configure.in b/helm/interface/configure.in index 469f365b1..4dc7a6fec 100644 --- a/helm/interface/configure.in +++ b/helm/interface/configure.in @@ -1,5 +1,20 @@ AC_INIT(configuration.ml.in) +PACKAGE=helm_gtk_interface +MAJOR_VERSION=0 +MINOR_VERSION=0 +MICRO_VERSION=2 +VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION + +DEFAULT_HELM_CONFIGURATION_DIR=/usr/local/etc/helm + +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 "x$prefix" != xNONE; then RESOLVED_PREFIX=$prefix else @@ -12,42 +27,180 @@ else RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX fi +dnl The following is the directory where the binary will be installed +BIN_DIR=$RESOLVED_EXEC_PREFIX/bin + +AC_PATH_PROG(WGET_BINARY,wget,no) +if test $WGET_BINARY = no; then + AC_MSG_WARN(wget is required to update the database) +fi + +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, 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 General -AC_MSG_CHECKING("for the ocaml library dir") +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) -AC_MSG_CHECKING("for the bin dir") -HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin -AC_MSG_RESULT($HELM_BIN_DIR) +DEFAULT_MLMINIDOM_LIB_DIR=$OCAML_ROOT/mlminidom +DEFAULT_LABLGTK_LIB_DIR=$OCAML_ROOT/lablgtk +DEFAULT_LABLGTKMATHVIEW_LIB_DIR=$OCAML_ROOT/lablgtkmathview -AC_MSG_CHECKING("for the helm configuration dir") -RES="" -AC_CACHE_VAL(helm_cv_HELM_DEFAULT_CONFIGURATION_DIR, - echo "In which directory can I find configuration.xml (part of the helm_configuration package)?" - read helm_cv_HELM_DEFAULT_CONFIGURATION_DIR - RES="Asked" -) -HELM_DEFAULT_CONFIGURATION_DIR=$helm_cv_HELM_DEFAULT_CONFIGURATION_DIR -if test "$RES" != "Asked" ; then - HELM_DEFAULT_CONFIGURATION_DIR=`eval "echo $HELM_DEFAULT_CONFIGURATION_DIR"` - AC_MSG_RESULT($HELM_DEFAULT_CONFIGURATION_DIR) +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 -AC_CACHE_SAVE -AC_PATH_PROG(PERL_BINARY,perl,no) -if test $PERL_BINARY = no ; then - AC_MSG_ERROR(Could not find perl) +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) AC_SUBST(OCAML_ROOT) -AC_SUBST(HELM_BIN_DIR) -AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR) +AC_SUBST(MLMINIDOM_LIB_DIR) +AC_SUBST(LABLGTK_LIB_DIR) +AC_SUBST(LABLGTKMATHVIEW_LIB_DIR) +AC_SUBST(BIN_DIR) +AC_SUBST(HELM_CONFIGURATION_DIR) AC_SUBST(PERL_BINARY) -AC_OUTPUT([Makefile configuration.ml helm_wget], chmod +x helm_wget) +AC_OUTPUT([ + Makefile + configuration.ml + helm_wget + helm_gtk_interface.spec +], + chmod +x helm_wget +)