]> matita.cs.unibo.it Git - helm.git/blob - DEVEL/lablgtkmathview/0.7.8-2/configure.in
tagging
[helm.git] / DEVEL / lablgtkmathview / 0.7.8-2 / configure.in
1 AC_INIT(gMathView.ml)
2
3 PACKAGE=lablgtkmathview
4
5 LABLGTKMATHVIEW_MAJOR_VERSION=0
6 LABLGTKMATHVIEW_MINOR_VERSION=7
7 LABLGTKMATHVIEW_MICRO_VERSION=8
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-gmetadom >= 0.6.2,, AC_MSG_ERROR(could not find gtkmathview-gmetadom))
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_OCAMLOPT, ocamlopt, yes, no)
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 gdome2")
32 ocamlfind query gdome2 ||
33   AC_MSG_ERROR(gdome2 not installed (according to findlib))
34
35 AC_MSG_CHECKING("for lablgtk2")
36 ocamlfind query lablgtk2 ||
37   AC_MSG_ERROR(lablgtk2 not installed (according to findlib))
38
39 AC_MSG_CHECKING("for the ocaml library dir")
40 OCAML_LIB_DIR=`ocamlc -where`
41 OCAML_STUB_DIR="$OCAML_LIB_DIR/stublibs"
42 AC_MSG_RESULT($OCAML_LIB_DIR)
43
44 AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
45         OCAML_INCLUDE_DIR=/usr/include/caml,
46         OCAML_INCLUDE_DIR=$OCAML_LIB_DIR/caml
47 )
48
49 AC_SUBST(PACKAGE)
50 AC_SUBST(VERSION)
51 AC_SUBST(HAVE_OCAMLOPT)
52 AC_SUBST(OCAML_INCLUDE_DIR)
53 AC_SUBST(OCAML_LIB_DIR)
54 AC_SUBST(OCAML_STUB_DIR)
55
56 AC_OUTPUT([
57   test/Makefile
58   Makefile
59   META
60 ])