]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/configure.in
Bug fixed: when an axiom was asked, an exception was raised (since the
[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=5
7 LABLGTKMATHVIEW_MICRO_VERSION=1
8 LABLGTKMATHVIEW_VERSION=$LABLGTKMATHVIEW_MAJOR_VERSION.$LABLGTKMATHVIEW_MINOR_VERSION.$LABLGTKMATHVIEW_MICRO_VERSION
9 VERSION=$LABLGTKMATHVIEW_VERSION
10
11 PKG_CHECK_MODULES(GDOME, gdome2 >= 0.7.0,, AC_MSG_ERROR(could not find Gdome2))
12 AC_SUBST(GDOME_CFLAGS)
13 AC_SUBST(GDOME_LIBS)
14
15 PKG_CHECK_MODULES(GTKMATHVIEW, gtkmathview >= 0.5.1,, AC_MSG_ERROR(could not find gtkmathview))
16 AC_SUBST(GTKMATHVIEW_CFLAGS)
17 AC_SUBST(GTKMATHVIEW_LIBS)
18
19 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
20 if test $HAVE_OCAMLC = "no"; then
21   AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed)
22 fi
23
24 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
25 if test $HAVE_OCAMLFIND = "no"; then
26   AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed)
27 fi
28
29 AC_MSG_CHECKING("for gdome2")
30 ocamlfind query gdome2 ||
31   AC_MSG_ERROR(gdome2 not installed (according to findlib))
32
33 AC_MSG_CHECKING("for lablgtk2")
34 ocamlfind query lablgtk2 ||
35   AC_MSG_ERROR(lablgtk2 not installed (according to findlib))
36
37 AC_MSG_CHECKING("for the ocaml library dir")
38 OCAML_LIB_DIR=`ocamlc -where`
39 OCAML_STUB_DIR="$OCAML_LIB_DIR/stublibs"
40 AC_MSG_RESULT($OCAML_LIB_DIR)
41
42 AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
43         OCAML_INCLUDE_DIR=/usr/include/caml,
44         OCAML_INCLUDE_DIR=$OCAML_LIB_DIR/caml
45 )
46
47 AC_SUBST(PACKAGE)
48 AC_SUBST(VERSION)
49 AC_SUBST(OCAML_INCLUDE_DIR)
50 AC_SUBST(OCAML_LIB_DIR)
51 AC_SUBST(OCAML_STUB_DIR)
52
53 AC_OUTPUT([
54   test/Makefile
55   Makefile
56   META
57 ])