-------- Original Message -------- Subject: Re: [PPL-devel] compiler warnings ppl-0.10 Date: Wed, 29 Sep 2010 12:28:56 +0200 From: Dieter Demerre ddemerre@gmail.com To: Roberto Bagnara bagnara@cs.unipr.it

On 29 Sep 2010, at 11:01, Roberto Bagnara wrote:

On 09/28/10 15:51, Dieter Demerre wrote:

...

A quick walkthrough directed me to:

• cc1: Unrecognized option `-frounding-math'
• cc1plus: Unrecognized option `-frounding-math'

the -frounding-math option option that's probably new.... (in more recent gcc) (not yet present in gcc-2.95,...). Is this option required ? (at this level ?) which would explain the failure on the header file check / compilation.

Dear Dieter,

please see README.configure, where is says:

It should be noted that no version of GCC prior to 4.0.3 is known to reliably compile PPL 0.10.

I can strengthen this by saying that really there is no way to compile the PPL with GCC 2.95.

...

Currently,... I'm (attempting) to compile gcc-4.5.0 without ppl support, and after this was successful (hope, hope),... try to compile the ppl library again, and compile gcc again too.

Yes, this is the right thing to do. Friendly regards,

Roberto

Thanks for the response, and my apologies for not reading the documentation. In my defense,... this documentation more regularly than not only contains the "general" instructions "execute ./configure followed by make and make install" and stuff. Hence I refrained from reading it. I should make a habit of - if the first attempt fails - first read more documentation instead of thinking: "Now that is something these developers didn't think about".

Greetings. dd