=> Bootstrap dependency digest>=20010302: found digest-20121220 => Checksum SHA1 OK for ppl-0.11.2.tar.gz => Checksum RMD160 OK for ppl-0.11.2.tar.gz ===> Installing dependencies for ppl-0.11.2nb1 => Tool dependency libtool-base>=2.2.6bnb3: found libtool-base-2.4.2nb1 => Tool dependency automake>=1.9: found automake-1.13.1 => Tool dependency autoconf>=2.58: found autoconf-2.69nb1 => Tool dependency gmake>=3.81: found gmake-3.82nb6 => Tool dependency perl>=5.0: found perl-5.16.3 => Full dependency gsed-[0-9]*: found gsed-4.2.2nb4 => Full dependency gmp>=5.0.1: found gmp-5.1.1 => Full dependency mpfr>=3.0.0.3: found mpfr-3.1.2 ===> Overriding tools for ppl-0.11.2nb1 ===> Extracting for ppl-0.11.2nb1 ===> Patching for ppl-0.11.2nb1 => Applying pkgsrc patches for ppl-0.11.2nb1 ===> Creating toolchain wrappers for ppl-0.11.2nb1 ===> Configuring for ppl-0.11.2nb1 => Modifying GNU configure scripts to avoid --recheck => Replacing config-guess with pkgsrc versions => Replacing config-sub with pkgsrc versions => Replacing install-sh with pkgsrc version checking build system type... i386-pc-minix checking host system type... i386-pc-minix checking for a BSD-compatible install... /usr/bin/install -c -o root -g operator checking whether build environment is sane... yes checking for a thread-safe mkdir -p... ./install-sh -c -d checking for gawk... /usr/bin/awk checking whether make sets $(MAKE)... yes checking how to create a ustar tar archive... plaintar checking for i386-pc-minix-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no 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 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... (cached) /usr/bin/grep checking for fgrep... /usr/bin/grep -F checking for egrep... (cached) /usr/bin/egrep checking for a sed that does not truncate output... /usr/bin/sed checking how to run the C++ preprocessor... g++ -E checking whether make sets $(MAKE)... (cached) yes 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 use (a specific) floating point arithmetic... default checking whether to use precompiled headers... no checking the type of integral values to use as coefficients... GMP mpz checking for an ANSI C-conforming const... yes checking for inline... inline checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking whether byte ordering is bigendian... no checking for typeof syntax and keyword spelling... typeof checking size of char... 1 checking size of short... 2 checking size of int... 4 checking size of long... 4 checking size of long long... 8 checking size of size_t... 4 checking size of float... 4 checking size of double... 8 checking size of long double... 12 checking size of int*... 4 checking size of fp... 4 checking for perl... /usr/pkg/bin/perl checking for library containing sqrt... none required checking fenv.h usability... yes checking fenv.h presence... yes checking for fenv.h... yes checking ieeefp.h usability... yes checking ieeefp.h presence... yes checking for ieeefp.h... yes checking if it is possible to control the FPU... yes checking whether the plain char type is signed... yes checking whether the C++ compiler provides proper long doubles... yes checking the binary format of C++ floats... IEEE754 Single Precision checking whether C++ provides exact output for floats... yes checking the binary format of C++ doubles... IEEE754 Double Precision checking whether C++ provides exact output for doubles... yes checking the binary format of C++ long doubles... Intel Double-Extended checking whether C++ provides exact output for long doubles... no checking whether the C++ compiler supports flexible arrays... yes checking whether the IEEE inexact flag is supported in C++... yes checking if the compiler has the remainder bug... Floating exception (core dumped) yes checking whether the C++ compiler supports __attribute__ ((weak))... yes checking for fenv.h... (cached) yes checking for ieeefp.h... (cached) yes checking getopt.h usability... yes checking getopt.h presence... yes checking for getopt.h... yes checking signal.h usability... yes checking signal.h presence... yes checking for signal.h... yes checking for string.h... (cached) yes checking for strings.h... (cached) yes checking sys/resource.h usability... yes checking sys/resource.h presence... yes checking for sys/resource.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for sys/types.h... (cached) yes checking for unistd.h... (cached) yes checking whether ffs is declared... yes checking whether getenv is declared... yes checking whether strtof is declared... yes checking whether strtod is declared... yes checking whether strtold is declared... yes checking whether strtoll is declared... yes checking whether strtoull is declared... yes checking whether fma is declared... no checking whether fmaf is declared... no checking whether fmal is declared... no checking whether rintf is declared... yes checking whether rintl is declared... no checking for int_fast16_t... yes checking for int_fast32_t... yes checking for int_fast64_t... yes checking for uint_fast16_t... yes checking for uint_fast32_t... yes checking for uint_fast64_t... yes checking for uintptr_t... yes checking for ld used by GCC... /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld checking if the linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) is GNU ld... yes checking for shared library run path origin... done checking how to link with libgmp... /usr/pkg/lib/libgmp.a -lcompat_minix -lminlib checking how to link with libgmpxx... /usr/pkg/lib/libgmpxx.a /usr/pkg/lib/libgmp.a -lcompat_minix -lminlib -lcompat_minix -lminlib checking for the GMP library version 4.1.3 or above... yes checking size of mp_limb_t... 4 checking whether GMP has been compiled with support for exceptions... abort (core dumped) no checking for __mpz_struct._mp_alloc... yes checking for __mpz_struct._mp_size... yes checking for __mpz_struct._mp_d... yes checking whether to build the Parma Watchdog Library... yes checking whether to build the ppl_lcdd program... yes checking whether to build the ppl_lpsol program... yes checking whether to build the ppl_pips program... yes checking which interfaces are enabled... cxx c ocaml java checking for javac... no checking for java... no checking for jar... no checking for javah... no configure: WARNING: unable to include checking whether jlong can contain data pointers... no checking for i386-pc-minix-ocamlc... no checking for ocamlc... no checking for i386-pc-minix-ocamldep... no checking for ocamldep... no checking for i386-pc-minix-ocamlmktop... no checking for ocamlmktop... no checking for i386-pc-minix-ocamlmklib... no checking for ocamlmklib... no checking for i386-pc-minix-ocamldoc... no checking for ocamldoc... no checking for i386-pc-minix-ocamlbuild... no checking for ocamlbuild... no checking for GNU M4 that supports accurate traces... /usr/pkg/bin/gm4 checking how m4 supports trace files... --debugfile checking which instantiations are enabled... Polyhedron@Grid@Rational_Box@BD_Shape@BD_Shape@Octagonal_Shape@Octagonal_Shape@Constraints_Product@Pointset_Powerset@Pointset_Powerset@Double_Box@BD_Shape@Octagonal_Shape checking whether tests should be run under Valgrind... no checking whether `make check' does a thorough or quick check... quick checking how to print strings... print: not found printf checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for ld used by gcc... /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld checking if the linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/pkg.sav/bin/nm -B checking the name lister (/usr/pkg.sav/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 512 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... no checking for /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld option to reload object files... -r checking for i386-pc-minix-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... unknown checking for i386-pc-minix-ar... no checking for ar... ar checking for i386-pc-minix-strip... strip checking for i386-pc-minix-ranlib... no checking for ranlib... ranlib checking command to parse /usr/pkg.sav/bin/nm -B output from gcc object... ok checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... rm: conftest*: no such file or directory yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... rm: conftest*: no such file or directory yes checking dynamic linker characteristics... no checking how to hardcode library paths into programs... immediate checking for shl_load... no checking for shl_load in -ldld... no checking for dlopen... yes checking whether a program can dlopen itself... yes checking whether a statically linked program can dlopen itself... no checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... no checking whether to build shared libraries... no checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld checking if the linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) supports shared libraries... no checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... rm: conftest*: no such file or directory yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) supports shared libraries... no checking dynamic linker characteristics... no checking how to hardcode library paths into programs... immediate checking for md5sum... no checking glpk.h usability... no checking glpk.h presence... no checking for glpk.h... no checking glpk/glpk.h usability... no checking glpk/glpk.h presence... no checking for glpk/glpk.h... no checking whether RLIMIT_DATA is declared... yes checking whether RLIMIT_RSS is declared... no checking whether RLIMIT_VMEM is declared... yes checking whether RLIMIT_AS is declared... yes checking whether getrusage is declared... no checking whether sigaction is declared... yes checking for timeval... yes checking for siginfo_t... yes checking whether we can limit memory in C++ using setrlimit()... no configure: creating ./config.status config.status: creating Makefile config.status: creating ppl.lsm config.status: creating src/Makefile config.status: creating src/version.hh config.status: creating src/ppl-config.cc config.status: creating tests/Makefile config.status: creating tests/BD_Shape/Makefile config.status: creating tests/Box/Makefile config.status: creating tests/Grid/Makefile config.status: creating tests/MIP_Problem/Makefile config.status: creating tests/Octagonal_Shape/Makefile config.status: creating tests/Partially_Reduced_Product/Makefile config.status: creating tests/PIP_Problem/Makefile config.status: creating tests/Polyhedron/Makefile config.status: creating tests/Powerset/Makefile config.status: creating utils/Makefile config.status: creating m4/Makefile config.status: creating demos/Makefile config.status: creating demos/ppl_lcdd/Makefile config.status: creating demos/ppl_lcdd/examples/Makefile config.status: creating demos/ppl_lpsol/Makefile config.status: creating demos/ppl_lpsol/examples/Makefile config.status: creating demos/ppl_pips/Makefile config.status: creating demos/ppl_pips/examples/Makefile config.status: creating doc/Makefile config.status: creating doc/user.doxyconf-latex config.status: creating doc/devref.doxyconf-latex config.status: creating doc/user.doxyconf-html config.status: creating doc/devref.doxyconf-html config.status: creating doc/user-language-interface.doxyconf config.status: creating doc/devref-language-interface.doxyconf config.status: creating interfaces/Makefile config.status: creating interfaces/C/Makefile config.status: creating interfaces/C/ppl_c_version.h config.status: creating interfaces/C/tests/Makefile config.status: creating interfaces/Java/Makefile config.status: creating interfaces/Java/jni/Makefile config.status: creating interfaces/Java/tests/Makefile config.status: creating interfaces/Java/parma_polyhedra_library/Makefile config.status: creating interfaces/OCaml/Makefile config.status: creating interfaces/OCaml/tests/Makefile config.status: creating interfaces/Prolog/Makefile config.status: creating interfaces/Prolog/Ciao/Makefile config.status: creating interfaces/Prolog/GNU/Makefile config.status: creating interfaces/Prolog/SICStus/Makefile config.status: creating interfaces/Prolog/SWI/Makefile config.status: creating interfaces/Prolog/XSB/Makefile config.status: creating interfaces/Prolog/YAP/Makefile config.status: creating interfaces/Prolog/tests/Makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands rm: libtoolT: no such file or directory === configuring in Watchdog (/usr/pkgsrc/work/math/ppl/work/ppl-0.11.2/Watchdog) configure: running /bin/sh ./configure --disable-option-checking '--prefix=/usr/pkg' '--with-gmp-prefix=/usr/pkg' '--build=i386-pc-minix' '--host=i386-pc-minix' '--mandir=/usr/pkg/man' 'build_alias=i386-pc-minix' 'host_alias=i386-pc-minix' 'CC=gcc' 'CFLAGS=-Wno-error -march=i586 -I/usr/pkg/include' 'LDFLAGS=-L/usr/pkg/lib -Wl,-R/usr/pkg/lib' 'LIBS=-lcompat_minix -lminlib' 'CPPFLAGS=-I/usr/pkg/include' 'CXX=g++' 'CXXFLAGS=-Wno-error -march=i586 -I/usr/pkg/include' --cache-file=/dev/null --srcdir=. checking build system type... i386-pc-minix checking host system type... i386-pc-minix checking for a BSD-compatible install... /usr/bin/install -c -o root -g operator checking whether build environment is sane... yes checking for a thread-safe mkdir -p... ./install-sh -c -d checking for gawk... /usr/bin/awk checking whether make sets $(MAKE)... yes checking for i386-pc-minix-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no 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 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 a sed that does not truncate output... /usr/bin/sed checking how to run the C++ preprocessor... g++ -E checking whether make sets $(MAKE)... (cached) yes checking for ld used by GCC... /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld checking if the linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) is GNU ld... yes checking for shared library run path origin... done 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 optimizations... standard checking for which architecture to optimize... default checking for perl... /usr/pkg/bin/perl checking for an ANSI C-conforming const... yes checking whether tests should be run under Valgrind... no checking whether to build the Parma Watchdog Library... yes checking whether time.h and sys/time.h may both be included... yes checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking fenv.h usability... yes checking fenv.h presence... yes checking for fenv.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking whether getenv is declared... yes checking whether setitimer is declared... yes checking whether sigaction is declared... yes checking for siginfo_t... yes checking how to print strings... print: not found printf checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld checking if the linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/pkg.sav/bin/nm -B checking the name lister (/usr/pkg.sav/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 512 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... no checking for /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld option to reload object files... -r checking for i386-pc-minix-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... unknown checking for i386-pc-minix-ar... no checking for ar... ar checking for i386-pc-minix-strip... strip checking for i386-pc-minix-ranlib... no checking for ranlib... ranlib checking command to parse /usr/pkg.sav/bin/nm -B output from gcc object... ok checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... rm: conftest*: no such file or directory yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... rm: conftest*: no such file or directory yes checking dynamic linker characteristics... no checking how to hardcode library paths into programs... immediate checking for shl_load... no checking for shl_load in -ldld... no checking for dlopen... yes checking whether a program can dlopen itself... yes checking whether a statically linked program can dlopen itself... no checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... no checking whether to build shared libraries... no checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld checking if the linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) supports shared libraries... no checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... rm: conftest*: no such file or directory yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/pkgsrc/work/math/ppl/work/.wrapper/bin/ld) supports shared libraries... no checking dynamic linker characteristics... no checking how to hardcode library paths into programs... immediate configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating m4/Makefile config.status: creating doc/Makefile config.status: creating doc/user.doxyconf-latex config.status: creating doc/devref.doxyconf-latex config.status: creating doc/user.doxyconf-html config.status: creating doc/devref.doxyconf-html config.status: creating tests/Makefile config.status: creating utils/Makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands rm: libtoolT: no such file or directory configure: WARNING: CANNOT PROPAGATE EXCEPTIONS BACK FROM GMP: *** MEMORY EXHAUSTION MAY RESULT IN ABRUPT TERMINATION. *** This is OK, if you do not plan to use the bounded memory capabilities *** offered by the PPL. Otherwise, if you are using GCC or the Intel C/C++ *** compiler, please make sure you use a version of GMP compiled with the *** `-fexceptions' compiler option. *** To build such a version, you can configure GMP as follows: *** CPPFLAGS=-fexceptions ./configure --enable-cxx --prefix=/usr/local => Modifying libtool scripts to use pkgsrc libtool