Re: Parma Polyhedra Library 0.10.1

On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara 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: Parma Polyhedra Library 0.10.1

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

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 >>> wrote: [...] It seems rather bad form to me that soversions are being changed

Re: Parma Polyhedra Library 0.10.1

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 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 biggest fears about cloog/ppl.

Re: Parma Polyhedra Library 0.10.1

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

On Wed, Apr 15, 2009 at 02:44:12PM +0200, Richard Guenther wrote: > On Wed, Apr 15, 2009 at 2:00 PM, Jack Howarth > 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... >

Re: Parma Polyhedra Library 0.10.1

On Wed, Apr 15, 2009 at 2:00 PM, Jack Howarth 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 /sw/lib/libppl.7.dylib is > 8

Re: Parma Polyhedra Library 0.10.1

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 shared

Re: Parma Polyhedra Library 0.10.1

On Tue, Apr 14, 2009 at 6:58 PM, Roberto Bagnara wrote: > Richard Guenther wrote: >> >> On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara >> 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

Re: Parma Polyhedra Library 0.10.1

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

Re: Parma Polyhedra Library 0.10.1

Richard Guenther wrote: On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara 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 PASS: nnc_writepolyhedro

Re: Parma Polyhedra Library 0.10.1

On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara 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 the support fo