
9 Nov
2010
9 Nov
'10
8:29 a.m.
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
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it