diff --git a/Makefile.am b/Makefile.am index 3082bdb3..8c6b5bb4 100644 --- a/Makefile.am +++ b/Makefile.am @@ -62,6 +62,12 @@ AUTOMAKE_OPTIONS = 1.8 gnu no-dependencies ansi2knr # 4.2 6:0:3 3:2:0 4:4:1 REALLY WRONG, same as 4.1! # 4.2.1 7:1:4 4:1:1 4:10:1 # +# MPIR -version-info +# release libgmp libgmpxx libmp +# 0.9.0 7:1:4 4:1:1 4:10:1 WRONG, same as GMP 4.2.1 +# 1.0.0 7:2:4 4:2:1 4:11:1 +# 1.1.0 7:3:4 4:3:1 4:12:1 +# # Starting at 3:0:0 is a slight abuse of the versioning system, but it # ensures we're past soname libgmp.so.2, which was used on Debian GNU/Linux # packages of gmp 2. Pretend gmp 2 was 2:0:0, so the interface changes for @@ -74,15 +80,15 @@ AUTOMAKE_OPTIONS = 1.8 gnu no-dependencies ansi2knr # libgmpxx.so.3.0.4) incrementing, to make it clear which GMP it's from. LIBGMP_LT_CURRENT = 7 -LIBGMP_LT_REVISION = 1 +LIBGMP_LT_REVISION = 3 LIBGMP_LT_AGE = 4 LIBGMPXX_LT_CURRENT = 4 -LIBGMPXX_LT_REVISION = 1 +LIBGMPXX_LT_REVISION = 3 LIBGMPXX_LT_AGE = 1 LIBMP_LT_CURRENT = 4 -LIBMP_LT_REVISION = 10 +LIBMP_LT_REVISION = 12 LIBMP_LT_AGE = 1