dnl GiNaC version number
m4_define([ginac_major_version], [1])
m4_define([ginac_minor_version], [5])
-m4_define([ginac_micro_version], [4])
+m4_define([ginac_micro_version], [8])
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], [1])
+m4_define([ginac_lt_current], [2])
m4_define([ginac_lt_revision], [0])
AC_INIT([GiNaC], ginac_version, [<ginac-list@ginac.de>])
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