]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/configure.in
mywget renamed in helm_wget; autoconf used for helm_wget
[helm.git] / helm / interface / configure.in
1 AC_INIT(configuration.ml.in)
2
3 if test "x$prefix" != xNONE; then
4   RESOLVED_PREFIX=$prefix
5 else
6   RESOLVED_PREFIX=$ac_default_prefix
7 fi
8
9 if test "x$exec_prefix" != xNONE; then
10   RESOLVED_EXEC_PREFIX=$exec_prefix
11 else
12   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
13 fi
14
15 dnl General
16 AC_MSG_CHECKING("for the ocaml library dir")
17 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
18 AC_MSG_RESULT($OCAML_ROOT)
19
20 AC_MSG_CHECKING("for the bin dir")
21 HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
22 AC_MSG_RESULT($HELM_BIN_DIR)
23
24 AC_MSG_CHECKING("for the helm configuration dir")
25 RES=""
26 AC_CACHE_VAL(helm_cv_HELM_DEFAULT_CONFIGURATION_DIR,
27   echo "In which directory can I find configuration.xml (part of the helm_configuration package)?"
28   read helm_cv_HELM_DEFAULT_CONFIGURATION_DIR
29   RES="Asked"
30 )
31 HELM_DEFAULT_CONFIGURATION_DIR=$helm_cv_HELM_DEFAULT_CONFIGURATION_DIR
32 if test "$RES" != "Asked" ; then
33    HELM_DEFAULT_CONFIGURATION_DIR=`eval "echo $HELM_DEFAULT_CONFIGURATION_DIR"`
34    AC_MSG_RESULT($HELM_DEFAULT_CONFIGURATION_DIR)
35 fi
36 AC_CACHE_SAVE
37
38 AC_PATH_PROG(PERL_BINARY,perl,no)
39 if test $PERL_BINARY = no ; then
40    AC_MSG_ERROR(Could not find perl)
41 fi
42
43 AC_SUBST(OCAML_ROOT)
44 AC_SUBST(HELM_BIN_DIR)
45 AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
46 AC_SUBST(PERL_BINARY)
47
48 AC_OUTPUT([Makefile configuration.ml helm_wget])