This commit was manufactured by cvs2svn to create branch 'pacchetti'.

[helm.git] / helm / interface / configure.in

diff --git a/helm/interface/configure.in b/helm/interface/configure.in
deleted file mode 100644 (file)
index 469f365..0000000
--- a/helm/interface/configure.in
+++ /dev/null
@@ -1,53 +0,0 @@
-AC_INIT(configuration.ml.in)
-
-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 MISSING CHECKS:
-dnl ocaml, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129
-dnl lablgtk-20001129_gtkmathview
-
-dnl General
-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)
-
-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)
-fi
-AC_CACHE_SAVE
-
-AC_PATH_PROG(PERL_BINARY,perl,no)
-if test $PERL_BINARY = no ; then
-   AC_MSG_ERROR(Could not find perl)
-fi
-
-AC_SUBST(OCAML_ROOT)
-AC_SUBST(HELM_BIN_DIR)
-AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
-AC_SUBST(PERL_BINARY)
-
-AC_OUTPUT([Makefile configuration.ml helm_wget], chmod +x helm_wget)