On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
Peter O'Gorman wrote:
Jack Howarth wrote:
However if you look in ppl-0.10.1/src/Makefile.am, you will find...
# PPL release -version-info # 0.1 ----- # 0.2 ----- # 0.3 0:0:0 # 0.4 1:0:1 # 0.5 2:0:0 # 0.6 3:0:0 # 0.7 4:0:0 # 0.8 5:0:0 # 0.9 6:0:0 # 0.10 7:0:0 # 0.10.1 8:0:1
So either Roberto meant to bump the soversion and forgot or changed his mind and didn't revert all of the soversion changes out before release.
I assume that there was some added API that caused the CURRENT version number to increase. Since the soname did not change (AGE was also bumped), anything that was built against version 0.10 will continue to work with 0.10.1 without being rebuilt.
Yes, this is what happened.
[...]
http://www.gnu.org/software/libtool/manual/libtool.html#Updating-version-inf...
This is the algorithm we followed. However, I realize now that we forgot to update the C interface using the same algorithm. So in interfaces/C/Makefile.am we have
... # 0.10 2:0:0
LIBPPL_C_LT_CURRENT = 2 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 0
whereas we should have
... # 0.10 2:0:0 # 0.10.1 3:0:1
LIBPPL_C_LT_CURRENT = 3 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 1
Last but not least, GMP 4.3.0 was released a few hours after PPL 0.10.1 with a change that is not backward compatible and that affects the PPL. Summing up, I think the only solution is to release PPL 0.10.2 during the weekend.
You mean the inability to verify the version requirement?
hecking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options.
which is what I get after updating to GMP 4.3.0.
Richard.