compiler warnings ppl-0.10

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@....
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@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@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@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@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@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.

On 09/28/2010 12:28 PM, Dieter Demerre wrote:
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@....
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@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@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@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@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@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.
Hi Dieter,
the `configure' script generates a file called `config.log' that contains more information. Please look at it and/or, if you have problems intepreting it, send it to us (compressed). All the best,
Roberto
participants (2)
-
Dieter Demerre
-
Roberto Bagnara