X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfigure.in;fp=helm%2Finterface%2Fconfigure.in;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=4dc7a6fecda401576f2336567a461b5ea0adb2e9;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/interface/configure.in b/helm/interface/configure.in deleted file mode 100644 index 4dc7a6fec..000000000 --- a/helm/interface/configure.in +++ /dev/null @@ -1,206 +0,0 @@ -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 - RESOLVED_PREFIX=$ac_default_prefix -fi - -if test "x$exec_prefix" != xNONE; then - RESOLVED_EXEC_PREFIX=$exec_prefix -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-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) -AC_SUBST(OCAML_ROOT) -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 - helm_gtk_interface.spec -], - chmod +x helm_wget -)