Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Richard Guenther
On Tue, Apr 14, 2009 at 6:58 PM, Roberto Bagnara bagn...@cs.unipr.it wrote: Richard Guenther wrote: On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara bagn...@cs.unipr.it wrote: We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library. It seems

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Jack Howarth
Roberto, I am finding the following when I build my ppl-10.1 packaging in fink... Validating .deb dir /sw/src/fink.build/root-ppl-shlibs-0.10.1-1... Error: Shlibs field says compatibility version for /sw/lib/libppl.7.dylib is 8.0.0, but it is actually 9.0.0. Error: package contains the

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Richard Guenther
On Wed, Apr 15, 2009 at 2:00 PM, Jack Howarth howa...@bromo.med.uc.edu wrote: Roberto,    I am finding the following when I build my ppl-10.1 packaging in fink... Validating .deb dir /sw/src/fink.build/root-ppl-shlibs-0.10.1-1... Error: Shlibs field says compatibility version for

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Jack Howarth
On Wed, Apr 15, 2009 at 02:44:12PM +0200, Richard Guenther wrote: On Wed, Apr 15, 2009 at 2:00 PM, Jack Howarth howa...@bromo.med.uc.edu wrote: Roberto,    I am finding the following when I build my ppl-10.1 packaging in fink... Validating .deb dir

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Peter O'Gorman
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

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Roberto Bagnara
Jack Howarth wrote: On Wed, Apr 15, 2009 at 02:44:12PM +0200, Richard Guenther wrote: On Wed, Apr 15, 2009 at 2:00 PM, Jack Howarth howa...@bromo.med.uc.edu wrote: [...] It seems rather bad form to me that soversions are being changed in minor dot releases of ppl. This has been one of my

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Jack Howarth
On Wed, Apr 15, 2009 at 04:36:04PM +0200, Roberto Bagnara wrote: Jack Howarth wrote: On Wed, Apr 15, 2009 at 02:44:12PM +0200, Richard Guenther wrote: On Wed, Apr 15, 2009 at 2:00 PM, Jack Howarth howa...@bromo.med.uc.edu wrote: [...] It seems rather bad form to me that soversions are being

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Roberto Bagnara
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 #

Re: Parma Polyhedra Library 0.10.1

2009-04-15 Thread Richard Guenther
On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara bagn...@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                     - #          

Re: [PPL-devel] Parma Polyhedra Library 0.10.1

2009-04-15 Thread Roberto Bagnara
Richard Guenther wrote: On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara bagn...@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

Parma Polyhedra Library 0.10.1

2009-04-14 Thread Roberto Bagnara
We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library. This release includes several important improvements to PPL 0.10, among which is better portability (including the support for cross-compilation), increased robustness, better packaging and

Re: Parma Polyhedra Library 0.10.1

2009-04-14 Thread Richard Guenther
On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara bagn...@cs.unipr.it wrote: We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library. This release includes several important improvements to PPL 0.10, among which is better portability (including

Re: Parma Polyhedra Library 0.10.1

2009-04-14 Thread Roberto Bagnara
Richard Guenther wrote: On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara bagn...@cs.unipr.it wrote: We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library. It seems to build and test ok on {i586,ia64,ppc,ppc64,s390,x86_64}-linux but I get

Re: Parma Polyhedra Library 0.10.1

2009-04-14 Thread Ralf Wildenhues
Hello, * Roberto Bagnara wrote on Tue, Apr 14, 2009 at 06:58:01PM CEST: Richard Guenther wrote: It seems to build and test ok on {i586,ia64,ppc,ppc64,s390,x86_64}-linux but I get PASS: nnc_writepolyhedron1 /bin/sh: line 4: 29952 Segmentation fault ${dir}$tst FAIL: memory1