* Package: sci-mathematics/prover9-2009.11a * Repository: gentoo * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox test 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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o order.lo order.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT order.c -fPIC -DPIC -o .libs/order.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT order.c -o order.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clock.lo clock.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clock.c -fPIC -DPIC -o .libs/clock.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clock.c -o clock.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o nonport.lo nonport.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT nonport.c -fPIC -DPIC -o .libs/nonport.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT nonport.c -o nonport.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o fatal.lo fatal.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fatal.c -fPIC -DPIC -o .libs/fatal.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fatal.c -o fatal.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o ibuffer.lo ibuffer.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ibuffer.c -o ibuffer.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o memory.lo memory.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT memory.c -fPIC -DPIC -o .libs/memory.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT memory.c -o memory.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o hash.lo hash.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT hash.c -o hash.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o string.lo string.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT string.c -fPIC -DPIC -o .libs/string.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT string.c -o string.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o strbuf.lo strbuf.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT strbuf.c -fPIC -DPIC -o .libs/strbuf.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT strbuf.c -o strbuf.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o glist.lo glist.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT glist.c -fPIC -DPIC -o .libs/glist.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT glist.c -o glist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o options.lo options.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT options.c -fPIC -DPIC -o .libs/options.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT options.c -o options.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o symbols.lo symbols.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT symbols.c -fPIC -DPIC -o .libs/symbols.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT symbols.c -o symbols.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o avltree.lo avltree.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wpointer-to-int-cast-Wpointer-to-int-cast]8;;] 658 | printf("%4d\n", (int) p->item); | ^ libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT avltree.c -o avltree.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o term.lo term.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT term.c -fPIC -DPIC -o .libs/term.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT term.c -o term.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o termflag.lo termflag.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT termflag.c -fPIC -DPIC -o .libs/termflag.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT termflag.c -o termflag.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o listterm.lo listterm.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT listterm.c -fPIC -DPIC -o .libs/listterm.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT listterm.c -o listterm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o tlist.lo tlist.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT tlist.c -fPIC -DPIC -o .libs/tlist.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT tlist.c -o tlist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o flatterm.lo flatterm.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT flatterm.c -fPIC -DPIC -o .libs/flatterm.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT flatterm.c -o flatterm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o multiset.lo multiset.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT multiset.c -fPIC -DPIC -o .libs/multiset.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT multiset.c -o multiset.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o termorder.lo termorder.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT termorder.c -fPIC -DPIC -o .libs/termorder.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT termorder.c -o termorder.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o parse.lo parse.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT parse.c -fPIC -DPIC -o .libs/parse.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT parse.c -o parse.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o accanon.lo accanon.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT accanon.c -fPIC -DPIC -o .libs/accanon.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT accanon.c -o accanon.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o unify.lo unify.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT unify.c -fPIC -DPIC -o .libs/unify.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT unify.c -o unify.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o fpalist.lo fpalist.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fpalist.c -fPIC -DPIC -o .libs/fpalist.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fpalist.c -o fpalist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o fpa.lo fpa.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fpa.c -fPIC -DPIC -o .libs/fpa.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fpa.c -o fpa.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o discrim.lo discrim.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT discrim.c -fPIC -DPIC -o .libs/discrim.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT discrim.c -o discrim.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o discrimb.lo discrimb.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT discrimb.c -fPIC -DPIC -o .libs/discrimb.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT discrimb.c -o discrimb.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o discrimw.lo discrimw.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT discrimw.c -fPIC -DPIC -o .libs/discrimw.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT discrimw.c -o discrimw.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o dioph.lo dioph.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT dioph.c -fPIC -DPIC -o .libs/dioph.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT dioph.c -o dioph.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o btu.lo btu.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT btu.c -fPIC -DPIC -o .libs/btu.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT btu.c -o btu.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o btm.lo btm.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT btm.c -fPIC -DPIC -o .libs/btm.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT btm.c -o btm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o mindex.lo mindex.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT mindex.c -fPIC -DPIC -o .libs/mindex.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT mindex.c -o mindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o basic.lo basic.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT basic.c -fPIC -DPIC -o .libs/basic.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT basic.c -o basic.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o attrib.lo attrib.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT attrib.c -fPIC -DPIC -o .libs/attrib.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT attrib.c -o attrib.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o formula.lo formula.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT formula.c -fPIC -DPIC -o .libs/formula.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT formula.c -o formula.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o definitions.lo definitions.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT definitions.c -fPIC -DPIC -o .libs/definitions.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT definitions.c -o definitions.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o literals.lo literals.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT literals.c -fPIC -DPIC -o .libs/literals.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT literals.c -o literals.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o topform.lo topform.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT topform.c -fPIC -DPIC -o .libs/topform.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT topform.c -o topform.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clist.lo clist.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clist.c -fPIC -DPIC -o .libs/clist.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clist.c -o clist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clauseid.lo clauseid.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clauseid.c -fPIC -DPIC -o .libs/clauseid.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clauseid.c -o clauseid.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clauses.lo clauses.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clauses.c -fPIC -DPIC -o .libs/clauses.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clauses.c -o clauses.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o just.lo just.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT just.c -fPIC -DPIC -o .libs/just.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT just.c -o just.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o cnf.lo cnf.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT cnf.c -fPIC -DPIC -o .libs/cnf.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT cnf.c -o cnf.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clausify.lo clausify.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clausify.c -fPIC -DPIC -o .libs/clausify.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clausify.c -o clausify.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o parautil.lo parautil.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT parautil.c -fPIC -DPIC -o .libs/parautil.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT parautil.c -o parautil.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o pindex.lo pindex.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT pindex.c -fPIC -DPIC -o .libs/pindex.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT pindex.c -o pindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o compress.lo compress.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT compress.c -fPIC -DPIC -o .libs/compress.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT compress.c -o compress.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o maximal.lo maximal.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT maximal.c -fPIC -DPIC -o .libs/maximal.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT maximal.c -o maximal.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o lindex.lo lindex.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT lindex.c -fPIC -DPIC -o .libs/lindex.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT lindex.c -o lindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o weight.lo weight.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT weight.c -fPIC -DPIC -o .libs/weight.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT weight.c -o weight.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o weight2.lo weight2.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT weight2.c -fPIC -DPIC -o .libs/weight2.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT weight2.c -o weight2.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o int_code.lo int_code.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT int_code.c -fPIC -DPIC -o .libs/int_code.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o features.lo features.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT features.c -fPIC -DPIC -o .libs/features.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT features.c -o features.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o di_tree.lo di_tree.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT di_tree.c -fPIC -DPIC -o .libs/di_tree.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o fastparse.lo fastparse.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat-security-Wformat-security]8;;] 186 | fprintf(stderr, s); | ^~~~~~~ fastparse.c:187:7: warning: format not a string literal and no format arguments []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat-security-Wformat-security]8;;] 187 | fprintf(stdout, s); | ^~~~~~~ libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT fastparse.c -o fastparse.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o random.lo random.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT random.c -fPIC -DPIC -o .libs/random.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT random.c -o random.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o subsume.lo subsume.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT subsume.c -fPIC -DPIC -o .libs/subsume.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT subsume.c -o subsume.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clause_misc.lo clause_misc.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clause_misc.c -fPIC -DPIC -o .libs/clause_misc.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clause_eval.lo clause_eval.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clause_eval.c -fPIC -DPIC -o .libs/clause_eval.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o complex.lo complex.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT complex.c -fPIC -DPIC -o .libs/complex.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT complex.c -o complex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o dollar.lo dollar.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT dollar.c -fPIC -DPIC -o .libs/dollar.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT dollar.c -o dollar.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o flatdemod.lo flatdemod.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT flatdemod.c -o flatdemod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o demod.lo demod.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT demod.c -fPIC -DPIC -o .libs/demod.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT demod.c -o demod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o clash.lo clash.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clash.c -fPIC -DPIC -o .libs/clash.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT clash.c -o clash.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o resolve.lo resolve.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT resolve.c -fPIC -DPIC -o .libs/resolve.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT resolve.c -o resolve.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o paramod.lo paramod.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT paramod.c -fPIC -DPIC -o .libs/paramod.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT paramod.c -o paramod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o backdemod.lo backdemod.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT backdemod.c -fPIC -DPIC -o .libs/backdemod.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT backdemod.c -o backdemod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o hints.lo hints.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT hints.c -fPIC -DPIC -o .libs/hints.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT hints.c -o hints.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o ac_redun.lo ac_redun.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ac_redun.c -fPIC -DPIC -o .libs/ac_redun.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o xproofs.lo xproofs.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT xproofs.c -fPIC -DPIC -o .libs/xproofs.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT xproofs.c -o xproofs.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o ivy.lo ivy.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ivy.c -fPIC -DPIC -o .libs/ivy.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ivy.c -o ivy.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o interp.lo interp.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT interp.c -fPIC -DPIC -o .libs/interp.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT interp.c -o interp.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o std_options.lo std_options.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT std_options.c -fPIC -DPIC -o .libs/std_options.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o banner.lo banner.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT banner.c -fPIC -DPIC -o .libs/banner.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT banner.c -o banner.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o ioutil.lo ioutil.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ioutil.c -fPIC -DPIC -o .libs/ioutil.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT ioutil.c -o ioutil.o >/dev/null 2>&1 libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o tptp_trans.lo tptp_trans.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT tptp_trans.c -fPIC -DPIC -o .libs/tptp_trans.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -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 -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT -o top_input.lo top_input.c libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT top_input.c -fPIC -DPIC -o .libs/top_input.o libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -frecord-gcc-switches -D_REENTRANT top_input.c -o top_input.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' cd ../ladr && make libladr.la make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[2]: 'libladr.la' is up to date. make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make clean make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' libtool --tag=CC --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make libmace4.a make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o estack.o estack.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o util.o util.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o print.o print.c print.c: In function ‘p_model’: print.c:114:6: warning: format not a string literal and no format arguments []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat-security-Wformat-security]8;;] 114 | printf(s2); | ^~~~~~ print.c:119:8: warning: format not a string literal and no format arguments []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat-security-Wformat-security]8;;] 119 | printf(s3); | ^~~~~~ print.c:137:4: warning: format not a string literal and no format arguments []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat-security-Wformat-security]8;;] 137 | printf(s2); | ^~~~~~ print.c:145:8: warning: format not a string literal and no format arguments []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wformat-security-Wformat-security]8;;] 145 | printf(s3); | ^~~~~~ x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o syms.o syms.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o ground.o ground.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o arithmetic.o arithmetic.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o select.o select.c select.c: In function ‘select_concentric_band’: select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wimplicit-int-Wimplicit-int]8;;] 236 | int select_concentric_band(min_id, max_id, max_constrained) | ^~~~~~~~~~~~~~~~~~~~~~ select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wimplicit-int-Wimplicit-int]8;;] select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wimplicit-int-Wimplicit-int]8;;] x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o propagate.o propagate.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o mstate.o mstate.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o negpropindex.o negpropindex.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o negprop.o negprop.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o ordercells.o ordercells.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o commandline.o commandline.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o msearch.o msearch.c msearch.c: In function ‘next_domain_size’: msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wimplicit-int-Wimplicit-int]8;;] 850 | int next_domain_size(n) | ^~~~~~~~~~~~~~~~ x86_64-pc-linux-gnu-ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o x86_64-pc-linux-gnu-ar: creating libmace4.a make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o mace4.o mace4.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o mace4 mace4.o libmace4.a ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/mace4 mace4.o libmace4.a ../ladr/.libs/libladr.so -lm libtool --tag=CC --mode=install /bin/cp mace4 `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mace4 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src/../bin/mace4 make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' cd provers.src && make all make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src' cd ../ladr && make libladr make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make libladr.la make[3]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[3]: 'libladr.la' is up to date. make[3]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make clean make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src' libtool --tag=CC --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src' cd ../mace4.src && make libmace4 make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make libmace4.a make[3]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make[3]: 'libmace4.a' is up to date. make[3]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make clean make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src' libtool --tag=CC --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src' x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o prover9.o prover9.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o index_lits.o index_lits.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o forward_subsume.o forward_subsume.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o demodulate.o demodulate.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o pred_elim.o pred_elim.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o unfold.o unfold.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o semantics.o semantics.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o giv_select.o giv_select.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o white_black.o white_black.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o actions.o actions.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o search.o search.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o utilities.o utilities.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o provers.o provers.c x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o foffer.o foffer.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o fof-prover9.o fof-prover9.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o autosketches4.o autosketches4.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o newauto.o newauto.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o newsax.o newsax.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o ladr_to_tptp.o ladr_to_tptp.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o tptp_to_ladr.o tptp_to_ladr.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm libtool --tag=CC --mode=install /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/prover9 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/fof-prover9 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/fof-prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/autosketches4 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/autosketches4 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newauto /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/newauto libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newsax /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/newsax libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/ladr_to_tptp /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/ladr_to_tptp libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/tptp_to_ladr /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/tptp_to_ladr libtool --tag=CC --mode=clean /bin/rm -f *.o libtool: clean: /bin/rm -f actions.o libtool: clean: /bin/rm -f autosketches4.o libtool: clean: /bin/rm -f demodulate.o libtool: clean: /bin/rm -f fof-prover9.o libtool: clean: /bin/rm -f foffer.o libtool: clean: /bin/rm -f forward_subsume.o libtool: clean: /bin/rm -f giv_select.o libtool: clean: /bin/rm -f index_lits.o libtool: clean: /bin/rm -f ladr_to_tptp.o libtool: clean: /bin/rm -f newauto.o libtool: clean: /bin/rm -f newsax.o libtool: clean: /bin/rm -f pred_elim.o libtool: clean: /bin/rm -f prover9.o libtool: clean: /bin/rm -f provers.o libtool: clean: /bin/rm -f search.o libtool: clean: /bin/rm -f semantics.o libtool: clean: /bin/rm -f tptp_to_ladr.o libtool: clean: /bin/rm -f unfold.o libtool: clean: /bin/rm -f utilities.o libtool: clean: /bin/rm -f white_black.o libtool: clean: rmdir .libs >/dev/null 2>&1 make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src' cd apps.src && make all make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src' cd ../ladr && make libladr.la make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[2]: 'libladr.la' is up to date. make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o latfilter.o latfilter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o latfilter latfilter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/latfilter latfilter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o olfilter.o olfilter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o olfilter olfilter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/olfilter olfilter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o clausefilter.o clausefilter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o clausefilter clausefilter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/clausefilter clausefilter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o idfilter.o idfilter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o idfilter idfilter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/idfilter idfilter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o renamer.o renamer.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o renamer renamer.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/renamer renamer.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o unfast.o unfast.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o unfast unfast.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/unfast unfast.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o clausetester.o clausetester.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o clausetester clausetester.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/clausetester clausetester.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o rewriter.o rewriter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o rewriter rewriter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/rewriter rewriter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o isofilter0.o isofilter0.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o isofilter0 isofilter0.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/isofilter0 isofilter0.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o isofilter.o isofilter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o isofilter isofilter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/isofilter isofilter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o isofilter2.o isofilter2.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o isofilter2 isofilter2.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/isofilter2 isofilter2.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o dprofiles.o dprofiles.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o dprofiles dprofiles.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/dprofiles dprofiles.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o interpfilter.o interpfilter.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o interpfilter interpfilter.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/interpfilter interpfilter.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o upper-covers.o upper-covers.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o upper-covers upper-covers.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/upper-covers upper-covers.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o miniscope.o miniscope.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o miniscope miniscope.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/miniscope miniscope.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o interpformat.o interpformat.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o interpformat interpformat.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/interpformat interpformat.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o prooftrans.o prooftrans.c prooftrans.c: In function ‘main’: prooftrans.c:361:7: warning: ignoring return value of ‘fgets’ declared with attribute ‘warn_unused_result’ []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wunused-result-Wunused-result]8;;] 361 | fgets(s, BUF_MAX, fin); | ^~~~~~~~~~~~~~~~~~~~~~ libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o prooftrans prooftrans.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/prooftrans prooftrans.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o mirror-flip.o mirror-flip.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o mirror-flip mirror-flip.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/mirror-flip mirror-flip.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o perm3.o perm3.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o perm3 perm3.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/perm3 perm3.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o sigtest.o sigtest.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o sigtest sigtest.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/sigtest sigtest.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o directproof.o directproof.c directproof.c: In function ‘main’: directproof.c:706:7: warning: ignoring return value of ‘fgets’ declared with attribute ‘warn_unused_result’ []8;;https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wunused-result-Wunused-result]8;;] 706 | fgets(s, BUF_MAX, fin); | ^~~~~~~~~~~~~~~~~~~~~~ libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o directproof directproof.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/directproof directproof.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o test_clause_eval.o test_clause_eval.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o test_clause_eval test_clause_eval.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/test_clause_eval test_clause_eval.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o test_complex.o test_complex.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o test_complex test_complex.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/test_complex test_complex.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o complex.o complex.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o complex complex.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/complex complex.o ../ladr/.libs/libladr.so -lm x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -c -o gen_trc_defs.o gen_trc_defs.c libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.la libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -frecord-gcc-switches -o .libs/gen_trc_defs gen_trc_defs.o ../ladr/.libs/libladr.so -lm libtool --tag=CC --mode=install /bin/cp latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/latfilter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/latfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/olfilter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/olfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausefilter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/clausefilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/idfilter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/idfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/renamer /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/renamer libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/unfast /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/unfast libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausetester /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/clausetester libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/rewriter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/rewriter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter0 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/isofilter0 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/isofilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter2 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/isofilter2 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/dprofiles /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/dprofiles libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpfilter /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/interpfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/upper-covers /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/upper-covers libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/miniscope /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/miniscope libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpformat /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/interpformat libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/prooftrans /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/prooftrans libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mirror-flip /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/mirror-flip libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/perm3 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/perm3 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/sigtest /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/sigtest libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/directproof /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/directproof libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_clause_eval /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/test_clause_eval libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_complex /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/test_complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/complex /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/gen_trc_defs /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src/../bin/gen_trc_defs libtool --tag=CC --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs libtool: clean: /bin/rm -f clausefilter.o libtool: clean: /bin/rm -f clausetester.o libtool: clean: /bin/rm -f complex.o libtool: clean: /bin/rm -f directproof.o libtool: clean: /bin/rm -f dprofiles.o libtool: clean: /bin/rm -f gen_trc_defs.o libtool: clean: /bin/rm -f idfilter.o libtool: clean: /bin/rm -f interpfilter.o libtool: clean: /bin/rm -f interpformat.o libtool: clean: /bin/rm -f isofilter.o libtool: clean: /bin/rm -f isofilter0.o libtool: clean: /bin/rm -f isofilter2.o libtool: clean: /bin/rm -f latfilter.o libtool: clean: /bin/rm -f miniscope.o libtool: clean: /bin/rm -f mirror-flip.o libtool: clean: /bin/rm -f olfilter.o libtool: clean: /bin/rm -f perm3.o libtool: clean: /bin/rm -f prooftrans.o libtool: clean: /bin/rm -f renamer.o libtool: clean: /bin/rm -f rewriter.o libtool: clean: /bin/rm -f sigtest.o libtool: clean: /bin/rm -f test_clause_eval.o libtool: clean: /bin/rm -f test_complex.o libtool: clean: /bin/rm -f unfast.o libtool: clean: /bin/rm -f upper-covers.o libtool: clean: /bin/rm -f latfilter .libs/latfilter .libs/latfilterS.o libtool: clean: /bin/rm -f olfilter .libs/olfilter .libs/olfilterS.o libtool: clean: /bin/rm -f clausefilter .libs/clausefilter .libs/clausefilterS.o libtool: clean: /bin/rm -f idfilter .libs/idfilter .libs/idfilterS.o libtool: clean: /bin/rm -f renamer .libs/renamer .libs/renamerS.o libtool: clean: /bin/rm -f unfast .libs/unfast .libs/unfastS.o libtool: clean: /bin/rm -f clausetester .libs/clausetester .libs/clausetesterS.o libtool: clean: /bin/rm -f rewriter .libs/rewriter .libs/rewriterS.o libtool: clean: /bin/rm -f isofilter0 .libs/isofilter0 .libs/isofilter0S.o libtool: clean: /bin/rm -f isofilter .libs/isofilter .libs/isofilterS.o libtool: clean: /bin/rm -f isofilter2 .libs/isofilter2 .libs/isofilter2S.o libtool: clean: /bin/rm -f dprofiles .libs/dprofiles .libs/dprofilesS.o libtool: clean: /bin/rm -f interpfilter .libs/interpfilter .libs/interpfilterS.o libtool: clean: /bin/rm -f upper-covers .libs/upper-covers .libs/upper-coversS.o libtool: clean: /bin/rm -f miniscope .libs/miniscope .libs/miniscopeS.o libtool: clean: /bin/rm -f interpformat .libs/interpformat .libs/interpformatS.o libtool: clean: /bin/rm -f prooftrans .libs/prooftrans .libs/prooftransS.o libtool: clean: /bin/rm -f mirror-flip .libs/mirror-flip .libs/mirror-flipS.o libtool: clean: /bin/rm -f perm3 .libs/perm3 .libs/perm3S.o libtool: clean: /bin/rm -f sigtest .libs/sigtest .libs/sigtestS.o libtool: clean: /bin/rm -f directproof .libs/directproof .libs/directproofS.o libtool: clean: /bin/rm -f test_clause_eval .libs/test_clause_eval .libs/test_clause_evalS.o libtool: clean: /bin/rm -f test_complex .libs/test_complex .libs/test_complexS.o libtool: clean: /bin/rm -f complex .libs/complex .libs/complexS.o libtool: clean: /bin/rm -f gen_trc_defs .libs/gen_trc_defs .libs/gen_trc_defsS.o libtool: clean: rmdir .libs >/dev/null 2>&1 make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/apps.src' /bin/cp -p utilities/* bin **** Now try 'make test1'. **** >>> Source compiled. >>> Test phase: sci-mathematics/prover9-2009.11a make -j4 -j1 test1 bin/prover9 -f prover9.examples/x2.in | bin/prooftrans parents_only bin/prover9: error while loading shared libraries: libladr.so.4: cannot open shared object file: No such file or directory bin/prooftrans: error while loading shared libraries: libladr.so.4: cannot open shared object file: No such file or directory make: *** [Makefile:18: test1] Error 127 * ERROR: sci-mathematics/prover9-2009.11a::gentoo failed (test 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/emerge-log/build/sci-mathematics/prover9-2009.11a:20200527-111343.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/' emerge --info: Portage 2.3.100 (python 3.7.7-final-0, default/linux/amd64/17.1, gcc-10.1.0, glibc-2.31-r3, 5.4.0-1009-aws x86_64) ================================================================= System uname: Linux-5.4.0-1009-aws-x86_64-AMD_EPYC_7571-with-gentoo-2.7 KiB Mem: 16011344 total, 3172304 free KiB Swap: 0 total, 0 free Timestamp of repository gentoo: Wed, 27 May 2020 10:07:23 +0000 sh bash 5.0_p17 ld GNU ld (Gentoo 2.34 p4) 2.34.0 app-shells/bash: 5.0_p17::gentoo dev-lang/perl: 5.30.2-r2::gentoo dev-lang/python: 2.7.18::gentoo, 3.7.7-r2::gentoo, 3.8.3::gentoo sys-apps/baselayout: 2.7::gentoo sys-apps/openrc: 0.42.1::gentoo sys-apps/sandbox: 2.18::gentoo sys-devel/autoconf: 2.69-r5::gentoo sys-devel/automake: 1.16.2::gentoo sys-devel/binutils: 2.34-r1::gentoo sys-devel/gcc: 10.1.0::gentoo sys-devel/gcc-config: 2.3::gentoo sys-devel/libtool: 2.4.6-r6::gentoo sys-devel/make: 4.3::gentoo sys-kernel/linux-headers: 5.6::gentoo (virtual/os-headers) sys-libs/glibc: 2.31-r3::gentoo Repositories: gentoo location: /usr/portage sync-type: rsync sync-uri: rsync://rsync.gentoo.org/gentoo-portage priority: -1000 sync-rsync-extra-opts: sync-rsync-verify-max-age: 24 sync-rsync-verify-jobs: 1 sync-rsync-verify-metamanifest: yes ACCEPT_KEYWORDS="amd64 ~amd64" ACCEPT_LICENSE="*" CBUILD="x86_64-pc-linux-gnu" CC="x86_64-pc-linux-gnu-gcc" CFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo" CXX="x86_64-pc-linux-gnu-g++" CXXFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" DISTDIR="/usr/portage/distfiles" EMERGE_DEFAULT_OPTS="--with-bdeps=y --binpkg-respect-use=y -1 -b -k" ENV_UNSET="DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR" FCFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg collision-protect config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" FFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" GENTOO_MIRRORS="http://distfiles.gentoo.org" LANG="C.UTF-8" LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" MAKEOPTS="-j4" PKGDIR="/root/.packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git" PORTAGE_TMPDIR="/var/tmp" USE="acl amd64 berkdb bzip2 cli crypt dri fortran gdbm iconv ipv6 libtirpc multilib ncurses nls nptl openmp pam pcre readline seccomp split-usr ssl tcpd unicode xattr zlib" ABI_X86="64" ADA_TARGET="gnat_2018" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="karbon sheets words" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="mmx mmxext sse sse2" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock greis isync itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf skytraq superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="libinput" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php7-2" POSTGRES_TARGETS="postgres10 postgres11" PYTHON_SINGLE_TARGET="python3_7" PYTHON_TARGETS="python2_7 python3_7" RUBY_TARGETS="ruby24 ruby25" USERLAND="GNU" VIDEO_CARDS="amdgpu fbdev intel nouveau radeon radeonsi vesa dummy v4l" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" Unset: CPPFLAGS, CTARGET, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS