GINACLIB_MAJOR_VERSION=0
GINACLIB_MINOR_VERSION=6
-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)
LIBS=$save_LIBS
AC_SUBST(GINSH_LIBS)
-dnl Make sure the following libraries work by testing for symbols therein.
-dnl They are automatically added the the variable $LIBS and thus passed into
-dnl the Makefile:
-AC_CHECK_LIB(stdc++, cout)
-
dnl Make sure all the necessary new-style headers are installed on the system.
dnl If one of them cannot be found the system is probably not ANSI-conform
dnl enough so trying the .h-style headers is a waste of time.
dnl Configure GiNaC-cint
GINACCINTDIR=
if test "x$with_cint" != "xno"; then
- if test "x$enable_static" != "xyes"; then
- AC_MSG_ERROR([currently GiNaC-cint needs to build a static libginac])
- fi
if test "x$with_cint" = "xyes"; then
if test "x$CINTSYSDIR" = "x"; then
AC_MSG_ERROR([please export \$CINTSYSDIR or specify --with-cint=CINTSYSDIR])
AC_MSG_RESULT([creating cint/Makefile])
(cd cint && \
$MAKECINT -mk Makefile.makecint -o ginaccint.bin -m \
- -D OBSCURE_CINT_HACK \
+ -D OBSCURE_CINT_HACK -cc "$CXXFLAGS" \
-I .. -I $CINTSYSDIR -m -H ../ginac/ginac.h \
-C++ ginaccint.bin.cpp \
-l -L../ginac/.libs -lginac -lcln \