* Package: sci-mathematics/btor2tools-1.0.0_pre20220518-r1:0 * Repository: gentoo * Maintainer: sci-mathematics@gentoo.org * 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 ‘’; did you forget to ‘#include ’? 21 | #include +++ |+#include 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 ‘’; did you forget to ‘#include ’? /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'