[PPL-devel] Parma Polyhedra Library 0.10.1

[Richard Guenther]

On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara <bagnara at 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-info
>
> 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.