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
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
>>
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
>
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
