* Package: sci-mathematics/opensmt-2.5.2:0/2.5.2 * Repository: gentoo * Maintainer: sci-mathematics@gentoo.org * Upstream: https://github.com/usi-verification-and-security/opensmt/issues/ * USE: abi_x86_64 amd64 elibc_glibc kernel_linux readline * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking opensmt-2.5.2.tar.gz to /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work >>> Preparing source in /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build" * Hardcoded definition(s) removed in CMakeLists.txt: * set(CMAKE_BUILD_TYPE "Release" CACHE STRING "Choose the type of build, op >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build" cmake -C /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DPACKAGE_TESTS=no -DUSE_READLINE=yes -DENABLE_LINE_EDITING=ON -DCMAKE_BUILD_TYPE=Release -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2 loading initial cache file /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build/gentoo_common_config.cmake CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The CXX compiler identification is GNU 14.0.0 -- 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 -- GMP libs: /usr/lib64/libgmp.so /usr/lib64/libgmpxx.so -- GMP include: /usr/include -- Found GMP: /usr/include -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Found BISON: /usr/bin/bison (found suitable version "3.8.2", minimum required is "3.0") -- Found FLEX: /usr/bin/flex (found suitable version "2.6.4", minimum required is "2.6") -- Readline library: /usr/lib64/libreadline.so -- Found Readline: /usr/include You have chosen to build OpenSMT against optional GPL-licensed components (readline). As these libraries are covered under the GPL, so will the resulting binary of OpenSMT. -- <<< Gentoo configuration >>> Build type Release Install path /usr Compiler flags: C C++ -O2 -pipe -march=native -fno-diagnostics-color 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 (0.5s) -- Generating done (0.0s) -- Build files have been written to: /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2 ... * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2" * Build directory (BUILD_DIR): "/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build" ninja -v -j4 -l0 [1/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGCheck.cc.o -MF src/proof/CMakeFiles/proof.dir/PGCheck.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGCheck.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGCheck.cc [2/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGHeuristics.cc.o -MF src/proof/CMakeFiles/proof.dir/PGHeuristics.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGHeuristics.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGHeuristics.cc [3/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGHelp.cc.o -MF src/proof/CMakeFiles/proof.dir/PGHelp.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGHelp.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGHelp.cc [4/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGBuild.cc.o -MF src/proof/CMakeFiles/proof.dir/PGBuild.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGBuild.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGBuild.cc [5/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGPrint.cc.o -MF src/proof/CMakeFiles/proof.dir/PGPrint.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGPrint.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGPrint.cc [6/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGMain.cc.o -MF src/proof/CMakeFiles/proof.dir/PGMain.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGMain.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGMain.cc [7/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGRules.cc.o -MF src/proof/CMakeFiles/proof.dir/PGRules.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGRules.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGRules.cc [8/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/common/CMakeFiles/common.dir/FastRational.cc.o -MF src/common/CMakeFiles/common.dir/FastRational.cc.o.d -o src/common/CMakeFiles/common.dir/FastRational.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common/FastRational.cc [9/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/PGTransformationAlgorithms.cc.o -MF src/proof/CMakeFiles/proof.dir/PGTransformationAlgorithms.cc.o.d -o src/proof/CMakeFiles/proof.dir/PGTransformationAlgorithms.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/PGTransformationAlgorithms.cc [10/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/common/CMakeFiles/common.dir/FlaPartitionMap.cc.o -MF src/common/CMakeFiles/common.dir/FlaPartitionMap.cc.o.d -o src/common/CMakeFiles/common.dir/FlaPartitionMap.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common/FlaPartitionMap.cc [11/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/__/smtsolvers/Proof.cc.o -MF src/proof/CMakeFiles/proof.dir/__/smtsolvers/Proof.cc.o.d -o src/proof/CMakeFiles/proof.dir/__/smtsolvers/Proof.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers/Proof.cc [12/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/common/CMakeFiles/common.dir/PartitionInfo.cc.o -MF src/common/CMakeFiles/common.dir/PartitionInfo.cc.o.d -o src/common/CMakeFiles/common.dir/PartitionInfo.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common/PartitionInfo.cc [13/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/cnfizers/CMakeFiles/cnfizers.dir/TermMapper.cc.o -MF src/cnfizers/CMakeFiles/cnfizers.dir/TermMapper.cc.o.d -o src/cnfizers/CMakeFiles/cnfizers.dir/TermMapper.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers/TermMapper.cc [14/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/proof/CMakeFiles/proof.dir/InterpolationContext.cc.o -MF src/proof/CMakeFiles/proof.dir/InterpolationContext.cc.o.d -o src/proof/CMakeFiles/proof.dir/InterpolationContext.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof/InterpolationContext.cc [15/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o -MF src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o.d -o src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc FAILED: src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o -MF src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o.d -o src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc: In member function ‘SymRef PtStore::lookupSymbol(const char*, const vec&, SymbolMatcher, SRef)’: /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc:105:38: error: ‘any_of’ is not a member of ‘std’ 105 | if (not std::any_of(candidates.begin(), candidates.end(), | ^~~~~~ /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc:152:30: error: ‘remove_if’ is not a member of ‘std’; did you mean ‘remove_cv’? 152 | auto endOfMatches = std::remove_if(candidates.begin(), candidates.end(), | ^~~~~~~~~ | remove_cv /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc:175:30: error: ‘remove_if’ is not a member of ‘std’; did you mean ‘remove_cv’? 175 | auto equalSortEnd = std::remove_if(candidates.begin(), candidates.end(), [this, sort](SymRef sr) { return symstore[sr].rsort() != sort; }); | ^~~~~~~~~ | remove_cv [16/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/cnfizers/CMakeFiles/cnfizers.dir/Cnfizer.cc.o -MF src/cnfizers/CMakeFiles/cnfizers.dir/Cnfizer.cc.o.d -o src/cnfizers/CMakeFiles/cnfizers.dir/Cnfizer.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers/Cnfizer.cc [17/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/common/CMakeFiles/common.dir/VerificationUtils.cc.o -MF src/common/CMakeFiles/common.dir/VerificationUtils.cc.o.d -o src/common/CMakeFiles/common.dir/VerificationUtils.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common/VerificationUtils.cc [18/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/common -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/sorts -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/symbols -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/options -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/api -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/axdiffsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/egraph -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/stpsolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lrasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/liasolver -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/logics -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/smtsolvers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parsers/smt2new -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/simplifiers -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/rewriters -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/proof -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/models -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/itehandler -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/interpolation -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/parallel -O2 -pipe -march=native -fno-diagnostics-color -std=gnu++17 -fPIC -fno-diagnostics-color -MD -MT src/cnfizers/CMakeFiles/cnfizers.dir/Tseitin.cc.o -MF src/cnfizers/CMakeFiles/cnfizers.dir/Tseitin.cc.o.d -o src/cnfizers/CMakeFiles/cnfizers.dir/Tseitin.cc.o -c /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/cnfizers/Tseitin.cc ninja: build stopped: subcommand failed. * ERROR: sci-mathematics/opensmt-2.5.2::gentoo failed (compile phase): * ninja -v -j4 -l0 failed * * Call stack: * ebuild.sh, line 136: Called src_compile * environment, line 2197: Called cmake_src_compile * environment, line 924: Called cmake_build * environment, line 891: Called eninja * environment, line 1358: Called die * The specific snippet of code: * "$@" || die -n "${*} failed" * * If you need support, post the output of `emerge --info '=sci-mathematics/opensmt-2.5.2::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/opensmt-2.5.2::gentoo'`. * The complete build log is located at '/var/log/portage/sci-mathematics:opensmt-2.5.2:20231104-141800.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/opensmt-2.5.2/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/opensmt-2.5.2/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2_build' * S: '/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2'