]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/configure.in
- new handling of links
[helm.git] / helm / helmpot / configure.in
index 58025f81624a30e8ac6433180d12e1959cc8a57d..b36ac29daf88c561ccb70377050ee5c8aad2738b 100644 (file)
@@ -3,7 +3,7 @@ AC_INIT(main.c)
 
 HELMPOT_MAJOR_VERSION=0
 HELMPOT_MINOR_VERSION=0
-HELMPOT_MICRO_VERSION=3
+HELMPOT_MICRO_VERSION=4
 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
 VERSION=$HELMPOT_VERSION
 
@@ -62,6 +62,12 @@ AC_CHECK_LIB(minidom, mdom_node_get_type,
        `minidom-config --libs` `glib-config --libs`
 )
 
+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;}'`
+if test "$vers" -lt "$minvers"; then
+        AC_MSG_ERROR(you need at least minidom 0.1.3)
+fi
+
 AC_CHECK_LIB(gtkmathview, gtk_math_view_new,
        [
                CFLAGS="$CFLAGS `gtkmathview-config --cflags`"