Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-04 Thread Dave Korn
Charles Wilson wrote: > Dave Korn wrote: > >> I'm not sure. It's the compiler that knows what it needs, which is the >> same >> regardless of binutils' preferences, I'm leaning toward the idea that it >> should be in the linker specs for the benefit of anyone using older binutils. > > The onl

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-03 Thread Charles Wilson
Dave Korn wrote: > I'm not sure. It's the compiler that knows what it needs, which is the same > regardless of binutils' preferences, I'm leaning toward the idea that it > should be in the linker specs for the benefit of anyone using older binutils. The only reason the compiler NEEDS auto-impo

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-03 Thread Dave Korn
Charles Wilson wrote: > Dave Korn wrote: >> Charles Wilson wrote: >>> Dave Korn wrote: Charles Wilson wrote: > Roberto Bagnara wrote: > >> concerning the need to link with "LDFLAGS=-Wl,--enable-auto-import", >> I am wondering if there is something we could do upstream to simpli

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-02 Thread Charles Wilson
Dave Korn wrote: > Charles Wilson wrote: >> Dave Korn wrote: >>> Charles Wilson wrote: Roberto Bagnara wrote: > concerning the need to link with "LDFLAGS=-Wl,--enable-auto-import", > I am wondering if there is something we could do upstream to simplify > the life of Cygwin use

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-02 Thread Dave Korn
Charles Wilson wrote: > Dave Korn wrote: >> Charles Wilson wrote: >>> Roberto Bagnara wrote: >>> concerning the need to link with "LDFLAGS=-Wl,--enable-auto-import", I am wondering if there is something we could do upstream to simplify the life of Cygwin users. If so, please let me

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-02 Thread Charles Wilson
Dave Korn wrote: > Charles Wilson wrote: >> Roberto Bagnara wrote: >> >>> concerning the need to link with "LDFLAGS=-Wl,--enable-auto-import", >>> I am wondering if there is something we could do upstream to simplify >>> the life of Cygwin users. If so, please let me know. >> In gcc-4.x --enable-a

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-02 Thread Dave Korn
Charles Wilson wrote: > Roberto Bagnara wrote: > >> concerning the need to link with "LDFLAGS=-Wl,--enable-auto-import", >> I am wondering if there is something we could do upstream to simplify >> the life of Cygwin users. If so, please let me know. > > In gcc-4.x --enable-auto-import is the def

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-02 Thread Charles Wilson
Roberto Bagnara wrote: > concerning the need to link with "LDFLAGS=-Wl,--enable-auto-import", > I am wondering if there is something we could do upstream to simplify > the life of Cygwin users. If so, please let me know. In gcc-4.x --enable-auto-import is the default. -- Chuck -- Unsubscribe

Re: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-05-02 Thread Roberto Bagnara
David Billinghurst wrote: Version ppl-0.10.2-1 of the Parma Polyhedra Library (PPL) has been released. [...] Standard install built with gcc-4.3.2 and g++-4.3.2. For correct functionality, users may need to link applications with LDFLAGS=-Wl,--enable-auto-import. The majority of the PPL te

[ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library

2009-04-30 Thread David Billinghurst
Version ppl-0.10.2-1 of the Parma Polyhedra Library (PPL) has been released. PACKAGE DESCRIPTION === Homepage: http://www.cs.unipr.it/ppl/ License : GNU GPL 3 or later The Parma Polyhedra Library (PPL) provides numerical abstractions specially targeted at applications in the fi