X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.in;h=b43428bcefa22c11fe59b2776fa0cad7b8b0fc49;hp=4fd7db90b2669c2750502ad9fae90e1b4f5a6eb0;hb=92bffd762fa6899396441d0495165059739a0ac4;hpb=01130b50769fb4b4856db245774c143c4deaace4

diff --git a/configure.in b/configure.in
index 4fd7db90..b43428bc 100644
--- 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
@@ -171,11 +171,11 @@ if test "x$with_cint" != "xno"; then
       -I .. -I $CINTSYSDIR -m -H ../ginac/ginac.h \
       -C++ ginaccint.bin.cpp \
       -l -L../ginac/.libs -lginac -lcln \
-      -cint -M0x10; \
+      -cint -M0x110; \
     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)