He did not read the P.S...

-------- Original Message -------- Subject: Re: Parma Polyhedra Library 0.10.1 Date: Wed, 15 Apr 2009 10:53:28 -0400 From: Jack Howarth howarth@bromo.med.uc.edu To: Roberto Bagnara bagnara@cs.unipr.it CC: gcc@gcc.gnu.org References: 20090415120051.GA28541@bromo.med.uc.edu 84fc9c000904150544h1d89f442k7ba094128196228e@mail.gmail.com 20090415131934.GB29025@bromo.med.uc.edu 49E5F0D4.4070105@cs.unipr.it

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 howarth@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 biggest fears about cloog/ppl...that the so version control be randomly bumped.

Jack,

can you please explain what you mean by "randomly bumped"? Thanks,

Roberto, I think there is a common misunderstanding on darwin about the meaning of the compatibility level. I (and others) have been under the impression that the compatibility level should be exactly one more than the major soversion. For instance, the fftw3 3.2.1 release bumped the compatibility level by one compared to the major soversion and the package was never updated because this was viewed as an error upstream. My understanding now is that the relationship is rather loose and the compatibility level only need to be at least one higher than the major soversion. Jack

Roberto

P.S. Please direct all the PPL-related messages to ppl-devel@cs.unipr.it

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