X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fconfigure.in;h=dd11f14e115ea80c204508dd12ed12907fa22580;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=ad50a9ad103b476237f71555ac7d79c78675035c;hpb=f189b1b19ea3f2f7ada9812a097d204c6a7b6dbd;p=helm.git diff --git a/helm/DEVEL/lablgtkmathview/configure.in b/helm/DEVEL/lablgtkmathview/configure.in index ad50a9ad1..dd11f14e1 100644 --- a/helm/DEVEL/lablgtkmathview/configure.in +++ b/helm/DEVEL/lablgtkmathview/configure.in @@ -3,15 +3,18 @@ AC_INIT(gMathView.ml) PACKAGE=lablgtkmathview LABLGTKMATHVIEW_MAJOR_VERSION=0 -LABLGTKMATHVIEW_MINOR_VERSION=3 -LABLGTKMATHVIEW_MICRO_VERSION=1 +LABLGTKMATHVIEW_MINOR_VERSION=4 +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