sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log

sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log (text/plain), 16.57 KB, created by Toralf Förster on 2023-02-18 08:43:03 UTC

 * Package:    sci-mathematics/btor2tools-1.0.0_pre20220518-r1:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/Boolector/btor2tools/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking btor2tools-1.0.0_pre20220518.tar.gz to /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build"
 * Applying btor2tools-1.0.0_pre20220518-cmake-clfags.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build"
cmake -C /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4
loading initial cache file /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build/gentoo_common_config.cmake
-- The C compiler identification is GNU 13.0.1
-- The CXX compiler identification is GNU 13.0.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/x86_64-pc-linux-gnu-gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/x86_64-pc-linux-gnu-g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Performing Test HAVE_FLAG_W
-- Performing Test HAVE_FLAG_W - Success
-- Configuring with C flag '-W'
-- Configuring with CXX flag '-W'
-- Performing Test HAVE_FLAG_Wall
-- Performing Test HAVE_FLAG_Wall - Success
-- Configuring with C flag '-Wall'
-- Configuring with CXX flag '-Wall'
-- Performing Test HAVE_FLAG_Wextra
-- Performing Test HAVE_FLAG_Wextra - Success
-- Configuring with C flag '-Wextra'
-- Configuring with CXX flag '-Wextra'
-- Performing Test HAVE_FLAG_Wredundant_decls
-- Performing Test HAVE_FLAG_Wredundant_decls - Success
-- Configuring with C flag '-Wredundant-decls'
-- Configuring with CXX flag '-Wredundant-decls'
-- Performing Test HAVE_FLAG_std_gnu99
-- Performing Test HAVE_FLAG_std_gnu99 - Success
-- Configuring with C flag '-std=gnu99'
-- Configuring with CXX flag '-std=gnu++11'
-- <<< Gentoo configuration >>>
Build type      RelWithDebInfo
Install path    /usr
Compiler flags:
C               -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99
C++             -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11
Linker flags:
Executable      -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
Module          -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
Shared          -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0

-- Configuring done
-- Generating done
-- Build files have been written to: /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build"
ninja -v -j4 -l0
[1/14] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsimstate.cpp
[2/14] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsimam.cpp
[3/14] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsimhelpers.cpp
[4/14] /usr/bin/x86_64-pc-linux-gnu-gcc -Dbtor2parser_EXPORTS -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fno-diagnostics-color -MD -MT src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o -MF src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o.d -o src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btor2parser/btor2parser.c
[5/14] : && /usr/bin/x86_64-pc-linux-gnu-gcc -fPIC -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -shared -Wl,-soname,libbtor2parser.so -o lib/libbtor2parser.so src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o   && :
[6/14] /usr/bin/x86_64-pc-linux-gnu-gcc  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsimrng.c
[7/14] /usr/bin/x86_64-pc-linux-gnu-gcc    -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fno-diagnostics-color -MD -MT src/CMakeFiles/catbtor.dir/catbtor.c.o -MF src/CMakeFiles/catbtor.dir/catbtor.c.o.d -o src/CMakeFiles/catbtor.dir/catbtor.c.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/catbtor.c
[8/14] : && /usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99 -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0    -rdynamic src/CMakeFiles/catbtor.dir/catbtor.c.o -o bin/catbtor  -Wl,-rpath,/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build/lib:  lib/libbtor2parser.so && :
[9/14] /usr/bin/x86_64-pc-linux-gnu-g++    -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -MD -MT src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -MF src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o.d -o src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp
FAILED: src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o 
/usr/bin/x86_64-pc-linux-gnu-g++    -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -MD -MT src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -MF src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o.d -o src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:25:8: error: ‘uint32_t’ does not name a type
   25 | static uint32_t s_verbosity = 0;
      |        ^~~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:22:1: note: ‘uint32_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   21 | #include <vector>
  +++ |+#include <cstdint>
   22 | 
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp: In function ‘void split_file(std::string, bool)’:
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:97:7: error: ‘s_verbosity’ was not declared in this scope
   97 |   if (s_verbosity)
      |       ^~~~~~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:103:3: error: ‘uint32_t’ was not declared in this scope
  103 |   uint32_t ndigits = 0;
      |   ^~~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:103:3: note: ‘uint32_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:105:52: error: ‘ndigits’ was not declared in this scope
  105 |   for (size_t i = bad.size(); i > 0; i = i / 10, ++ndigits)
      |                                                    ^~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:112:60: error: ‘ndigits’ was not declared in this scope
  112 |     ss << prefix << "-p" << std::setfill('0') << std::setw(ndigits) << num_prop
      |                                                            ^~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:133:9: error: ‘s_verbosity’ was not declared in this scope
  133 |     if (s_verbosity) std::cout << "Generated " << ss.str() << std::endl;
      |         ^~~~~~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp: In function ‘int main(int, char**)’:
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:147:9: error: ‘s_verbosity’ was not declared in this scope
  147 |       ++s_verbosity;
      |         ^~~~~~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:171:9: error: ‘s_verbosity’ was not declared in this scope
  171 |     if (s_verbosity) std::cout << "Processing " << infile << std::endl;
      |         ^~~~~~~~~~~
[10/14] /usr/bin/x86_64-pc-linux-gnu-gcc  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsimbv.c
[11/14] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsimvcd.cpp
[12/14] /usr/bin/x86_64-pc-linux-gnu-g++  -I/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/.  -pipe -march=native -fno-diagnostics-color -O2 -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -fno-diagnostics-color -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o -c /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsim/btorsim.cpp
ninja: build stopped: subcommand failed.
 * ERROR: sci-mathematics/btor2tools-1.0.0_pre20220518-r1::gentoo failed (compile phase):
 *   ninja -v -j4 -l0 failed
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_compile
 *   environment, line 2244:  Called cmake_src_compile
 *   environment, line 1004:  Called cmake_build
 *   environment, line  973:  Called eninja
 *   environment, line 1428:  Called die
 * The specific snippet of code:
 *       "$@" || die -n "${*} failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/btor2tools-1.0.0_pre20220518-r1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/btor2tools-1.0.0_pre20220518-r1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4_build'
 * S: '/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4'