]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/configure.in
Initial revision
[helm.git] / helm / DEVEL / lablgtkmathview / configure.in
1 AC_INIT(gMathView.ml)
2
3 PACKAGE=lablgtkmathview
4
5 LABLGTKMATHVIEW_MAJOR_VERSION=0
6 LABLGTKMATHVIEW_MINOR_VERSION=3
7 LABLGTKMATHVIEW_MICRO_VERSION=0
8 LABLGTKMATHVIEW_VERSION=$LABLGTKMATHVIEW_MAJOR_VERSION.$LABLGTKMATHVIEW_MINOR_VERSION.$LABLGTKMATHVIEW_MICRO_VERSION
9 VERSION=$LABLGTKMATHVIEW_VERSION
10
11 AC_CHECK_PROG(HAVE_GTKMATHVIEW, gtkmathview-config, yes, no)
12 if test $HAVE_GTKMATHVIEW = "no"; then
13   AC_MSG_ERROR(could not find gtkmathview configuration script, please make sure gtkmathview is installed)
14 fi
15
16 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
17 if test $HAVE_OCAMLC = "no"; then
18   AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
19 fi
20
21 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
22 if test $HAVE_OCAMLFIND = "no"; then
23   AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed)
24 fi
25
26 AC_MSG_CHECKING("for gdome2")
27 ocamlfind query gdome2 ||
28   AC_MSG_ERROR(gdome2 not installed (according to findlib))
29
30 AC_MSG_CHECKING("for lablgtk")
31 ocamlfind query lablgtk ||
32   AC_MSG_ERROR(lablgtk not installed (according to findlib))
33
34 AC_MSG_CHECKING("for the ocaml library dir")
35 OCAML_LIB_DIR=`ocamlc -where`
36 AC_MSG_RESULT($OCAML_LIB_DIR)
37
38 AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
39         OCAML_INCLUDE_DIR=/usr/include/caml,
40         OCAML_INCLUDE_DIR=$OCAML_LIB_DIR/caml
41 )
42
43 AC_SUBST(PACKAGE)
44 AC_SUBST(VERSION)
45 AC_SUBST(OCAML_INCLUDE_DIR)
46 AC_SUBST(OCAML_LIB_DIR)
47
48 AC_OUTPUT([
49   test/Makefile
50   Makefile
51   lablgtkmathview.spec
52   META
53 ])