=> Bootstrap dependency digest>=20010302: found digest-20160304 => Checksum SHA1 OK for ppl-1.1.tar.gz => Checksum RMD160 OK for ppl-1.1.tar.gz => Checksum SHA512 OK for ppl-1.1.tar.gz ===> Installing dependencies for ppl-1.1nb4 => Tool dependency libtool-base>=2.4.2nb9: found libtool-base-2.4.6nb1 => Tool dependency automake>=1.9: found automake-1.15.1 => Tool dependency autoconf>=2.58: found autoconf-2.69nb7 => Tool dependency gmake>=3.81: found gmake-4.1nb4 => Tool dependency nbpatch-[0-9]*: found nbpatch-20151107 => Tool dependency perl>=5.0: found perl-5.26.2 => Build dependency cwrappers>=20150314: found cwrappers-20180325 => Full dependency gsed-[0-9]*: found gsed-4.5 => Full dependency gmp>=5.0.1: found gmp-6.1.2 => Full dependency mpfr>=4.0.0: found mpfr-4.0.1 ===> Overriding tools for ppl-1.1nb4 ===> Extracting for ppl-1.1nb4 ===> Patching for ppl-1.1nb4 => Applying pkgsrc patches for ppl-1.1nb4 ===> Creating toolchain wrappers for ppl-1.1nb4 ===> Configuring for ppl-1.1nb4 => 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 configure: WARNING: unrecognized options: --with-gmp-prefix checking build system type... x86_64-unknown-freebsd11 checking host system type... x86_64-unknown-freebsd11 checking for a BSD-compatible install... /usr/bin/install -c -o pbulk -g users 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 whether make supports nested variables... yes checking whether UID '1004' is supported by ustar format... yes checking whether GID '1003' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking for x86_64-unknown-freebsd11-gcc... clang 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 clang accepts -g... yes checking for clang option to accept ISO C89... none needed checking whether clang understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of clang... gcc3 checking whether we are actually using the Intel C compiler... no checking whether we are actually using clang... yes checking whether we are actually using llvm-gcc... no checking whether we are using the GNU C++ compiler... yes checking whether clang++ accepts -g... yes checking dependency style of clang++... gcc3 checking whether we are actually using the Intel C++ compiler... no checking whether we are actually using clang++... yes checking whether we are actually using llvm-g++... 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... clang++ -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 configure: WARNING: CANNOT RELY ON DIRECTED ROUNDING: *** DISABLED ALL ABSTRACTIONS BASED ON MACHINE FLOATING-POINT NUMBERS. *** A compiler has been detected that does not provide support for *** -frounding-math (or any other option with the same semantics). *** Hence, we cannot rely on floating-point computations to happen *** in agreement with the rounding direction(s) used by the PPL. 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... clang -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... 8 checking size of long long... 8 checking size of size_t... 8 checking size of float... 4 checking size of double... 8 checking size of long double... 16 checking size of int*... 8 checking size of fp... 8 checking for perl... /usr/pkg/bin/perl checking for library containing sqrt... none required 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 the binary format of C++ doubles... IEEE754 Double Precision checking the binary format of C++ long doubles... Intel Double-Extended checking whether std::floor(long double) is buggy... no checking whether the C++ compiler supports zero-length arrays... yes checking whether the IEEE inexact flag is supported in C++... no checking whether the C++ compiler supports __attribute__ ((weak))... yes 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 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... yes checking whether fmal is declared... yes checking whether rintf is declared... yes checking whether rintl is declared... yes 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 the GMP library version 4.1.3 or above... yes checking size of mp_limb_t... 8 checking whether GMP has been compiled with support for exceptions... yes 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 ppl_lcdd program... yes checking whether to build the ppl_lpsol program... yes checking whether to build the ppl_pips program... yes checking whether to build the PPL documentation... 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 x86_64-unknown-freebsd11-ocamlc... no checking for ocamlc... no checking for x86_64-unknown-freebsd11-ocamldep... no checking for ocamldep... no checking for x86_64-unknown-freebsd11-ocamlmktop... no checking for ocamlmktop... no checking for x86_64-unknown-freebsd11-ocamlmklib... no checking for ocamlmklib... no checking for x86_64-unknown-freebsd11-ocamldoc... no checking for ocamldoc... no checking for x86_64-unknown-freebsd11-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 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... printf checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for ld used by clang... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm checking the name lister (/usr/bin/nm) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... (cached) 262144 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... no checking how to convert x86_64-unknown-freebsd11 file names to x86_64-unknown-freebsd11 format... func_convert_file_noop checking how to convert x86_64-unknown-freebsd11 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for x86_64-unknown-freebsd11-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for x86_64-unknown-freebsd11-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-unknown-freebsd11-ar... no checking for ar... ar checking for archiver @FILE support... no checking for x86_64-unknown-freebsd11-strip... no checking for strip... strip checking for x86_64-unknown-freebsd11-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm output from clang object... ok checking for sysroot... no checking for x86_64-unknown-freebsd11-mt... no checking for mt... mt checking if mt is a manifest tool... no checking for dlfcn.h... yes checking for objdir... .libs checking if clang supports -fno-rtti -fno-exceptions... yes checking for clang option to produce PIC... -fPIC -DPIC checking if clang PIC flag -fPIC -DPIC works... yes checking if clang static flag -static works... yes checking if clang supports -c -o file.o... rm: conftest*: No such file or directory yes checking if clang supports -c -o file.o... (cached) yes checking whether the clang linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... rm: conftest*: No such file or directory no checking dynamic linker characteristics... freebsd11 ld.so 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... no checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... clang++ -E checking for ld used by clang++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the clang++ linker (/usr/bin/ld) supports shared libraries... yes checking for clang++ option to produce PIC... -fPIC -DPIC checking if clang++ PIC flag -fPIC -DPIC works... yes checking if clang++ static flag -static works... yes checking if clang++ supports -c -o file.o... rm: conftest*: No such file or directory yes checking if clang++ supports -c -o file.o... (cached) yes checking whether the clang++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... freebsd11 ld.so 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... yes checking whether RLIMIT_VMEM is declared... yes checking whether RLIMIT_AS is declared... yes checking whether getrusage is declared... yes checking whether setrlimit is declared... yes checking whether setitimer is declared... yes 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 checking that generated files are newer than configure... done 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/Concrete_Expression/Makefile config.status: creating tests/CO_Tree/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 tests/Watchdog/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 configure: WARNING: unrecognized options: --with-gmp-prefix => Modifying libtool scripts to use pkgsrc libtool => Modifying libtool scripts to use pkgsrc depcomp