[PATCH] Fix GiNaC library version information.
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Mon, 1 Dec 2008 09:12:25 +0000 (10:12 +0100)
committerJens Vollinga <jensv@balin.nikhef.nl>
Mon, 1 Dec 2008 09:12:25 +0000 (10:12 +0100)
commit481e3e83f6b71d6639dd5c3fbd3c0d1e1ac18328
tree2ffa96da63bad6c8c05fe6c9b94127093980d6a7
parentc277943ace48d2f22f7016ba9439ff7cb949a231
[PATCH] Fix GiNaC library version information.

The libtool naming scheme cannot guarantee that on all systems, the numbering
is consecutive. It only guarantees that it is increasing. This doesn't matter,
though: there is not incurred cost for numbers that are omitted, except for
shrinking the available space of leftover numbers. Not something we need to
worry about yet.  ;-)  On the other hand, tricks which we were using to make
version numbers consecutive on GNU/Linux break versioning on other OSes.
configure.ac