X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fconfigure.in;h=971deb09afb7df56704e7663ac5153146d39d1e3;hb=278d9954e80f952f7cde793e33e01bacce1cd40c;hp=c1f6be6c9265701d2be127b80dde40db5b96a334;hpb=8bc543384089a7da61d49d336afa23caaa8cb26e;p=helm.git diff --git a/helm/DEVEL/lablgtkmathview/configure.in b/helm/DEVEL/lablgtkmathview/configure.in index c1f6be6c9..971deb09a 100644 --- a/helm/DEVEL/lablgtkmathview/configure.in +++ b/helm/DEVEL/lablgtkmathview/configure.in @@ -8,10 +8,13 @@ LABLGTKMATHVIEW_MICRO_VERSION=3 LABLGTKMATHVIEW_VERSION=$LABLGTKMATHVIEW_MAJOR_VERSION.$LABLGTKMATHVIEW_MINOR_VERSION.$LABLGTKMATHVIEW_MICRO_VERSION VERSION=$LABLGTKMATHVIEW_VERSION -AC_CHECK_PROG(HAVE_GTKMATHVIEW, gtkmathview-config, yes, no) -if test $HAVE_GTKMATHVIEW = "no"; then - AC_MSG_ERROR(could not find gtkmathview configuration script, please make sure gtkmathview is installed) -fi +PKG_CHECK_MODULES(GDOME, gdome2 >= 0.7.0,, AC_MSG_ERROR(could not find Gdome2)) +AC_SUBST(GDOME_CFLAGS) +AC_SUBST(GDOME_LIBS) + +PKG_CHECK_MODULES(GTKMATHVIEW, gtkmathview,, AC_MSG_ERROR(could not find gtkmathview)) +AC_SUBST(GTKMATHVIEW_CFLAGS) +AC_SUBST(GTKMATHVIEW_LIBS) AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no) if test $HAVE_OCAMLC = "no"; then @@ -27,9 +30,9 @@ AC_MSG_CHECKING("for gdome2") ocamlfind query gdome2 || AC_MSG_ERROR(gdome2 not installed (according to findlib)) -AC_MSG_CHECKING("for lablgtk") -ocamlfind query lablgtk || - AC_MSG_ERROR(lablgtk not installed (according to findlib)) +AC_MSG_CHECKING("for lablgtk2") +ocamlfind query lablgtk2 || + AC_MSG_ERROR(lablgtk2 not installed (according to findlib)) AC_MSG_CHECKING("for the ocaml library dir") OCAML_LIB_DIR=`ocamlc -where`