+dnl GiNaC library version information. It has very little to do with GiNaC
+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
+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], [3])
+m4_define([ginac_lt_revision], [0])
+m4_define([ginac_lt_age], [1])
+
+AC_INIT([GiNaC], ginac_version, [ginac-list@ginac.de], [ginac], [http://www.ginac.de/])