sci-mathematics:prover9-2009.11a:20221116-113037.log

sci-mathematics:prover9-2009.11a:20221116-113037.log (text/plain), 38.91 KB, created by Toralf Förster on 2022-11-16 12:10:56 UTC

 * Package:    sci-mathematics/prover9-2009.11a:0
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking LADR-2009-11A.tar.gz to /var/tmp/portage/sci-mathematics/prover9-2009.11a/work
>>> Unpacking LADR-2009-11A-makefile.patch.xz to /var/tmp/portage/sci-mathematics/prover9-2009.11a/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ...
 * Applying LADR-2009-11A-makefile.patch ...
 [ ok ]
 * Applying LADR-2009-11A-manpages.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ...
make -j4 -j1 all 
cd ladr         && make lib XFLAGS+=-D_REENTRANT
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr'
make libladr.la
make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr'
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o paramod.lo paramod.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT paramod.c  -fPIC -DPIC -o .libs/paramod.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT paramod.c -o paramod.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clock.lo clock.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clock.c  -fPIC -DPIC -o .libs/clock.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clock.c -o clock.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o dioph.lo dioph.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT dioph.c  -fPIC -DPIC -o .libs/dioph.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT dioph.c -o dioph.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o flatterm.lo flatterm.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT flatterm.c  -fPIC -DPIC -o .libs/flatterm.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT flatterm.c -o flatterm.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o topform.lo topform.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT topform.c  -fPIC -DPIC -o .libs/topform.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT topform.c -o topform.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o memory.lo memory.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT memory.c  -fPIC -DPIC -o .libs/memory.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT memory.c -o memory.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o listterm.lo listterm.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT listterm.c  -fPIC -DPIC -o .libs/listterm.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT listterm.c -o listterm.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o mindex.lo mindex.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT mindex.c  -fPIC -DPIC -o .libs/mindex.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT mindex.c -o mindex.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o parse.lo parse.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT parse.c  -fPIC -DPIC -o .libs/parse.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT parse.c -o parse.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o strbuf.lo strbuf.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT strbuf.c  -fPIC -DPIC -o .libs/strbuf.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT strbuf.c -o strbuf.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o glist.lo glist.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT glist.c  -fPIC -DPIC -o .libs/glist.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT glist.c -o glist.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o flatdemod.lo flatdemod.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT flatdemod.c  -fPIC -DPIC -o .libs/flatdemod.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT flatdemod.c -o flatdemod.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o backdemod.lo backdemod.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT backdemod.c  -fPIC -DPIC -o .libs/backdemod.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT backdemod.c -o backdemod.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o btu.lo btu.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT btu.c  -fPIC -DPIC -o .libs/btu.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT btu.c -o btu.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o string.lo string.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT string.c  -fPIC -DPIC -o .libs/string.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT string.c -o string.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o discrimb.lo discrimb.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT discrimb.c  -fPIC -DPIC -o .libs/discrimb.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT discrimb.c -o discrimb.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o demod.lo demod.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT demod.c  -fPIC -DPIC -o .libs/demod.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT demod.c -o demod.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o weight.lo weight.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT weight.c  -fPIC -DPIC -o .libs/weight.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT weight.c -o weight.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clause_misc.lo clause_misc.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clause_misc.c  -fPIC -DPIC -o .libs/clause_misc.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clause_misc.c -o clause_misc.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o accanon.lo accanon.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT accanon.c  -fPIC -DPIC -o .libs/accanon.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT accanon.c -o accanon.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o attrib.lo attrib.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT attrib.c  -fPIC -DPIC -o .libs/attrib.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT attrib.c -o attrib.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clauseid.lo clauseid.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clauseid.c  -fPIC -DPIC -o .libs/clauseid.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clauseid.c -o clauseid.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o order.lo order.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT order.c  -fPIC -DPIC -o .libs/order.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT order.c -o order.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o banner.lo banner.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT banner.c  -fPIC -DPIC -o .libs/banner.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT banner.c -o banner.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o ac_redun.lo ac_redun.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ac_redun.c  -fPIC -DPIC -o .libs/ac_redun.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ac_redun.c -o ac_redun.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o maximal.lo maximal.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT maximal.c  -fPIC -DPIC -o .libs/maximal.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT maximal.c -o maximal.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o multiset.lo multiset.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT multiset.c  -fPIC -DPIC -o .libs/multiset.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT multiset.c -o multiset.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clause_eval.lo clause_eval.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clause_eval.c  -fPIC -DPIC -o .libs/clause_eval.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clause_eval.c -o clause_eval.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o cnf.lo cnf.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT cnf.c  -fPIC -DPIC -o .libs/cnf.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT cnf.c -o cnf.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o definitions.lo definitions.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT definitions.c  -fPIC -DPIC -o .libs/definitions.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT definitions.c -o definitions.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o discrimw.lo discrimw.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT discrimw.c  -fPIC -DPIC -o .libs/discrimw.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT discrimw.c -o discrimw.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clausify.lo clausify.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clausify.c  -fPIC -DPIC -o .libs/clausify.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clausify.c -o clausify.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o weight2.lo weight2.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT weight2.c  -fPIC -DPIC -o .libs/weight2.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT weight2.c -o weight2.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o interp.lo interp.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT interp.c  -fPIC -DPIC -o .libs/interp.o
interp.c: In function 'update_profile':
interp.c:2515:13: warning: '__builtin_memset' writing between 404 and 8589934588 bytes into a region of size 400 overflows the destination [-Wstringop-overflow=]
 2515 |     vals[v] = -1;
      |     ~~~~~~~~^~~~
interp.c:2507:7: note: destination object 'vals' of size 400
 2507 |   int vals[MAX_VARS_EVAL];
      |       ^~~~
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT interp.c -o interp.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o basic.lo basic.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT basic.c  -fPIC -DPIC -o .libs/basic.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT basic.c -o basic.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o options.lo options.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT options.c  -fPIC -DPIC -o .libs/options.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT options.c -o options.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o parautil.lo parautil.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT parautil.c  -fPIC -DPIC -o .libs/parautil.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT parautil.c -o parautil.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o just.lo just.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT just.c  -fPIC -DPIC -o .libs/just.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT just.c -o just.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o formula.lo formula.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT formula.c  -fPIC -DPIC -o .libs/formula.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT formula.c -o formula.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o random.lo random.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT random.c  -fPIC -DPIC -o .libs/random.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT random.c -o random.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clauses.lo clauses.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clauses.c  -fPIC -DPIC -o .libs/clauses.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clauses.c -o clauses.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clist.lo clist.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clist.c  -fPIC -DPIC -o .libs/clist.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clist.c -o clist.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o term.lo term.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT term.c  -fPIC -DPIC -o .libs/term.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT term.c -o term.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o hash.lo hash.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT hash.c  -fPIC -DPIC -o .libs/hash.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT hash.c -o hash.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o tlist.lo tlist.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT tlist.c  -fPIC -DPIC -o .libs/tlist.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT tlist.c -o tlist.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o fpalist.lo fpalist.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fpalist.c  -fPIC -DPIC -o .libs/fpalist.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fpalist.c -o fpalist.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o resolve.lo resolve.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT resolve.c  -fPIC -DPIC -o .libs/resolve.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT resolve.c -o resolve.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o fpa.lo fpa.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fpa.c  -fPIC -DPIC -o .libs/fpa.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fpa.c -o fpa.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o di_tree.lo di_tree.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT di_tree.c  -fPIC -DPIC -o .libs/di_tree.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT di_tree.c -o di_tree.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o ivy.lo ivy.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ivy.c  -fPIC -DPIC -o .libs/ivy.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ivy.c -o ivy.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o avltree.lo avltree.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT avltree.c  -fPIC -DPIC -o .libs/avltree.o
avltree.c: In function 'p_avl':
avltree.c:658:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  658 |     printf("%4d\n", (int) p->item);
      |                     ^
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT avltree.c -o avltree.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o pindex.lo pindex.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT pindex.c  -fPIC -DPIC -o .libs/pindex.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT pindex.c -o pindex.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o lindex.lo lindex.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT lindex.c  -fPIC -DPIC -o .libs/lindex.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT lindex.c -o lindex.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o std_options.lo std_options.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT std_options.c  -fPIC -DPIC -o .libs/std_options.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT std_options.c -o std_options.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o ibuffer.lo ibuffer.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ibuffer.c  -fPIC -DPIC -o .libs/ibuffer.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ibuffer.c -o ibuffer.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o features.lo features.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT features.c  -fPIC -DPIC -o .libs/features.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT features.c -o features.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o hints.lo hints.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT hints.c  -fPIC -DPIC -o .libs/hints.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT hints.c -o hints.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o btm.lo btm.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT btm.c  -fPIC -DPIC -o .libs/btm.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT btm.c -o btm.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o ioutil.lo ioutil.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ioutil.c  -fPIC -DPIC -o .libs/ioutil.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT ioutil.c -o ioutil.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o top_input.lo top_input.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT top_input.c  -fPIC -DPIC -o .libs/top_input.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT top_input.c -o top_input.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o clash.lo clash.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clash.c  -fPIC -DPIC -o .libs/clash.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT clash.c -o clash.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o literals.lo literals.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT literals.c  -fPIC -DPIC -o .libs/literals.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT literals.c -o literals.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o symbols.lo symbols.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT symbols.c  -fPIC -DPIC -o .libs/symbols.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT symbols.c -o symbols.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o discrim.lo discrim.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT discrim.c  -fPIC -DPIC -o .libs/discrim.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT discrim.c -o discrim.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o subsume.lo subsume.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT subsume.c  -fPIC -DPIC -o .libs/subsume.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT subsume.c -o subsume.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o fatal.lo fatal.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fatal.c  -fPIC -DPIC -o .libs/fatal.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fatal.c -o fatal.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o tptp_trans.lo tptp_trans.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT tptp_trans.c  -fPIC -DPIC -o .libs/tptp_trans.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT tptp_trans.c -o tptp_trans.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o nonport.lo nonport.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT nonport.c  -fPIC -DPIC -o .libs/nonport.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT nonport.c -o nonport.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o dollar.lo dollar.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT dollar.c  -fPIC -DPIC -o .libs/dollar.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT dollar.c -o dollar.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o compress.lo compress.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT compress.c  -fPIC -DPIC -o .libs/compress.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT compress.c -o compress.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o int_code.lo int_code.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT int_code.c  -fPIC -DPIC -o .libs/int_code.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT int_code.c -o int_code.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o termflag.lo termflag.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT termflag.c  -fPIC -DPIC -o .libs/termflag.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT termflag.c -o termflag.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o unify.lo unify.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT unify.c  -fPIC -DPIC -o .libs/unify.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT unify.c -o unify.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o xproofs.lo xproofs.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT xproofs.c  -fPIC -DPIC -o .libs/xproofs.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT xproofs.c -o xproofs.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o complex.lo complex.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT complex.c  -fPIC -DPIC -o .libs/complex.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT complex.c -o complex.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o fastparse.lo fastparse.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fastparse.c  -fPIC -DPIC -o .libs/fastparse.o
fastparse.c: In function 'fast_read_term':
fastparse.c:186:7: warning: format not a string literal and no format arguments [-Wformat-security]
  186 |       fprintf(stderr, s);
      |       ^~~~~~~
fastparse.c:187:7: warning: format not a string literal and no format arguments [-Wformat-security]
  187 |       fprintf(stdout, s);
      |       ^~~~~~~
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT fastparse.c -o fastparse.o >/dev/null 2>&1
libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT -o termorder.lo termorder.c
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT termorder.c  -fPIC -DPIC -o .libs/termorder.o
libtool: compile:  x86_64-pc-linux-gnu-gcc -c -pipe -march=native -fno-diagnostics-color -O2 -D_REENTRANT termorder.c -o termorder.o >/dev/null 2>&1
libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -shared -rpath /usr/lib -version-info 4:0:0 -o libladr.la order.lo clock.lo nonport.lo fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo glist.lo options.lo symbols.lo avltree.lo term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo termorder.lo parse.lo accanon.lo unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo formula.lo definitions.lo literals.lo topform.lo clist.lo clauseid.lo clauses.lo just.lo cnf.lo clausify.lo parautil.lo pindex.lo compress.lo maximal.lo lindex.lo weight.lo weight2.lo int_code.lo features.lo di_tree.lo fastparse.lo random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo backdemod.lo hints.lo ac_redun.lo xproofs.lo ivy.lo interp.lo std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo -lm
libtool: link: x86_64-pc-linux-gnu-gcc -shared  -fPIC -DPIC  .libs/order.o .libs/clock.o .libs/nonport.o .libs/fatal.o .libs/ibuffer.o .libs/memory.o .libs/hash.o .libs/string.o .libs/strbuf.o .libs/glist.o .libs/options.o .libs/symbols.o .libs/avltree.o .libs/term.o .libs/termflag.o .libs/listterm.o .libs/tlist.o .libs/flatterm.o .libs/multiset.o .libs/termorder.o .libs/parse.o .libs/accanon.o .libs/unify.o .libs/fpalist.o .libs/fpa.o .libs/discrim.o .libs/discrimb.o .libs/discrimw.o .libs/dioph.o .libs/btu.o .libs/btm.o .libs/mindex.o .libs/basic.o .libs/attrib.o .libs/formula.o .libs/definitions.o .libs/literals.o .libs/topform.o .libs/clist.o .libs/clauseid.o .libs/clauses.o .libs/just.o .libs/cnf.o .libs/clausify.o .libs/parautil.o .libs/pindex.o .libs/compress.o .libs/maximal.o .libs/lindex.o .libs/weight.o .libs/weight2.o .libs/int_code.o .libs/features.o .libs/di_tree.o .libs/fastparse.o .libs/random.o .libs/subsume.o .libs/clause_misc.o .libs/clause_eval.o .libs/complex.o .libs/dollar.o .libs/flatdemod.o .libs/demod.o .libs/clash.o .libs/resolve.o .libs/paramod.o .libs/backdemod.o .libs/hints.o .libs/ac_redun.o .libs/xproofs.o .libs/ivy.o .libs/interp.o .libs/std_options.o .libs/banner.o .libs/ioutil.o .libs/tptp_trans.o .libs/top_input.o   -lm    -Wl,-soname -Wl,libladr.so.4 -o .libs/libladr.so.4.0.0
libtool: link: (cd ".libs" && rm -f "libladr.so.4" && ln -s "libladr.so.4.0.0" "libladr.so.4")
libtool: link: (cd ".libs" && rm -f "libladr.so" && ln -s "libladr.so.4.0.0" "libladr.so")
libtool: link: ( cd ".libs" && rm -f "libladr.la" && ln -s "../libladr.la" "libladr.la" )
make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr'
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr'
cd mace4.src    && make all
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src'
libtool --tag=CC --mode=install /bin/cp mace4 `pwd`/../bin
libtool: install: /bin/cp mace4 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src/../bin/mace4
/bin/cp: cannot stat 'mace4': No such file or directory
make[1]: *** [Makefile:47: install] Error 1 shuffle=3017164869
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src'
make: *** [Makefile:6: all] Error 2 shuffle=3017164869
 * ERROR: sci-mathematics/prover9-2009.11a::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/prover9-2009.11a::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/prover9-2009.11a::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:prover9-2009.11a:20221116-113037.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A'
 * S: '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/'