[PPL-devel] compiler warnings ppl-0.10

[Roberto Bagnara]

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

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


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