X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.ac;h=3c174e2193d38e123139c0013e449abe14a99842;hp=e88bf4aebf3e27473285989c56ed22ea725394be;hb=c48424be67d8c6b05b0e040acd49b3e904acf6f9;hpb=1d0ab629c691c48e6aa6c291a052f27b726b26ff

diff --git a/configure.ac b/configure.ac
index e88bf4ae..3c174e21 100644
--- a/configure.ac
+++ b/configure.ac
@@ -3,7 +3,7 @@ dnl Process this file with autoconf to produce a configure script.
 dnl GiNaC version number
 m4_define([ginac_major_version], [1])
 m4_define([ginac_minor_version], [5])
-m4_define([ginac_micro_version], [1])
+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])
 
@@ -12,21 +12,19 @@ dnl version number. In particular, library version is OS dependent.
 dnl
 dnl When making releases, do
 dnl 1. Increment ginac_lt_revision
-dnl 2. If any interfaces have been added, removed, or changed since the last
-dnl    release, increment ginac_lt_current and set ginac_lt_revision to 0.
-dnl 3. If any interfaces have been added since the last release, increment
-dnl    ginac_lt_age.
-dnl 4. If any interfaces have been removed since the last release, set 
-dnl    ginac_lt_age to 0.
+dnl 2. If any interfaces have been added since the last release, increment
+dnl    ginac_lt_current and set ginac_lt_revision to 0.
+dnl 3. If any interfaces have been changed or removed since the last release,
+dnl    make sure you increment ginac_minor_version above and reset both
+dnl    ginac_lt_current and ginac_lt_revision to 0.
 dnl
 dnl Please note: the libtool naming scheme cannot guarantee that on all
 dnl systems, the numbering is consecutive. It only guarantees that it is
 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_age], [0])
-m4_define([ginac_lt_revision], [1])
+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)
@@ -59,8 +57,10 @@ AC_SUBST(ARCHIVE_AGE)
 AC_DEFINE_UNQUOTED(ARCHIVE_VERSION, $ARCHIVE_VERSION, [Current GiNaC archive file version number])
 AC_DEFINE_UNQUOTED(ARCHIVE_AGE, $ARCHIVE_AGE, [GiNaC archive file version age])
 
-dnl libtool versioning
-LT_VERSION_INFO="ginac_lt_current:ginac_lt_revision:ginac_lt_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.
+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)
@@ -82,11 +82,8 @@ AC_LANG([C++])
 dnl Make sure all the necessary standard headers are installed on the system.
 GINAC_STD_CXX_HEADERS
 
-dnl We need to have Bruno Haible's CLN installed.
-dnl (pkg-config must have installed pkg.m4 at a visible place, which provides
-dnl this macro. CLN >= 1.1.6 must have installed cln.pc at a visible place,
-dnl which provides the actual dependency information.)
-PKG_CHECK_MODULES(CLN, cln >= 1.1.6)
+dnl We need to have CLN installed.
+PKG_CHECK_MODULES(CLN, cln >= 1.2.2)
 AC_LIB_LINKFLAGS_FROM_LIBS([CLN_RPATH], [$CLN_LIBS], [1])
 LIBS="$LIBS $CLN_LIBS $CLN_RPATH"
 CPPFLAGS="$CPPFLAGS $CLN_CFLAGS"
@@ -107,6 +104,7 @@ GINAC_READLINE
 
 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