Found local metadata for ppl-1.2.p1 Using cached file /tmp/stumpcl2/sage/upstream/ppl-1.2.tar.bz2 ppl-1.2.p1 ==================================================== Setting up build directory for ppl-1.2.p1 Finished extraction Applying patches from ../patches... Applying ../patches/clang5-support.patch patching file src/Determinate_inlines.hh patching file src/OR_Matrix_inlines.hh Applying ../patches/cygwin-weak-symbols.patch patching file src/assertions.hh **************************************************** Host system: Linux dlp762 2.6.32-754.10.1.el6.x86_64 #1 SMP Thu Nov 29 15:44:01 EST 2018 x86_64 x86_64 x86_64 GNU/Linux **************************************************** C compiler: gcc C compiler version: Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/net/dlp762/share/application-software/Gcc/bin/../libexec/gcc/x86_64-pc-linux-gnu/7.3.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc-7.3.0/configure --disable-multilib --exec-prefix=/usr/local/Gcc --prefix=/usr/local/Gcc Thread model: posix gcc version 7.3.0 (GCC) **************************************************** Package 'ppl' is currently not installed No legacy uninstaller found for 'ppl'; nothing to do Configuring ppl-1.2.p1 checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking whether UID '131670' is supported by ustar format... yes checking whether GID '15301' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking for 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 whether gcc understands -c and -o together... yes 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 actually using clang... no checking whether we are actually using llvm-gcc... no checking whether we are using the GNU C++ compiler... yes checking whether g++ -std=gnu++11 accepts -g... yes checking dependency style of g++ -std=gnu++11... gcc3 checking whether we are actually using the Intel C++ compiler... no checking whether we are actually using clang++... no checking whether we are actually using llvm-g++... no checking for grep that handles long lines and -e... /bin/grep checking for fgrep... /bin/grep -F checking for egrep... /bin/grep -E checking for a sed that does not truncate output... /bin/sed checking how to run the C++ preprocessor... g++ -std=gnu++11 -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... no 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... 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/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... no checking ieeefp.h presence... no checking for ieeefp.h... no 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... yes 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 how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for ld used by gcc... ld checking if the linker (ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1966080 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop checking for ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for mt... no checking if : is a manifest tool... no 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... no checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux 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... no checking for dlopen in -ldl... yes checking whether a program can dlopen itself... yes checking whether a statically linked program can dlopen itself... yes checking whether stripping libraries is possible... yes 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... g++ -std=gnu++11 -E checking for ld used by g++ -std=gnu++11... ld -m elf_x86_64 checking if the linker (ld -m elf_x86_64) is GNU ld... yes checking whether the g++ -std=gnu++11 linker (ld -m elf_x86_64) supports shared libraries... yes checking for g++ -std=gnu++11 option to produce PIC... -fPIC -DPIC checking if g++ -std=gnu++11 PIC flag -fPIC -DPIC works... yes checking if g++ -std=gnu++11 static flag -static works... no checking if g++ -std=gnu++11 supports -c -o file.o... yes checking if g++ -std=gnu++11 supports -c -o file.o... (cached) yes checking whether the g++ -std=gnu++11 linker (ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate configure: creating ./config.lt config.lt: creating libtool 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. ******************************************************************************** Error configuring ppl-1.2.p1 See the file /tmp/stumpcl2/sage/local/var/tmp/sage/build/ppl-1.2.p1/src/config.log for details. ******************************************************************************** Error configuring PPL with both C and C++ interfaces, trying again with only the C++ interface. Configuring ppl-1.2.p1 checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking whether UID '131670' is supported by ustar format... yes checking whether GID '15301' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking for 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 whether gcc understands -c and -o together... yes 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 actually using clang... no checking whether we are actually using llvm-gcc... no checking whether we are using the GNU C++ compiler... yes checking whether g++ -std=gnu++11 accepts -g... yes checking dependency style of g++ -std=gnu++11... gcc3 checking whether we are actually using the Intel C++ compiler... no checking whether we are actually using clang++... no checking whether we are actually using llvm-g++... no checking for grep that handles long lines and -e... /bin/grep checking for fgrep... /bin/grep -F checking for egrep... /bin/grep -E checking for a sed that does not truncate output... /bin/sed checking how to run the C++ preprocessor... g++ -std=gnu++11 -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... no 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... 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/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... no checking ieeefp.h presence... no checking for ieeefp.h... no 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... yes 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 how to print strings... printf checking for a sed that does not truncate output... (cached) /bin/sed checking for ld used by gcc... ld checking if the linker (ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1966080 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop checking for ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for mt... no checking if : is a manifest tool... no 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... no checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux 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... no checking for dlopen in -ldl... yes checking whether a program can dlopen itself... yes checking whether a statically linked program can dlopen itself... yes checking whether stripping libraries is possible... yes 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... g++ -std=gnu++11 -E checking for ld used by g++ -std=gnu++11... ld -m elf_x86_64 checking if the linker (ld -m elf_x86_64) is GNU ld... yes checking whether the g++ -std=gnu++11 linker (ld -m elf_x86_64) supports shared libraries... yes checking for g++ -std=gnu++11 option to produce PIC... -fPIC -DPIC checking if g++ -std=gnu++11 PIC flag -fPIC -DPIC works... yes checking if g++ -std=gnu++11 static flag -static works... no checking if g++ -std=gnu++11 supports -c -o file.o... yes checking if g++ -std=gnu++11 supports -c -o file.o... (cached) yes checking whether the g++ -std=gnu++11 linker (ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate configure: creating ./config.lt config.lt: creating libtool 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. ******************************************************************************** Error configuring ppl-1.2.p1 See the file /tmp/stumpcl2/sage/local/var/tmp/sage/build/ppl-1.2.p1/src/config.log for details. ******************************************************************************** real 0m21.319s user 0m11.601s sys 0m7.704s ************************************************************************ Error installing package ppl-1.2.p1 ************************************************************************ Please email sage-devel (http://groups.google.com/group/sage-devel) explaining the problem and including the log file /tmp/stumpcl2/sage/logs/pkgs/ppl-1.2.p1.log Describe your computer, operating system, etc. If you want to try to fix the problem yourself, *don't* just cd to /tmp/stumpcl2/sage/local/var/tmp/sage/build/ppl-1.2.p1 and type 'make' or whatever is appropriate. Instead, the following commands setup all environment variables correctly and load a subshell for you to debug the error: (cd '/tmp/stumpcl2/sage/local/var/tmp/sage/build/ppl-1.2.p1' && '/tmp/stumpcl2/sage/sage' --sh) When you are done debugging, you can type "exit" to leave the subshell. ************************************************************************