]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/configure.ac
This commit fixes matitatop that was no longer working without arguments.
[helm.git] / helm / DEVEL / lablgtksourceview / configure.ac
1 AC_INIT(gSourceView.ml)
2
3 PACKAGE="lablgtksourceview"
4
5 MAJOR_VERSION="0"
6 MINOR_VERSION="0"
7 MICRO_VERSION="1"
8 VERSION="$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION"
9
10 PKG_CHECK_MODULES([GTKSOURCEVIEW], [gtksourceview-1.0 >= 1.2.0])
11
12 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
13 if test $HAVE_OCAMLFIND = "no"; then
14   AC_MSG_ERROR(could not find ocamlfind)
15 fi
16 FINDLIB_REQUIRES="lablgtk2"
17 for r in $FINDLIB_REQUIRES
18 do
19   AC_MSG_CHECKING(for $r ocaml library)
20   if ocamlfind query $r &> /dev/null; then
21     AC_MSG_RESULT(yes)
22   else
23     AC_MSG_ERROR(could not find $r ocaml library)
24   fi
25 done
26
27 AC_MSG_CHECKING(for the ocaml library dir)
28 OCAML_LIB_DIR=`ocamlfind ocamlc -where`
29 AC_MSG_RESULT($OCAML_LIB_DIR)
30 OCAML_STUB_DIR="$OCAML_LIB_DIR/stublibs"
31
32 AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
33         OCAML_INCLUDE_DIR=/usr/include/caml,
34         AC_MSG_ERROR(could not find ocaml header files)
35 )
36
37 AC_CHECK_PROG(HAVE_OCAMLOPT, ocamlopt, yes, no)
38
39 AC_SUBST(PACKAGE)
40 AC_SUBST(VERSION)
41 AC_SUBST(GTKSOURCEVIEW_CFLAGS)
42 AC_SUBST(GTKSOURCEVIEW_LIBS)
43 AC_SUBST(OCAML_LIB_DIR)
44 AC_SUBST(OCAML_STUB_DIR)
45 AC_SUBST(OCAML_INCLUDE_DIR)
46 AC_SUBST(HAVE_OCAMLOPT)
47
48 AC_OUTPUT([
49   test/Makefile
50   Makefile
51   META
52 ])
53