[PPL-devel] Parma Polyhedra Library 0.10.1

[Roberto Bagnara]

Richard Guenther wrote:
> On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>> 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.

Precisely.  This is due to the fact that, starting from GMP version 4.3.0
the `gmp_version' variable always contains three parts (major, minor,
patchlevel).  In previous versions the patchlevel was omitted if it was 0.
This change broke our GMP detection procedure.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it