]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/configure.in
Some Requires were missing. Same checks still missing in 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
16 dnl MISSING CHECKS:
17 dnl ocaml, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129
18 dnl lablgtk-20001129_gtkmathview
19
20 dnl General
21 AC_MSG_CHECKING("for the ocaml library dir")
22 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
23 AC_MSG_RESULT($OCAML_ROOT)
24
25 AC_MSG_CHECKING("for the bin dir")
26 HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
27 AC_MSG_RESULT($HELM_BIN_DIR)
28
29 AC_MSG_CHECKING("for the helm configuration dir")
30 RES=""
31 AC_CACHE_VAL(helm_cv_HELM_DEFAULT_CONFIGURATION_DIR,
32   echo "In which directory can I find configuration.xml (part of the helm_configuration package)?"
33   read helm_cv_HELM_DEFAULT_CONFIGURATION_DIR
34   RES="Asked"
35 )
36 HELM_DEFAULT_CONFIGURATION_DIR=$helm_cv_HELM_DEFAULT_CONFIGURATION_DIR
37 if test "$RES" != "Asked" ; then
38    HELM_DEFAULT_CONFIGURATION_DIR=`eval "echo $HELM_DEFAULT_CONFIGURATION_DIR"`
39    AC_MSG_RESULT($HELM_DEFAULT_CONFIGURATION_DIR)
40 fi
41 AC_CACHE_SAVE
42
43 AC_PATH_PROG(PERL_BINARY,perl,no)
44 if test $PERL_BINARY = no ; then
45    AC_MSG_ERROR(Could not find perl)
46 fi
47
48 AC_SUBST(OCAML_ROOT)
49 AC_SUBST(HELM_BIN_DIR)
50 AC_SUBST(HELM_DEFAULT_CONFIGURATION_DIR)
51 AC_SUBST(PERL_BINARY)
52
53 AC_OUTPUT([Makefile configuration.ml helm_wget], chmod +x helm_wget)