sci-mathematics:cadical-2.0.0:20250617-211808.log

sci-mathematics:cadical-2.0.0:20250617-211808.log (text/plain), 66.12 KB, created by Toralf Förster on 2025-06-18 07:27:25 UTC

 * Package:    sci-mathematics/cadical-2.0.0:0/2.0.0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/arminbiere/cadical/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking cadical-2.0.0.tar.gz to /var/tmp/portage/sci-mathematics/cadical-2.0.0/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cadical-2.0.0/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0 ...
 * Applying cadical-configure.patch ...
 [ ok ]
 * Applying cadical-makefile-in-respect-ar-2.0.0.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0 ...
configure: making default 'build' directory
configure: building in default '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
configure: root directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0'
configure: source directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src'
configure: compiler supports all required C99/C++11 extensions
configure: compiler configuration supports flexible array members
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build/makefile'
configure: linking '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0 ...
make -O -j4 
make -C "/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build"
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/arena.cpp -o src/arena.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/averages.cpp -o src/averages.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/assume.cpp -o src/assume.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/analyze.cpp -o src/analyze.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/backtrack.cpp -o src/backtrack.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/backward.cpp -o src/backward.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/ccadical.cpp -o src/ccadical.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/bins.cpp -o src/bins.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/block.cpp -o src/block.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/checker.cpp -o src/checker.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/clause.cpp -o src/clause.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/collect.cpp -o src/collect.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/compact.cpp -o src/compact.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/config.cpp -o src/config.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/condition.cpp -o src/condition.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/constrain.cpp -o src/constrain.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/contract.cpp -o src/contract.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/cover.cpp -o src/cover.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/decide.cpp -o src/decide.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/decompose.cpp -o src/decompose.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/deduplicate.cpp -o src/deduplicate.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/drattracer.cpp -o src/drattracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/ema.cpp -o src/ema.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/elim.cpp -o src/elim.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/extend.cpp -o src/extend.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/external.cpp -o src/external.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/external_propagate.cpp -o src/external_propagate.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/flags.cpp -o src/flags.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/file.cpp -o src/file.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/flip.cpp -o src/flip.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/format.cpp -o src/format.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/frattracer.cpp -o src/frattracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/gates.cpp -o src/gates.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/ipasir.cpp -o src/ipasir.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/idruptracer.cpp -o src/idruptracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/instantiate.cpp -o src/instantiate.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/logging.cpp -o src/logging.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/lidruptracer.cpp -o src/lidruptracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/limit.cpp -o src/limit.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/internal.cpp -o src/internal.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/lookahead.cpp -o src/lookahead.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/lratbuilder.cpp -o src/lratbuilder.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/lrattracer.cpp -o src/lrattracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/lratchecker.cpp -o src/lratchecker.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/lucky.cpp -o src/lucky.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/message.cpp -o src/message.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/minimize.cpp -o src/minimize.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/occs.cpp -o src/occs.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/parse.cpp -o src/parse.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/phases.cpp -o src/phases.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/options.cpp -o src/options.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/probe.cpp -o src/probe.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/profile.cpp -o src/profile.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/propagate.cpp -o src/propagate.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/proof.cpp -o src/proof.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/reap.cpp -o src/reap.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/queue.cpp -o src/queue.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/random.cpp -o src/random.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/rephase.cpp -o src/rephase.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/reduce.cpp -o src/reduce.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/report.cpp -o src/report.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/resources.cpp -o src/resources.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/restart.cpp -o src/restart.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/score.cpp -o src/score.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/restore.cpp -o src/restore.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/signal.cpp -o src/signal.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/shrink.cpp -o src/shrink.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/solution.cpp -o src/solution.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/stats.cpp -o src/stats.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/solver.cpp -o src/solver.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/subsume.cpp -o src/subsume.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/terminal.cpp -o src/terminal.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/ternary.cpp -o src/ternary.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/transred.cpp -o src/transred.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/util.cpp -o src/util.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/var.cpp -o src/var.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/veripbtracer.cpp -o src/veripbtracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/vivify.cpp -o src/vivify.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/walk.cpp -o src/walk.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/watch.cpp -o src/watch.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/version.cpp -o src/version.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/cadical.cpp -o src/cadical.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/contrib/craigtracer.cpp -o contrib/craigtracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-ar rc libcadical.a src/analyze.o src/arena.o src/assume.o src/averages.o src/backtrack.o src/backward.o src/bins.o src/block.o src/ccadical.o src/checker.o src/clause.o src/collect.o src/compact.o src/condition.o src/config.o src/constrain.o src/contract.o src/cover.o src/decide.o src/decompose.o src/deduplicate.o src/drattracer.o src/elim.o src/ema.o src/extend.o src/external.o src/external_propagate.o src/file.o src/flags.o src/flip.o src/format.o src/frattracer.o src/gates.o src/idruptracer.o src/instantiate.o src/internal.o src/ipasir.o src/lidruptracer.o src/limit.o src/logging.o src/lookahead.o src/lratbuilder.o src/lratchecker.o src/lrattracer.o src/lucky.o src/message.o src/minimize.o src/occs.o src/options.o src/parse.o src/phases.o src/probe.o src/profile.o src/proof.o src/propagate.o src/queue.o src/random.o src/reap.o src/reduce.o src/rephase.o src/report.o src/resources.o src/restart.o src/restore.o src/score.o src/shrink.o src/signal.o src/solution.o src/solver.o src/stats.o src/subsume.o src/terminal.o src/ternary.o src/transred.o src/util.o src/var.o src/veripbtracer.o src/version.o src/vivify.o src/walk.o src/watch.o contrib/craigtracer.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -c /var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src/mobical.cpp -o src/mobical.o
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -o cadical src/cadical.o -L. -lcadical 
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -Wall -Wextra -DNDEBUG -I../build -I/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/src -o mobical src/mobical.o -L. -lcadical
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cadical-2.0.0/work/cadical-rel-2.0.0/build'
>>> Source compiled.
>>> Test phase [not enabled]: sci-mathematics/cadical-2.0.0

>>> Install sci-mathematics/cadical-2.0.0 into /var/tmp/portage/sci-mathematics/cadical-2.0.0/image
>>> Completed installing sci-mathematics/cadical-2.0.0 into /var/tmp/portage/sci-mathematics/cadical-2.0.0/image

 * Final size of build directory: 27572 KiB (26.9 MiB)
 * Final size of installed tree:  12244 KiB (11.9 MiB)

 * QA Notice: unstripped LTO libs
 *   /usr/lib64/libcadical.a
strip: x86_64-pc-linux-gnu-strip --strip-unneeded -N __gentoo_check_ldflags__ -R .comment -R .GCC.command.line -R .note.gnu.gold-version
   /usr/bin/cadical
   /usr/bin/mobical
   /usr/lib64/libcadical.a
 * checking 8 files for package collisions
>>> Merging sci-mathematics/cadical-2.0.0 to /
--- /usr/
--- /usr/bin/
>>> /usr/bin/cadical
>>> /usr/bin/mobical
--- /usr/lib64/
>>> /usr/lib64/libcadical.a
--- /usr/include/
>>> /usr/include/cadical.hpp
>>> /usr/include/ccadical.h
--- /usr/share/
--- /usr/share/doc/
>>> /usr/share/doc/cadical-2.0.0/
>>> /usr/share/doc/cadical-2.0.0/README.md.bz2
>>> /usr/share/doc/cadical-2.0.0/NEWS.md.bz2
>>> /usr/share/doc/cadical-2.0.0/CONTRIBUTING.md.bz2
>>> sci-mathematics/cadical-2.0.0 merged.
>>> Regenerating /etc/ld.so.cache...