]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/configure.ac
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / configure.ac
index 144cf546612fa061e3aafef69836db219e85a092..bac74370d9ae3660ebeb94b7f564ac0edac9c4c8 100644 (file)
@@ -11,11 +11,9 @@ PKG_CHECK_MODULES([GTKSOURCEVIEW], [gtksourceview-1.0 >= 1.2.0])
 
 AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no)
 if test $HAVE_OCAMLFIND = "no"; then
-  AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed)
+  AC_MSG_ERROR(could not find ocamlfind)
 fi
-
 FINDLIB_REQUIRES="lablgtk2"
-
 for r in $FINDLIB_REQUIRES
 do
   AC_MSG_CHECKING(for $r ocaml library)
@@ -36,6 +34,8 @@ AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
        AC_MSG_ERROR(could not find ocaml header files)
 )
 
+AC_CHECK_PROG(HAVE_OCAMLOPT, ocamlopt, yes, no)
+
 AC_SUBST(PACKAGE)
 AC_SUBST(VERSION)
 AC_SUBST(GTKSOURCEVIEW_CFLAGS)
@@ -43,6 +43,7 @@ AC_SUBST(GTKSOURCEVIEW_LIBS)
 AC_SUBST(OCAML_LIB_DIR)
 AC_SUBST(OCAML_STUB_DIR)
 AC_SUBST(OCAML_INCLUDE_DIR)
+AC_SUBST(HAVE_OCAMLOPT)
 
 AC_OUTPUT([
   test/Makefile