Re: Parma Polyhedra Library 0.11.1

2011-02-22 Thread Dongsheng Song
On Tue, Feb 22, 2011 at 17:05, Roberto Bagnara wrote: > On 02/22/2011 06:04 AM, Dongsheng Song wrote: >> >> When I build on i686-w64-mingw32 target: >> >> libtool: compile:  i686-w64-mingw32-g++ -DHAVE_CONFIG_H -I. >> -I/home/oracle/src/ppl-0.11.1/src -I.. -I.. >> -I/home/oracle/src/ppl-0.11.1/src

Re: Parma Polyhedra Library 0.11.1

2011-02-22 Thread Dongsheng Song
On Tue, Feb 22, 2011 at 17:05, Roberto Bagnara wrote: >> And I'm doubt the assumption GMP does not support exception when cross >> compiling: >> >> $ git diff m4/ac_check_gmp.m4 >> diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 >> index c5dd1c9..8c2af74 100644 >> --- a/m4/ac_check_gmp.m4 >>

Re: Parma Polyhedra Library 0.11.1

2011-02-22 Thread Roberto Bagnara
On 02/22/2011 06:04 AM, Dongsheng Song wrote: When I build on i686-w64-mingw32 target: libtool: compile: i686-w64-mingw32-g++ -DHAVE_CONFIG_H -I. -I/home/oracle/src/ppl-0.11.1/src -I.. -I.. -I/home/oracle/src/ppl-0.11.1/src -I/home/oracle/tmp/gcc-4.5-windows-obj/misc//include -g -O2 -frounding-

Re: Parma Polyhedra Library 0.11.1

2011-02-21 Thread Dongsheng Song
On Mon, Feb 21, 2011 at 01:32, Prof. Roberto Bagnara wrote: > > We announce the availability of PPL 0.11.1, a new release of the Parma > Polyhedra Library.  This release includes several important bug fixes > and performance improvements. > > The precise list of user-visible changes is available a

Re: Parma Polyhedra Library 0.11.1

2011-02-21 Thread Jack Howarth
On Mon, Feb 21, 2011 at 12:10:03PM +0100, Roberto Bagnara wrote: > On 02/21/2011 04:42 AM, Jack Howarth wrote: >> On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote: >>> >>> We announce the availability of PPL 0.11.1, a new release of the Parma >>> Polyhedra Library. This releas

Re: Parma Polyhedra Library 0.11.1

2011-02-21 Thread Roberto Bagnara
On 02/21/2011 04:42 AM, Jack Howarth wrote: On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote: We announce the availability of PPL 0.11.1, a new release of the Parma Polyhedra Library. This release includes several important bug fixes and performance improvements. Roberto

Re: Parma Polyhedra Library 0.11.1

2011-02-20 Thread Jack Howarth
On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote: > > We announce the availability of PPL 0.11.1, a new release of the Parma > Polyhedra Library. This release includes several important bug fixes > and performance improvements. Roberto, Have you had any reports of installa

Re: Parma Polyhedra Library 0.11.1

2011-02-20 Thread Dennis Clarke
> > We announce the availability of PPL 0.11.1, a new release of the Parma > Polyhedra Library. This release includes several important bug fixes > and performance improvements. I was awaiting this. I will now try this on Solaris. -- Dennis Clarke dcla...@opensolaris.ca <- Email related to t