[PPL-devel] Fwd: RE: ppl-0.11 configure warning

[Roberto Bagnara]

-------- Original Message --------
Subject: RE: [PPL-devel] ppl-0.11 configure warning
Date: Wed, 10 Nov 2010 20:51:54 -0800
From: Livingstone, Paul at ARB <plivings at arb.ca.gov>
To: Roberto Bagnara <bagnara at 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 at cs.unipr.it]
Sent: Monday, November 08, 2010 11:30 PM
To: Livingstone, Paul at ARB
Cc: ppl-devel at cs.unipr.it
Subject: Re: [PPL-devel] ppl-0.11 configure warning

On 11/08/10 22:33, Livingstone, Paul at 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

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it