]> www.ginac.de Git - ginac.git/blobdiff - configure.in
Adapted to new version 1.2.5.
[ginac.git] / configure.in
index 5b39ccbcc08b5d59974e49450541e3e5757551b3..f3c3eb00a0e80c3763a0858cb997f008e7a1d249 100644 (file)
@@ -19,9 +19,9 @@ dnl (don't we all *love* M4?)...
 
 GINACLIB_MAJOR_VERSION=0
 GINACLIB_MINOR_VERSION=7
-GINACLIB_MICRO_VERSION=0
-GINACLIB_INTERFACE_AGE=0
-GINACLIB_BINARY_AGE=0
+GINACLIB_MICRO_VERSION=1
+GINACLIB_INTERFACE_AGE=1
+GINACLIB_BINARY_AGE=1
 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION
 
 AC_SUBST(GINACLIB_MAJOR_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)