-------- Forwarded Message -------- From: Sébastien Villemot <[email protected]> To: [email protected] Subject: Shared library versioning problem in GLPK 4.52 Date: Fri, 26 Jul 2013 21:12:01 +0200
Hi, GLPK 4.51 was building libglpk.so.36, while GLPK 4.52 builds libglpk.so.35 (note the decrease in the SOVERSION, which should not happen with a shared library). The problem is that the libtool versioning information has not been updated correctly. In GLPK 4.52, it currently reads "-version-info 36:0:1", while it should be "-version-info 37:0:1" (because interfaces have been added between 4.51 and 4.52, but no interface was modified or removed). More details can be found in the libtool manual, in the section entitled "Updating library version information". Can you please confirm that you agree with me and are going to apply the suggested fix? This problem is currently blocking the upload of GLPK 4.52 to Debian. Cheers, -- .''`. Sébastien Villemot : :' : Debian Developer `. `' http://www.dynare.org/sebastien `- GPG Key: 4096R/381A7594 _______________________________________________ Bug-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk
