]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mlminidom/configure.in
New module helm-mathql.
[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=2
7 MLMINIDOM_MICRO_VERSION=2
8 MLMINIDOM_VERSION=$MLMINIDOM_MAJOR_VERSION.$MLMINIDOM_MINOR_VERSION.$MLMINIDOM_MICRO_VERSION
9 VERSION=$MLMINIDOM_VERSION
10
11 AC_CHECK_PROG(HAVE_GLIB, glib-config, yes, no)
12 if test $HAVE_GLIB = "no"; then
13   AC_MSG_ERROR(could not font glib configuration script, please make sure glib (dev) is installed)
14 fi
15
16 AC_CHECK_PROG(HAVE_MINIDOM, minidom-config, yes, no)
17 if test $HAVE_MINIDOM = "no"; then
18   AC_MSG_ERROR(could not find minidom configuration script, please make sure minidom is installed)
19 fi
20
21 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
22 if test $HAVE_OCAMLC = "no"; then
23   AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
24 fi
25
26 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
27 if test $HAVE_OCAMLFIND = "no"; then
28   AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed)
29 fi
30
31 AC_MSG_CHECKING("for the ocaml library dir")
32 OCAML_LIB_DIR=`ocamlc -where`
33 AC_MSG_RESULT($OCAML_LIB_DIR)
34
35 AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
36         OCAML_INCLUDE_DIR=/usr/include/caml,
37         OCAML_INCLUDE_DIR=$OCAML_LIB_DIR/caml
38 )
39
40 AC_SUBST(PACKAGE)
41 AC_SUBST(VERSION)
42 AC_SUBST(OCAML_INCLUDE_DIR)
43 AC_SUBST(OCAML_LIB_DIR)
44
45 AC_OUTPUT([
46   Makefile
47   mlminidom.spec
48   META
49 ])