dnl GiNaC version number
m4_define([ginac_major_version], [1])
m4_define([ginac_minor_version], [5])
-m4_define([ginac_micro_version], [3])
+m4_define([ginac_micro_version], [7])
m4_define([ginac_version], [ginac_major_version.ginac_minor_version.ginac_micro_version])
m4_define([ginac_release], [ginac_major_version.ginac_minor_version])
dnl increasing. This doesn't matter, though: there is not incurred cost
dnl for numbers that are omitted, except for shrinking the available space
dnl of leftover numbers. Not something we need to worry about yet. ;-)
-m4_define([ginac_lt_current], [0])
-m4_define([ginac_lt_revision], [0])
+m4_define([ginac_lt_current], [1])
+m4_define([ginac_lt_revision], [2])
AC_INIT([GiNaC], ginac_version, [<ginac-list@ginac.de>])
AC_PREREQ(2.59)
AC_DEFINE_UNQUOTED(ARCHIVE_AGE, $ARCHIVE_AGE, [GiNaC archive file version age])
dnl libtool versioning (We don't use libtool's age numbering since we promise
-dnl to keep the binary interface compatible if only ginac_micro_version changes.)
-LT_VERSION_INFO="ginac_lt_current:ginac_lt_revision:0"
+dnl to keep the binary interface compatible if only ginac_micro_version changes.
+dnl In effect, age==current.)
+LT_VERSION_INFO="ginac_lt_current:ginac_lt_revision:ginac_lt_current"
LT_RELEASE="ginac_release"
AC_SUBST(LT_VERSION_INFO)
dnl Check for dl library (needed for GiNaC::compile).
GINAC_EXCOMPILER
+AM_CONDITIONAL(CONFIG_EXCOMPILER, [test "x${CONFIG_EXCOMPILER}" = "xyes"])
dnl Check for utilities needed by the different kinds of documentation.
dnl Documentation needs only be built when extending it, so never mind if it