]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/configure.in
...
[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_SUBST(OCAML_ROOT)
39 AC_SUBST(HELM_BIN_DIR)
40 AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
41
42 AC_OUTPUT([Makefile configuration.ml])