X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fconfigure.in;h=640472467942c1877b5447eb781cdb360e2107c0;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=b36ac29daf88c561ccb70377050ee5c8aad2738b;hpb=75967c868f11708ad64e881dbe15a38718e441b7;p=helm.git

diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
index b36ac29da..640472467 100644
--- a/helm/helmpot/configure.in
+++ b/helm/helmpot/configure.in
@@ -2,8 +2,8 @@ dnl Process this file with autoconf to produce a configure script.
 AC_INIT(main.c)
 
 HELMPOT_MAJOR_VERSION=0
-HELMPOT_MINOR_VERSION=0
-HELMPOT_MICRO_VERSION=4
+HELMPOT_MINOR_VERSION=1
+HELMPOT_MICRO_VERSION=0
 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
 VERSION=$HELMPOT_VERSION
 
@@ -42,41 +42,31 @@ dnl Check for iconv with const pointer as second argument
 AC_LANG_C
 
 dnl Checks for libraries
-AC_CHECK_LIB(gtk, gtk_window_new,
-	[
-		CFLAGS="$CFLAGS `gtk-config --cflags`"
-		CXXFLAGS="$CXXFLAGS `gtk-config --cflags`"
-		LIBS="$LIBS `gtk-config --libs`"
-	],
-	AC_MSG_ERROR(could not find GTK),
-	`gtk-config --libs`
-)
+AM_PATH_GTK(1.2.0, gtklib="yes", gtklib="no")
 
-AC_CHECK_LIB(minidom, mdom_node_get_type,
-	[
-		CFLAGS="$CFLAGS `minidom-config --cflags`"
-		CXXFLAGS="$CXXFLAGS `minidom-config --cflags`"
-		LIBS="$LIBS `minidom-config --libs`"
-	],
-	AC_MSG_ERROR(could not find minidom),
-	`minidom-config --libs` `glib-config --libs`
-)
+if test $gtklib = "no"; then
+	AC_MSG_ERROR(GTK is needed in order to use helmpot)
+fi
+
+AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG, gtkmathview-config, yes, no)
+if test $HAVE_GTKMATHVIEW_CONFIG = "no"; then
+	AC_MSG_ERROR(gtkmathview is required)
+fi
 
-vers=`minidom-config --version | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'`
-minvers=`echo 0.1.3 | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'`
+GTKMATHVIEW_MIN_VERSION=0.3.0
+AC_MSG_CHECKING(for gtkmathview >= $GTKMATHVIEW_MIN_VERSION)
+vers=`gtkmathview-config --version | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'`
+minvers=`echo $GTKMATHVIEW_MIN_VERSION | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'`
 if test "$vers" -lt "$minvers"; then
-        AC_MSG_ERROR(you need at least minidom 0.1.3)
+	AC_MSG_RESULT(not found)
+	AC_MSG_ERROR(gtkmathview >= $GTKMATHVIEW_MIN_VERSION is required)
+else
+	AC_MSG_RESULT(found)
 fi
 
-AC_CHECK_LIB(gtkmathview, gtk_math_view_new,
-	[
-		CFLAGS="$CFLAGS `gtkmathview-config --cflags`"
-		CXXFLAGS="$CXXFLAGS `gtkmathview-config --cflags`"
-		LIBS="$LIBS `gtkmathview-config --libs`"
-	],
-	AC_MSG_ERROR(cound not find gtkmathview),
-	`gtkmathview-config --libs`
-)
+CFLAGS="$CFLAGS `gtkmathview-config --cflags`"
+CXXFLAGS="$CXXFLAGS `gtkmathview-config --cflags`"
+LIBS="$LIBS `gtkmathview-config --libs`"
 
 if test $HAVE_COLORGCC = "yes"; then
 	CC=colorgcc