documentation update

[ginac.git] / configure.in

diff --git a/configure.in b/configure.in
index 5b39ccbcc08b5d59974e49450541e3e5757551b3..b43428bcefa22c11fe59b2776fa0cad7b8b0fc49 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -19,7 +19,7 @@ dnl (don't we all *love* M4?)...
 
 GINACLIB_MAJOR_VERSION=0
 GINACLIB_MINOR_VERSION=7
-GINACLIB_MICRO_VERSION=0
+GINACLIB_MICRO_VERSION=3
 GINACLIB_INTERFACE_AGE=0
 GINACLIB_BINARY_AGE=0
 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION
@@ -175,7 +175,7 @@ if test "x$with_cint" != "xno"; then
     cd ..)
     GINACCINTDIR="cint"
   else
-    AC_MSG_ERROR([Cannot configure GiNaC-cint])
+    GINAC_WARNING([I could not find cint and makecint (needed for building GiNaC-cint).])
   fi
 fi
 AC_SUBST(CINTSYSDIR)