-------- Original Message -------- Subject: RE: [PPL-devel] ppl-0.11 configure warning Date: Wed, 10 Nov 2010 20:51:54 -0800 From: Livingstone, Paul@ARB plivings@arb.ca.gov To: Roberto Bagnara bagnara@cs.unipr.it

Dear Prof. Bagnara,

Thanks for your fast response. Following instructions from web search, I have got through the installation of ppl library.

Ciao, Paul Dr. Paul Livingstone Staff Air Pollution Specialist California Air Resources Board Sacramento, CA 95812 Phone: (916) 327-8543

-----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Monday, November 08, 2010 11:30 PM To: Livingstone, Paul@ARB Cc: ppl-devel@cs.unipr.it Subject: Re: [PPL-devel] ppl-0.11 configure warning

On 11/08/10 22:33, Livingstone, Paul@ARB wrote:

Following the instructions in the config.log from configuring PPL-0.11 for updating gcc on a linux machine running Redhat Linux OS version 5.4, I am reporting that there were warnings on the following five header files:

(1) fenv.h

(2) getopt.h

(3) signal.h

(4) sys/resource.h

(5) sys/time.h

The warning messages were: "present but cannot be compiled\n check for missing prerequisite headers?\n see the Autoconf documentation\n section "Present But Cannot Be Compiled"\n proceeding with the compiler's result\n"

Dear Paul,

the config.log file should contain more information about what is going wrong. If in doubt, please compress it and send it to us. Thanks,

Roberto