X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2Fconfigure.ac;h=bac74370d9ae3660ebeb94b7f564ac0edac9c4c8;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=144cf546612fa061e3aafef69836db219e85a092;hpb=4f576c9474396e214db9fcf8bb974c603c16a825;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/configure.ac b/helm/DEVEL/lablgtksourceview/configure.ac
index 144cf5466..bac74370d 100644
--- a/helm/DEVEL/lablgtksourceview/configure.ac
+++ b/helm/DEVEL/lablgtksourceview/configure.ac
@@ -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