sci-mathematics:kissat-3.0.0:20230214-003133.log

sci-mathematics:kissat-3.0.0:20230214-003133.log (text/plain), 22.27 KB, created by Toralf Förster on 2023-02-14 08:51:26 UTC

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

>>> Unpacking source...
>>> Unpacking kissat-3.0.0.tar.gz to /var/tmp/portage/sci-mathematics/kissat-3.0.0/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/kissat-3.0.0/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/kissat-3.0.0/work/kissat-rel-3.0.0 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/kissat-3.0.0/work/kissat-rel-3.0.0 ...
configure: new build directory 'build'
configure: assuming GCC version 20230121 uses C99 by default
configure: compiler 'x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0  -W -O -DNDEBUG -DSTATISTICS'
configure: linker 'x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0' (no additional options)
configure: using default 'ar' (no cross compilation)
configure: no 'tissat' binary generated (without '--test')
configure: no 'libkissat.so' shared library generated (without '-shared')
configure: adding 'kitten' binary to default makefile goal too
configure: linking src/makefile
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/kissat-3.0.0/work/kissat-rel-3.0.0 ...
make -j4 AR=x86_64-pc-linux-gnu-ar 
make -C "/var/tmp/portage/sci-mathematics/kissat-3.0.0/work/kissat-rel-3.0.0/build"
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/kissat-3.0.0/work/kissat-rel-3.0.0/build'
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/allocate.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/analyze.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/ands.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/arena.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/assign.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/averages.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/backbone.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/backtrack.c
../scripts/generate-build-header.sh > build.h
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/bump.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/check.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/clause.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/collect.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/colors.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/compact.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/config.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/decide.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/deduce.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/definition.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/dense.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/dump.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/eliminate.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/equivalences.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/error.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/extend.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/file.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/flags.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/format.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/forward.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/gates.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/heap.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/ifthenelse.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/import.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/internal.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/kimits.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/kitten.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/learn.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/logging.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/minimize.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/mode.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/options.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/phases.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/print.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/probe.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/profile.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/promote.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/proof.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/propbeyond.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/propdense.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/proprobe.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/propsearch.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/queue.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/reduce.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/reluctant.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/rephase.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/report.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/resize.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/resolve.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/resources.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/restart.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/search.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/shrink.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/smooth.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/sort.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/stack.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/statistics.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/strengthen.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/substitute.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/sweep.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/terminate.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/trail.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/utilities.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/vector.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/vivify.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/walk.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/warmup.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/watch.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/weaken.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/main.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/application.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/handle.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/parse.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -c ../src/witness.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -pipe -march=native -fno-diagnostics-color -O2 -DSTAND_ALONE_KITTEN -o kitten ../src/kitten.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -W -O -DNDEBUG -DSTATISTICS -I../build -c ../src/build.c
x86_64-pc-linux-gnu-ar rc libkissat.a allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o clause.o collect.o colors.o compact.o config.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o learn.o logging.o minimize.o mode.o options.o phases.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o proprobe.o propsearch.o queue.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o sweep.o terminate.o trail.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -o kissat main.o application.o handle.o parse.o witness.o libkissat.a -lm
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/kissat-3.0.0/work/kissat-rel-3.0.0/build'
>>> Source compiled.
>>> Test phase [not enabled]: sci-mathematics/kissat-3.0.0

>>> Install sci-mathematics/kissat-3.0.0 into /var/tmp/portage/sci-mathematics/kissat-3.0.0/image
>>> Completed installing sci-mathematics/kissat-3.0.0 into /var/tmp/portage/sci-mathematics/kissat-3.0.0/image

 * Final size of build directory: 5020 KiB (4.9 MiB)
 * Final size of installed tree:   984 KiB

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/lib64/libkissat.a
   /usr/bin/kissat
   /usr/bin/kitten
 * checking 6 files for package collisions
 * This package will overwrite one or more files that may belong to other
 * packages (see list below). You can use a command such as `portageq
 * owners / <filename>` to identify the installed package that owns a
 * file. If portageq reports that only one package owns a file then do
 * NOT file a bug report. A bug report is only useful if it identifies at
 * least two or more packages that are known to install the same file(s).
 * If a collision occurs and you can not explain where the file came from
 * then you should simply ignore the collision since there is not enough
 * information to determine if a real problem exists. Please do NOT file
 * a bug report at https://bugs.gentoo.org/ unless you report exactly
 * which two packages install the same file(s). See
 * https://wiki.gentoo.org/wiki/Knowledge_Base:Blockers for tips on how
 * to solve the problem. And once again, please do NOT file a bug report
 * unless you have completely understood the above message.
 * 
 * Detected file collision(s):
 * 
 * 	/usr/bin/kitten
 * 
 * Searching all installed packages for file collisions...
 * 
 * Press Ctrl-C to Stop
 * 
 * x11-terms/kitty-0.27.1:0::gentoo
 * 	/usr/bin/kitten
 * 
 * Package 'sci-mathematics/kissat-3.0.0' NOT merged due to file
 * collisions. If necessary, refer to your elog messages for the whole
 * content of the above message.