[PPL-devel] compiler warnings ppl-0.10

[Dieter Demerre]

L.S.,

I'm compiling ppl-0.10 (downloaded from the site),
attempting to compile gcc-4.5.0.

I'm doing this on an obsolete system, based on Debian 3.0.

I already compiled and installed gnu make 3.82
followed by gmp-5.0.1 using:
./configure --enable-cxx && make && make check && sudo make install.

When I now try to compile ppl-0.11:
cd /usr/src/ppl-0.11
./configure --with-gmp-build=/usr/src/gmp-5.0.1


compilation is performed using
Reading specs from /usr/lib/gcc-lib/i386-linux/2.95.4/specs
gcc version 2.95.4 20011002 (Debian prerelease)


the configuration script produces some warnings, that urge me to report it to ppl-devel at ....

checking fenv.h usability... no
checking fenv.h presence... yes
configure: WARNING: fenv.h: present but cannot be compiled
configure: WARNING: fenv.h:     check for missing prerequisite headers?
configure: WARNING: fenv.h: see the Autoconf documentation
configure: WARNING: fenv.h:     section "Present But Cannot Be Compiled"
configure: WARNING: fenv.h: proceeding with the compiler's result
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel at cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for fenv.h... no

checking getopt.h usability... no
checking getopt.h presence... yes
configure: WARNING: getopt.h: present but cannot be compiled
configure: WARNING: getopt.h:     check for missing prerequisite headers?
configure: WARNING: getopt.h: see the Autoconf documentation
configure: WARNING: getopt.h:     section "Present But Cannot Be Compiled"
configure: WARNING: getopt.h: proceeding with the compiler's result
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel at cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for getopt.h... no

checking signal.h usability... no
checking signal.h presence... yes
configure: WARNING: signal.h: present but cannot be compiled
configure: WARNING: signal.h:     check for missing prerequisite headers?
configure: WARNING: signal.h: see the Autoconf documentation
configure: WARNING: signal.h:     section "Present But Cannot Be Compiled"
configure: WARNING: signal.h: proceeding with the compiler's result
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel at cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for signal.h... no


checking sys/resource.h usability... no
checking sys/resource.h presence... yes
configure: WARNING: sys/resource.h: present but cannot be compiled
configure: WARNING: sys/resource.h:     check for missing prerequisite headers?
configure: WARNING: sys/resource.h: see the Autoconf documentation
configure: WARNING: sys/resource.h:     section "Present But Cannot Be Compiled"
configure: WARNING: sys/resource.h: proceeding with the compiler's result
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel at cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for sys/resource.h... no


checking sys/time.h usability... no
checking sys/time.h presence... yes
configure: WARNING: sys/time.h: present but cannot be compiled
configure: WARNING: sys/time.h:     check for missing prerequisite headers?
configure: WARNING: sys/time.h: see the Autoconf documentation
configure: WARNING: sys/time.h:     section "Present But Cannot Be Compiled"
configure: WARNING: sys/time.h: proceeding with the compiler's result
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel at cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for sys/time.h... no
checking for sys/types.h... (cached) no




and finaly an error:
checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib
checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib
checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.