[PPL-devel] ppl-0.11 configure warning

[Roberto Bagnara]

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