sci-mathematics:verit-2021.06.2:20211226-212711.log

sci-mathematics:verit-2021.06.2:20211226-212711.log (text/plain), 44.32 KB, created by Toralf Förster on 2021-12-27 09:27:49 UTC

 * Package:    sci-mathematics/verit-2021.06.2
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_musl kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking verit-2021.06.2-rmx.tar.gz to /var/tmp/portage/sci-mathematics/verit-2021.06.2/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/verit-2021.06.2/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx ...
./configure --prefix=/usr --build=x86_64-gentoo-linux-musl --host=x86_64-gentoo-linux-musl --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --datarootdir=/usr/share --disable-dependency-tracking --disable-silent-rules --disable-static --docdir=/usr/share/doc/verit-2021.06.2 --htmldir=/usr/share/doc/verit-2021.06.2/html --libdir=/usr/lib
checking for a BSD-compatible install... /usr/lib/portage/python3.9/ebuild-helpers/xattr/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether make supports nested variables... (cached) yes
checking for x86_64-gentoo-linux-musl-gcc... x86_64-gentoo-linux-musl-gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether x86_64-gentoo-linux-musl-gcc accepts -g... yes
checking for x86_64-gentoo-linux-musl-gcc option to accept ISO C89... none needed
checking whether x86_64-gentoo-linux-musl-gcc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of x86_64-gentoo-linux-musl-gcc... none
checking for flex... flex
checking lex output file root... lex.yy
checking lex library... -lfl
checking whether yytext is a pointer... yes
checking for gawk... (cached) gawk
checking for bison... bison -y
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking if bison is the parser generator... yes
checking for sed... /bin/sed
checking for __gmpz_init in -lgmp... yes
checking for setitimer... yes
checking for sigaction... yes
checking for library containing sqrt... none required
checking how to run the C preprocessor... x86_64-gentoo-linux-musl-gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking limits.h usability... yes
checking limits.h presence... yes
checking for limits.h... yes
checking stddef.h usability... yes
checking stddef.h presence... yes
checking for stddef.h... yes
checking for stdint.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking sys/resource.h usability... yes
checking sys/resource.h presence... yes
checking for sys/resource.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking for unistd.h... (cached) yes
checking windows.h usability... no
checking windows.h presence... no
checking for windows.h... no
checking for stdbool.h that conforms to C99... yes
checking for _Bool... yes
checking for inline... inline
checking for int32_t... yes
checking for size_t... yes
checking for uint32_t... yes
checking for memmove... yes
checking for memset... yes
checking for mkdir... yes
checking for pow... yes
checking for strchr... yes
checking for strdup... yes
checking for strstr... yes
checking for strtol... yes
configure: Setting up compiler flags
checking whether C compiler accepts -finline-limit=1000000... yes
checking whether C compiler accepts -flto... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating test/Makefile
config.status: creating src/config.h
config.status: executing depfiles commands


Configuration summary
CC = x86_64-gentoo-linux-musl-gcc
CFLAGS = -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto
CPPLAGS =  -DNDEBUG
YFLAGS = 
LDFLAGS = -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
LIBS = -lgmp 
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx ...
make -j4 
make  all-am
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx'
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/parsers/smtlib2/veriT-smtfun.o `test -f 'src/parsers/smtlib2/smtfun.c' || echo './'`src/parsers/smtlib2/smtfun.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-response.o `test -f 'src/response.c' || echo './'`src/response.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-undo.o `test -f 'src/undo.c' || echo './'`src/undo.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-veriT.o `test -f 'src/veriT.c' || echo './'`src/veriT.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-veriT-state.o `test -f 'src/veriT-state.c' || echo './'`src/veriT-state.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-main.o `test -f 'src/main.c' || echo './'`src/main.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -DSAT_STANDALONE -I./src -I./src  -DNDEBUG   -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/SAT/veriT_SAT-veriT-SAT.o `test -f 'src/SAT/veriT-SAT.c' || echo './'`src/SAT/veriT-SAT.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-LA-hw.o `test -f 'src/arith/LA-hw.c' || echo './'`src/arith/LA-hw.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-LA-mp.o `test -f 'src/arith/LA-mp.c' || echo './'`src/arith/LA-mp.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-simplex-hw.o `test -f 'src/arith/simplex-hw.c' || echo './'`src/arith/simplex-hw.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-simplex-mp.o `test -f 'src/arith/simplex-mp.c' || echo './'`src/arith/simplex-mp.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/parsers/smtlib2/veriT-smtsyn.o `test -f 'src/parsers/smtlib2/smtsyn.c' || echo './'`src/parsers/smtlib2/smtsyn.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/parsers/smtlib2/veriT-smtlex.o `test -f 'src/parsers/smtlib2/smtlex.c' || echo './'`src/parsers/smtlib2/smtlex.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-eq-store.o `test -f 'src/arith/eq-store.c' || echo './'`src/arith/eq-store.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-LA.o `test -f 'src/arith/LA.c' || echo './'`src/arith/LA.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-LA-pre.o `test -f 'src/arith/LA-pre.c' || echo './'`src/arith/LA-pre.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-numbers-hw.o `test -f 'src/arith/numbers-hw.c' || echo './'`src/arith/numbers-hw.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-numbers-mp.o `test -f 'src/arith/numbers-mp.c' || echo './'`src/arith/numbers-mp.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-simplex.o `test -f 'src/arith/simplex.c' || echo './'`src/arith/simplex.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/arith/veriT-totality.o `test -f 'src/arith/totality.c' || echo './'`src/arith/totality.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/bool/veriT-bool.o `test -f 'src/bool/bool.c' || echo './'`src/bool/bool.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/bool/veriT-clause.o `test -f 'src/bool/clause.c' || echo './'`src/bool/clause.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/bool/veriT-cnf.o `test -f 'src/bool/cnf.c' || echo './'`src/bool/cnf.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/bool/veriT-literal.o `test -f 'src/bool/literal.c' || echo './'`src/bool/literal.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-complete.o `test -f 'src/complete.c' || echo './'`src/complete.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/congruence/veriT-congruence.o `test -f 'src/congruence/congruence.c' || echo './'`src/congruence/congruence.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/veriT-hint.o `test -f 'src/hint.c' || echo './'`src/hint.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-ccfv-bckt.o `test -f 'src/instantiation/ccfv-bckt.c' || echo './'`src/instantiation/ccfv-bckt.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-ccfv.o `test -f 'src/instantiation/ccfv.c' || echo './'`src/instantiation/ccfv.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-ccfv-constr.o `test -f 'src/instantiation/ccfv-constr.c' || echo './'`src/instantiation/ccfv-constr.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-ccfv-mod.o `test -f 'src/instantiation/ccfv-mod.c' || echo './'`src/instantiation/ccfv-mod.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-discrimination-tree.o `test -f 'src/instantiation/discrimination-tree.c' || echo './'`src/instantiation/discrimination-tree.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-free-vars.o `test -f 'src/instantiation/free-vars.c' || echo './'`src/instantiation/free-vars.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-create.o `test -f 'src/instantiation/inst-create.c' || echo './'`src/instantiation/inst-create.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-del.o `test -f 'src/instantiation/inst-del.c' || echo './'`src/instantiation/inst-del.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-enum.o `test -f 'src/instantiation/inst-enum.c' || echo './'`src/instantiation/inst-enum.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-index.o `test -f 'src/instantiation/inst-index.c' || echo './'`src/instantiation/inst-index.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-man.o `test -f 'src/instantiation/inst-man.c' || echo './'`src/instantiation/inst-man.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-pre.o `test -f 'src/instantiation/inst-pre.c' || echo './'`src/instantiation/inst-pre.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-symbs.o `test -f 'src/instantiation/inst-symbs.c' || echo './'`src/instantiation/inst-symbs.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-trigger.o `test -f 'src/instantiation/inst-trigger.c' || echo './'`src/instantiation/inst-trigger.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-inst-trigger-selection.o `test -f 'src/instantiation/inst-trigger-selection.c' || echo './'`src/instantiation/inst-trigger-selection.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-ujobs.o `test -f 'src/instantiation/ujobs.c' || echo './'`src/instantiation/ujobs.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-unify.o `test -f 'src/instantiation/unify.c' || echo './'`src/instantiation/unify.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/instantiation/veriT-syntactic-unify.o `test -f 'src/instantiation/syntactic-unify.c' || echo './'`src/instantiation/syntactic-unify.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/parsers/dimacs/veriT-dimacs.o `test -f 'src/parsers/dimacs/dimacs.c' || echo './'`src/parsers/dimacs/dimacs.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-bclauses.o `test -f 'src/pre/bclauses.c' || echo './'`src/pre/bclauses.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-bfun-elim.o `test -f 'src/pre/bfun-elim.c' || echo './'`src/pre/bfun-elim.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-binder-rename.o `test -f 'src/pre/binder-rename.c' || echo './'`src/pre/binder-rename.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-connectives.o `test -f 'src/pre/connectives.c' || echo './'`src/pre/connectives.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-distinct-elim.o `test -f 'src/pre/distinct-elim.c' || echo './'`src/pre/distinct-elim.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-fix-trigger.o `test -f 'src/pre/fix-trigger.c' || echo './'`src/pre/fix-trigger.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-HOL.o `test -f 'src/pre/HOL.c' || echo './'`src/pre/HOL.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-ite-elim.o `test -f 'src/pre/ite-elim.c' || echo './'`src/pre/ite-elim.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-let-elim.o `test -f 'src/pre/let-elim.c' || echo './'`src/pre/let-elim.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-nary-elim.o `test -f 'src/pre/nary-elim.c' || echo './'`src/pre/nary-elim.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-pm.o `test -f 'src/pre/pm.c' || echo './'`src/pre/pm.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-pre.o `test -f 'src/pre/pre.c' || echo './'`src/pre/pre.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-qnt-tidy.o `test -f 'src/pre/qnt-tidy.c' || echo './'`src/pre/qnt-tidy.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-qnt-trigger.o `test -f 'src/pre/qnt-trigger.c' || echo './'`src/pre/qnt-trigger.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-rare-symb.o `test -f 'src/pre/rare-symb.c' || echo './'`src/pre/rare-symb.c
src/pre/pre.c:655:43: warning: argument 2 of type 'TDAG *' {aka 'unsigned int *'} declared as a pointer [-Wvla-parameter]
  655 | pre_process_array_proof(unsigned n, TDAG* Psrc, Tproof* Pproof)
      |                                     ~~~~~~^~~~
In file included from src/pre/pre.c:29:
./src/pre/pre.h:51:47: note: previously declared as a variable length array 'TDAG[n]' {aka 'unsigned int[n]'}
   51 | void pre_process_array_proof(unsigned n, TDAG Psrc[n], Tproof Pproof[n]);
      |                                          ~~~~~^~~~~~~
src/pre/pre.c:655:57: warning: argument 3 of type 'Tproof *' {aka 'unsigned int *'} declared as a pointer [-Wvla-parameter]
  655 | pre_process_array_proof(unsigned n, TDAG* Psrc, Tproof* Pproof)
      |                                                 ~~~~~~~~^~~~~~
In file included from src/pre/pre.c:29:
./src/pre/pre.h:51:63: note: previously declared as a variable length array 'Tproof[n]' {aka 'unsigned int[n]'}
   51 | id pre_process_array_proof(unsigned n, TDAG Psrc[n], Tproof Pproof[n]);
      |                                                      ~~~~~~~^~~~~~~~~

x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-simp-formula-sat.o `test -f 'src/pre/simp-formula-sat.c' || echo './'`src/pre/simp-formula-sat.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-simplify-AC.o `test -f 'src/pre/simplify-AC.c' || echo './'`src/pre/simplify-AC.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-simplify.o `test -f 'src/pre/simplify.c' || echo './'`src/pre/simplify.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-simp-node-proof.o `test -f 'src/pre/simp-node-proof.c' || echo './'`src/pre/simp-node-proof.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-simp-sym.o `test -f 'src/pre/simp-sym.c' || echo './'`src/pre/simp-sym.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-simp-unit.o `test -f 'src/pre/simp-unit.c' || echo './'`src/pre/simp-unit.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-skolem.o `test -f 'src/pre/skolem.c' || echo './'`src/pre/skolem.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/pre/veriT-qsimp-by-unification.o `test -f 'src/pre/qsimp-by-unification.c' || echo './'`src/pre/qsimp-by-unification.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof.o `test -f 'src/proof/proof.c' || echo './'`src/proof/proof.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-checking.o `test -f 'src/proof/proof-checking.c' || echo './'`src/proof/proof-checking.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-id.o `test -f 'src/proof/proof-id.c' || echo './'`src/proof/proof-id.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-lemma-hash.o `test -f 'src/proof/proof-lemma-hash.c' || echo './'`src/proof/proof-lemma-hash.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-output.o `test -f 'src/proof/proof-output.c' || echo './'`src/proof/proof-output.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-rules.o `test -f 'src/proof/proof-rules.c' || echo './'`src/proof/proof-rules.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-rules-tautologies.o `test -f 'src/proof/proof-rules-tautologies.c' || echo './'`src/proof/proof-rules-tautologies.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-sat-solver.o `test -f 'src/proof/proof-sat-solver.c' || echo './'`src/proof/proof-sat-solver.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-step.o `test -f 'src/proof/proof-step.c' || echo './'`src/proof/proof-step.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-step-hash.o `test -f 'src/proof/proof-step-hash.c' || echo './'`src/proof/proof-step-hash.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-step-table.o `test -f 'src/proof/proof-step-table.c' || echo './'`src/proof/proof-step-table.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-subproof.o `test -f 'src/proof/proof-subproof.c' || echo './'`src/proof/proof-subproof.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-type.o `test -f 'src/proof/proof-type.c' || echo './'`src/proof/proof-type.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-unsat-core.o `test -f 'src/proof/proof-unsat-core.c' || echo './'`src/proof/proof-unsat-core.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/proof/veriT-proof-print.o `test -f 'src/proof/proof-print.c' || echo './'`src/proof/proof-print.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-context-handling.o `test -f 'src/symbolic/context-handling.c' || echo './'`src/symbolic/context-handling.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-context-recursion.o `test -f 'src/symbolic/context-recursion.c' || echo './'`src/symbolic/context-recursion.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-context-recursion-proof.o `test -f 'src/symbolic/context-recursion-proof.c' || echo './'`src/symbolic/context-recursion-proof.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-arith.o `test -f 'src/symbolic/DAG-arith.c' || echo './'`src/symbolic/DAG-arith.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG.o `test -f 'src/symbolic/DAG.c' || echo './'`src/symbolic/DAG.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-flag.o `test -f 'src/symbolic/DAG-flag.c' || echo './'`src/symbolic/DAG-flag.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-print.o `test -f 'src/symbolic/DAG-print.c' || echo './'`src/symbolic/DAG-print.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-prop.o `test -f 'src/symbolic/DAG-prop.c' || echo './'`src/symbolic/DAG-prop.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-smtlib.o `test -f 'src/symbolic/DAG-smtlib.c' || echo './'`src/symbolic/DAG-smtlib.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-sort.o `test -f 'src/symbolic/DAG-sort.c' || echo './'`src/symbolic/DAG-sort.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-sort-pm.o `test -f 'src/symbolic/DAG-sort-pm.c' || echo './'`src/symbolic/DAG-sort-pm.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-stat.o `test -f 'src/symbolic/DAG-stat.c' || echo './'`src/symbolic/DAG-stat.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-subst.o `test -f 'src/symbolic/DAG-subst.c' || echo './'`src/symbolic/DAG-subst.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-symb.o `test -f 'src/symbolic/DAG-symb.c' || echo './'`src/symbolic/DAG-symb.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-symb-DAG.o `test -f 'src/symbolic/DAG-symb-DAG.c' || echo './'`src/symbolic/DAG-symb-DAG.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-DAG-tmp.o `test -f 'src/symbolic/DAG-tmp.c' || echo './'`src/symbolic/DAG-tmp.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-dbg-trigger.o `test -f 'src/symbolic/dbg-trigger.c' || echo './'`src/symbolic/dbg-trigger.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-polarities.o `test -f 'src/symbolic/polarities.c' || echo './'`src/symbolic/polarities.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-qnt-utils.o `test -f 'src/symbolic/qnt-utils.c' || echo './'`src/symbolic/qnt-utils.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/symbolic/veriT-recursion.o `test -f 'src/symbolic/recursion.c' || echo './'`src/symbolic/recursion.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-bitset.o `test -f 'src/utils/bitset.c' || echo './'`src/utils/bitset.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-dll.o `test -f 'src/utils/dll.c' || echo './'`src/utils/dll.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-general.o `test -f 'src/utils/general.c' || echo './'`src/utils/general.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-hash.o `test -f 'src/utils/hash.c' || echo './'`src/utils/hash.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-hashmap.o `test -f 'src/utils/hashmap.c' || echo './'`src/utils/hashmap.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-h-util.o `test -f 'src/utils/h-util.c' || echo './'`src/utils/h-util.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-list.o `test -f 'src/utils/list.c' || echo './'`src/utils/list.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-nonce.o `test -f 'src/utils/nonce.c' || echo './'`src/utils/nonce.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-options.o `test -f 'src/utils/options.c' || echo './'`src/utils/options.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-statistics.o `test -f 'src/utils/statistics.c' || echo './'`src/utils/statistics.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-sys.o `test -f 'src/utils/sys.c' || echo './'`src/utils/sys.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-table.o `test -f 'src/utils/table.c' || echo './'`src/utils/table.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-veriT-qsort.o `test -f 'src/utils/veriT-qsort.c' || echo './'`src/utils/veriT-qsort.c
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I./src   -I./src -I./src  -DNDEBUG  -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-unused-function -O3 -fomit-frame-pointer -finline-limit=1000000 -flto -c -o src/utils/veriT-veriT-signal.o `test -f 'src/utils/veriT-signal.c' || echo './'`src/utils/veriT-signal.c
src/utils/veriT-qsort.c:37:10: fatal error: sys/cdefs.h: No such file or directory
   37 | #include <sys/cdefs.h>
      |          ^~~~~~~~~~~~~
compilation terminated.
make[1]: *** [Makefile:3654: src/utils/veriT-veriT-qsort.o] Error 1
make[1]: *** Waiting for unfinished jobs....
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx'
make: *** [Makefile:1079: all] Error 2
 * ERROR: sci-mathematics/verit-2021.06.2::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/verit-2021.06.2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/verit-2021.06.2::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:verit-2021.06.2:20211226-212711.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/verit-2021.06.2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/verit-2021.06.2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx'
 * S: '/var/tmp/portage/sci-mathematics/verit-2021.06.2/work/verit-2021.06.2-rmx'