$ configure --prefix=/data1/liliknn/Program/PPL --with-libgmpxx-prefix=/data1/liliknn/Program/GMP 
checking build system type... mips-sgi-irix6.5
checking host system type... mips-sgi-irix6.5
checking for a BSD-compatible install... ./install-sh -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... ./install-sh -c -d
checking for gawk... no
checking for mawk... no
checking for nawk... nawk
checking whether make sets $(MAKE)... yes
checking how to create a ustar tar archive... plaintar
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for style of include used by make... GNU
checking dependency style of gcc... gcc3
checking whether we are actually using the Intel C compiler... no
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking dependency style of g++... gcc3
checking whether we are actually using the Intel C++ compiler... no
checking for grep that handles long lines and -e... /sbin/grep
checking for fgrep... /sbin/grep -F
checking for egrep... /sbin/grep -E
checking for a sed that does not truncate output... /sbin/sed
checking how to run the C++ preprocessor... g++ -E
checking whether make sets $(MAKE)... (cached) yes
checking for a BSD-compatible install... ./install-sh -c
checking whether to compile with debug info... yes
checking whether to compile for profiling... no
checking whether to compile for test coverage... no
checking whether to enable checking of run-time assertions... no
checking whether to enable even more run-time assertions... no
checking whether to enable optimizations... standard
checking for which architecture to optimize... default
checking whether to select specific floating point arithmetics... default
checking whether to use precompiled headers... no
checking the type of integral values to use as coefficients... GMP mpz
checking for perl... /usr/sbin/perl
checking for an ANSI C-conforming const... no
checking for inline... no
checking how to run the C preprocessor... gcc -E
checking for ANSI C header files... no
checking for sys/types.h... no
checking for sys/stat.h... no
checking for stdlib.h... no
checking for string.h... no
checking for memory.h... no
checking for strings.h... no
checking for inttypes.h... no
checking for stdint.h... no
checking for unistd.h... no
checking whether byte ordering is bigendian... yes
checking for typeof syntax and keyword spelling... no
checking size of char... 0
checking size of short... 0
checking size of int... 0
checking size of long... 0
checking size of long long... 0
checking size of size_t... 0
checking size of float... 0
checking size of double... 0
checking size of long double... 0
checking size of int*... 0
checking size of fp... 0
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 preprocessor's result
configure: WARNING: fenv.h: in the future, the compiler will take precedence
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel@cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for fenv.h... yes
checking ieeefp.h usability... no
checking ieeefp.h presence... yes
configure: WARNING: ieeefp.h: present but cannot be compiled
configure: WARNING: ieeefp.h:     check for missing prerequisite headers?
configure: WARNING: ieeefp.h: see the Autoconf documentation
configure: WARNING: ieeefp.h:     section "Present But Cannot Be Compiled"
configure: WARNING: ieeefp.h: proceeding with the preprocessor's result
configure: WARNING: ieeefp.h: in the future, the compiler will take precedence
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel@cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for ieeefp.h... yes
checking if it is possible to control the FPU... no
checking whether the C++ compiler provides proper long doubles... no
checking the binary format of C++ floats... unknown
checking whether C++ provides exact output for floats... no
checking the binary format of C++ doubles... unknown
checking whether C++ provides exact output for doubles... no
checking the binary format of C++ long doubles... Output line too long.
Output line too long.
Output line too long.
Output line too long.
Output line too long.
Output line too long.
unknown
checking whether C++ provides exact output for long doubles... Output line too long.
Output line too long.
Output line too long.
Output line too long.
Output line too long.
Output line too long.
no
checking whether the C++ compiler supports flexible arrays... no
checking whether the IEEE inexact flag is supported in C++... no
checking if the compiler has the remainder bug... yes
checking whether the C++ compiler supports __attribute__ ((weak))... no
checking for fenv.h... (cached) yes
checking for ieeefp.h... (cached) yes
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 preprocessor's result
configure: WARNING: getopt.h: in the future, the compiler will take precedence
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel@cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for getopt.h... yes
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 preprocessor's result
configure: WARNING: signal.h: in the future, the compiler will take precedence
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel@cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for signal.h... yes
checking for string.h... (cached) no
checking for strings.h... (cached) 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 preprocessor's result
configure: WARNING: sys/resource.h: in the future, the compiler will take precedence
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel@cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for sys/resource.h... yes
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 preprocessor's result
configure: WARNING: sys/time.h: in the future, the compiler will take precedence
configure: WARNING:     ## ------------------------------------ ##
configure: WARNING:     ## Report this to ppl-devel@cs.unipr.it ##
configure: WARNING:     ## ------------------------------------ ##
checking for sys/time.h... yes
checking for sys/types.h... (cached) no
checking for unistd.h... (cached) no
checking whether ffs is declared... no
checking whether getenv is declared... no
checking whether strtof is declared... no
checking whether strtod is declared... no
checking whether strtold is declared... no
checking whether strtoll is declared... no
checking whether strtoull is declared... no
checking whether fma is declared... no
checking whether fmaf is declared... no
checking whether fmal is declared... no
checking whether rintf is declared... no
checking whether rintl is declared... no
checking for int_fast16_t... no
checking for int_fast32_t... no
checking for int_fast64_t... no
checking for uint_fast16_t... no
checking for uint_fast32_t... no
checking for uint_fast64_t... no
checking for ld used by GCC... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... no
checking for shared library run path origin... done
checking how to link with libgmp... /data1/liliknn/Program/GMP/lib/libgmp.so -Wl,-rpath -Wl,/data1/liliknn/Program/GMP/lib
checking how to link with libgmpxx... /data1/liliknn/Program/GMP/lib/libgmpxx.so /data1/liliknn/Program/GMP/lib/libgmp.so -Wl,-rpath -Wl,/data1/liliknn/Program/GMP/lib -Wl,-rpath -Wl,/data1/liliknn/Program/GMP/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.
