]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mlminidom/configure.in
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / DEVEL / mlminidom / configure.in
1 AC_INIT(minidom.ml)
2
3 PACKAGE=mlminidom
4
5 MLMINIDOM_MAJOR_VERSION=0
6 MLMINIDOM_MINOR_VERSION=0
7 MLMINIDOM_MICRO_VERSION=1
8 MLMINIDOM_VERSION=$MLMINIDOM_MAJOR_VERSION.$MLMINIDOM_MINOR_VERSION.$MLMINIDOM_MICRO_VERSION
9
10 AC_CHECK_PROG(HAVE_GLIB, glib-config, yes, no)
11 if test $HAVE_GLIB = "no"; then
12   AC_MSG_ERROR(could not font glib configuration script, please make sure glib (dev) is installed)
13 fi
14
15 AC_CHECK_PROG(HAVE_MINIDOM, minidom-config, yes, no)
16 if test $HAVE_MINIDOM = "no"; then
17   AC_MSG_ERROR(could not find minidom configuration script, please make sure minidom is installed)
18 fi
19
20 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
21 if test $HAVE_OCAMLC = "no"; then
22   AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
23 fi
24
25 AC_MSG_CHECKING("for the ocaml library dir")
26 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
27 AC_MSG_RESULT($OCAML_ROOT)
28
29 AC_SUBST(PACKAGE)
30 AC_SUBST(MLMINIDOM_VERSION)
31 AC_SUBST(OCAML_ROOT)
32
33 AC_OUTPUT([Makefile])