Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 919836 Details for
Bug 950238
sci-mathematics/prover9-2009.11a-r2 - [go-1.24] [gcc-15] mace4.c:(<snip>) undefined reference to mace4_exit
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:prover9-2009.11a-r2:20250224-094721.log
sci-mathematics:prover9-2009.11a-r2:20250224-094721.log (text/plain), 117.18 KB, created by
Toralf Förster
on 2025-02-24 18:03:05 UTC
(
hide
)
Description:
sci-mathematics:prover9-2009.11a-r2:20250224-094721.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2025-02-24 18:03:05 UTC
Size:
117.18 KB
patch
obsolete
> * Package: sci-mathematics/prover9-2009.11a-r2:0 > * Repository: gentoo > * Maintainer: sci-mathematics@gentoo.org > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux > * 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-r2/work >>>> Unpacking LADR-2009-11A-makefile.patch.xz to /var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A ... > * Applying LADR-2009-11A-makefile.patch ... > [ ok ] > * Applying LADR-2009-11A-manpages.patch ... > [ ok ] > * Applying LADR-2009-11A-c99.patch ... > [ ok ] > * Applying LADR-2009-11A-stable-ordering.patch ... > [ ok ] >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A ... >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A ... >make -O -j4 'CFLAGS=-O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0' all >cd ladr && make lib XFLAGS+=-D_REENTRANT >make libladr.la >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o nonport.lo nonport.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT nonport.c -fPIC -DPIC -o .libs/nonport.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT nonport.c -o nonport.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o fatal.lo fatal.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fatal.c -fPIC -DPIC -o .libs/fatal.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fatal.c -o fatal.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o order.lo order.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT order.c -fPIC -DPIC -o .libs/order.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT order.c -o order.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clock.lo clock.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clock.c -fPIC -DPIC -o .libs/clock.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clock.c -o clock.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o memory.lo memory.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT memory.c -fPIC -DPIC -o .libs/memory.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT memory.c -o memory.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o ibuffer.lo ibuffer.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ibuffer.c -o ibuffer.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o hash.lo hash.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT hash.c -fPIC -DPIC -o .libs/hash.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT hash.c -o hash.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o string.lo string.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT string.c -fPIC -DPIC -o .libs/string.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT string.c -o string.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o strbuf.lo strbuf.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT strbuf.c -fPIC -DPIC -o .libs/strbuf.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT strbuf.c -o strbuf.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o avltree.lo avltree.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT avltree.c -o avltree.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o options.lo options.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT options.c -fPIC -DPIC -o .libs/options.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT options.c -o options.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o termflag.lo termflag.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT termflag.c -fPIC -DPIC -o .libs/termflag.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT termflag.c -o termflag.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o glist.lo glist.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT glist.c -fPIC -DPIC -o .libs/glist.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT glist.c -o glist.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o listterm.lo listterm.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT listterm.c -fPIC -DPIC -o .libs/listterm.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT listterm.c -o listterm.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o tlist.lo tlist.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT tlist.c -fPIC -DPIC -o .libs/tlist.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT tlist.c -o tlist.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o multiset.lo multiset.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT multiset.c -fPIC -DPIC -o .libs/multiset.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT multiset.c -o multiset.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o flatterm.lo flatterm.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT flatterm.c -fPIC -DPIC -o .libs/flatterm.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT flatterm.c -o flatterm.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o symbols.lo symbols.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT symbols.c -fPIC -DPIC -o .libs/symbols.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT symbols.c -o symbols.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o termorder.lo termorder.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT termorder.c -fPIC -DPIC -o .libs/termorder.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT termorder.c -o termorder.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o accanon.lo accanon.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT accanon.c -fPIC -DPIC -o .libs/accanon.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT accanon.c -o accanon.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o fpalist.lo fpalist.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fpalist.c -fPIC -DPIC -o .libs/fpalist.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fpalist.c -o fpalist.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o term.lo term.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT term.c -fPIC -DPIC -o .libs/term.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT term.c -o term.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o parse.lo parse.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT parse.c -fPIC -DPIC -o .libs/parse.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT parse.c -o parse.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o unify.lo unify.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT unify.c -fPIC -DPIC -o .libs/unify.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT unify.c -o unify.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o discrim.lo discrim.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT discrim.c -fPIC -DPIC -o .libs/discrim.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT discrim.c -o discrim.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o discrimb.lo discrimb.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT discrimb.c -fPIC -DPIC -o .libs/discrimb.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT discrimb.c -o discrimb.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o fpa.lo fpa.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fpa.c -fPIC -DPIC -o .libs/fpa.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fpa.c -o fpa.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o discrimw.lo discrimw.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT discrimw.c -fPIC -DPIC -o .libs/discrimw.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT discrimw.c -o discrimw.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o dioph.lo dioph.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT dioph.c -fPIC -DPIC -o .libs/dioph.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT dioph.c -o dioph.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o mindex.lo mindex.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT mindex.c -fPIC -DPIC -o .libs/mindex.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT mindex.c -o mindex.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o btu.lo btu.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT btu.c -fPIC -DPIC -o .libs/btu.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT btu.c -o btu.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o basic.lo basic.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT basic.c -fPIC -DPIC -o .libs/basic.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT basic.c -o basic.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o btm.lo btm.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT btm.c -fPIC -DPIC -o .libs/btm.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT btm.c -o btm.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o definitions.lo definitions.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT definitions.c -fPIC -DPIC -o .libs/definitions.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT definitions.c -o definitions.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o attrib.lo attrib.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT attrib.c -fPIC -DPIC -o .libs/attrib.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT attrib.c -o attrib.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o topform.lo topform.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT topform.c -fPIC -DPIC -o .libs/topform.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT topform.c -o topform.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clist.lo clist.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clist.c -fPIC -DPIC -o .libs/clist.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clist.c -o clist.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o literals.lo literals.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT literals.c -fPIC -DPIC -o .libs/literals.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT literals.c -o literals.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clauseid.lo clauseid.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clauseid.c -fPIC -DPIC -o .libs/clauseid.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clauseid.c -o clauseid.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clauses.lo clauses.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clauses.c -fPIC -DPIC -o .libs/clauses.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clauses.c -o clauses.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clausify.lo clausify.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clausify.c -fPIC -DPIC -o .libs/clausify.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clausify.c -o clausify.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o formula.lo formula.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT formula.c -fPIC -DPIC -o .libs/formula.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT formula.c -o formula.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o parautil.lo parautil.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT parautil.c -fPIC -DPIC -o .libs/parautil.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT parautil.c -o parautil.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o cnf.lo cnf.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT cnf.c -fPIC -DPIC -o .libs/cnf.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT cnf.c -o cnf.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o pindex.lo pindex.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT pindex.c -fPIC -DPIC -o .libs/pindex.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT pindex.c -o pindex.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o compress.lo compress.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT compress.c -fPIC -DPIC -o .libs/compress.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT compress.c -o compress.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o just.lo just.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT just.c -fPIC -DPIC -o .libs/just.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT just.c -o just.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o maximal.lo maximal.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT maximal.c -fPIC -DPIC -o .libs/maximal.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT maximal.c -o maximal.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o lindex.lo lindex.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT lindex.c -fPIC -DPIC -o .libs/lindex.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT lindex.c -o lindex.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o weight2.lo weight2.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT weight2.c -fPIC -DPIC -o .libs/weight2.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT weight2.c -o weight2.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o int_code.lo int_code.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT int_code.c -o int_code.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o weight.lo weight.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT weight.c -fPIC -DPIC -o .libs/weight.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT weight.c -o weight.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o features.lo features.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT features.c -fPIC -DPIC -o .libs/features.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT features.c -o features.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o fastparse.lo fastparse.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT fastparse.c -o fastparse.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o di_tree.lo di_tree.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT di_tree.c -o di_tree.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o random.lo random.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT random.c -fPIC -DPIC -o .libs/random.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT random.c -o random.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clause_misc.lo clause_misc.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clause_misc.c -o clause_misc.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o subsume.lo subsume.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT subsume.c -fPIC -DPIC -o .libs/subsume.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT subsume.c -o subsume.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clause_eval.lo clause_eval.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clause_eval.c -o clause_eval.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o complex.lo complex.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT complex.c -fPIC -DPIC -o .libs/complex.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT complex.c -o complex.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o flatdemod.lo flatdemod.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT flatdemod.c -o flatdemod.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o clash.lo clash.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clash.c -fPIC -DPIC -o .libs/clash.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT clash.c -o clash.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o demod.lo demod.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT demod.c -fPIC -DPIC -o .libs/demod.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT demod.c -o demod.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o dollar.lo dollar.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT dollar.c -fPIC -DPIC -o .libs/dollar.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT dollar.c -o dollar.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o hints.lo hints.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT hints.c -fPIC -DPIC -o .libs/hints.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT hints.c -o hints.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o backdemod.lo backdemod.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT backdemod.c -fPIC -DPIC -o .libs/backdemod.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT backdemod.c -o backdemod.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o paramod.lo paramod.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT paramod.c -fPIC -DPIC -o .libs/paramod.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT paramod.c -o paramod.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o resolve.lo resolve.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT resolve.c -fPIC -DPIC -o .libs/resolve.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT resolve.c -o resolve.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o ac_redun.lo ac_redun.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ac_redun.c -o ac_redun.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o xproofs.lo xproofs.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT xproofs.c -fPIC -DPIC -o .libs/xproofs.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT xproofs.c -o xproofs.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o std_options.lo std_options.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT std_options.c -o std_options.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o banner.lo banner.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT banner.c -fPIC -DPIC -o .libs/banner.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT banner.c -o banner.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o ivy.lo ivy.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ivy.c -fPIC -DPIC -o .libs/ivy.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ivy.c -o ivy.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o ioutil.lo ioutil.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ioutil.c -fPIC -DPIC -o .libs/ioutil.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT ioutil.c -o ioutil.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o tptp_trans.lo tptp_trans.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT tptp_trans.c -o tptp_trans.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o top_input.lo top_input.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT top_input.c -o top_input.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=compile x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT -o interp.lo interp.c >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT interp.c -fPIC -DPIC -o .libs/interp.o >libtool: compile: x86_64-pc-linux-gnu-gcc -c -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -D_REENTRANT interp.c -o interp.o >/dev/null 2>&1 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/ladr' >libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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 -O2 -march=native -Wl,-O1 -Wl,--as-needed -Wl,-z -Wl,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -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-r2/work/LADR-2009-11A/ladr' >cd mace4.src && make all >cd ../ladr && make libladr.la >make libmace4.a >make[2]: 'libladr.la' is up to date. >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o util.o util.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o util.o util.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o estack.o estack.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o estack.o estack.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o syms.o syms.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o print.o print.c >print.c: In function âp_modelâ: >print.c:114:13: warning: format not a string literal and no format arguments [-Wformat-security] > 114 | printf(s2); > | ^~~~~~ >print.c:119:15: warning: format not a string literal and no format arguments [-Wformat-security] > 119 | printf(s3); > | ^~~~~~ >print.c:137:11: warning: format not a string literal and no format arguments [-Wformat-security] > 137 | printf(s2); > | ^~~~~~ >print.c:145:15: warning: format not a string literal and no format arguments [-Wformat-security] > 145 | printf(s3); > | ^~~~~~ >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o print.o print.c >print.c: In function âp_modelâ: >print.c:114:13: warning: format not a string literal and no format arguments [-Wformat-security] > 114 | printf(s2); > | ^~~~~~ >print.c:119:15: warning: format not a string literal and no format arguments [-Wformat-security] > 119 | printf(s3); > | ^~~~~~ >print.c:137:11: warning: format not a string literal and no format arguments [-Wformat-security] > 137 | printf(s2); > | ^~~~~~ >print.c:145:15: warning: format not a string literal and no format arguments [-Wformat-security] > 145 | printf(s3); > | ^~~~~~ >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o ground.o ground.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o select.o select.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o ground.o ground.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o arithmetic.o arithmetic.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o mstate.o mstate.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o arithmetic.o arithmetic.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o propagate.o propagate.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o propagate.o propagate.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o negpropindex.o negpropindex.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o negprop.o negprop.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o negpropindex.o negpropindex.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o ordercells.o ordercells.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o commandline.o commandline.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o mace4.o mace4.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o negprop.o negprop.c >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >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[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -o mace4 mace4.o libmace4.a ../ladr/libladr.la >libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z -Wl,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -o .libs/mace4 mace4.o libmace4.a ../ladr/.libs/libladr.so -lm >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): warning: relocation against `Mace4_clock' in read-only section `.text' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.o: in function `mace4_sig_handler': >mace4.c:(.text+0x4c): undefined reference to `mace4_exit' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.c:(.text+0x7c): undefined reference to `mace4_exit' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.o: in function `main': >mace4.c:(.text.startup+0x41): undefined reference to `init_mace_options' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.c:(.text.startup+0x316): undefined reference to `mace4' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.c:(.text.startup+0x31e): undefined reference to `mace4_exit' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `p_model': >print.c:(.text+0x14): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x27): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x4b): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x199): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x1b0): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x222): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x273): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x294): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x378): undefined reference to `Total_models' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x389): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x486): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `print_model_standard': >print.c:(.text+0x528): undefined reference to `Total_models' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x52e): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x540): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x687): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x6d6): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x70c): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x7e5): undefined reference to `Total_models' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x7eb): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x800): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `interp_term': >print.c:(.text+0x89a): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x8ff): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x941): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x968): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0x9cb): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `p_matom': >print.c:(.text+0xa24): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xa34): undefined reference to `Eq_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `p_mclause': >print.c:(.text+0xb8d): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `p_eterms': >print.c:(.text+0xc06): undefined reference to `Number_of_cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xc23): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xc73): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xcd6): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xd12): undefined reference to `Number_of_cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): in function `p_stats': >print.c:(.text+0xd72): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xd8c): undefined reference to `Mace4_clock' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xdc8): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xdda): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xde8): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xdfb): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: print.c:(.text+0xe01): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o):print.c:(.text+0xe09): more undefined references to `Mstats' follow >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(syms.o): in function `find_symbol_data': >syms.c:(.text+0xf7): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(syms.o): in function `init_built_in_symbols': >syms.c:(.text+0x173): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: syms.c:(.text+0x17a): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(syms.o): in function `collect_mace4_syms': >syms.c:(.text+0x229): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: syms.c:(.text+0x23e): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(syms.o):syms.c:(.text+0x2c7): more undefined references to `Symbols' follow >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(syms.o): in function `id_to_domain_size': >syms.c:(.text+0x3f3): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: syms.c:(.text+0x403): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(syms.o): in function `max_index': >syms.c:(.text+0x42b): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `subst_domain_elements_term': >ground.c:(.text+0x2d): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x3a): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x97): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `eterm_index_term': >ground.c:(.text+0x16c): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `member': >ground.c:(.text+0x1af): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `term_to_lits.part.0': >ground.c:(.text+0x269): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x289): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `merge': >ground.c:(.text+0x43d): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `simp_term': >ground.c:(.text+0x504): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x554): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `simp_tv': >ground.c:(.text+0x5a2): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x5bb): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x5e0): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x61b): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x632): undefined reference to `Not_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x6df): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x741): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x79c): undefined reference to `Eq_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x7ef): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x81b): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x833): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x860): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x878): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x8e8): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `instances_recurse': >ground.c:(.text+0x9dd): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x9e7): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0x9fe): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0xa92): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0xabf): undefined reference to `Not_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0xae0): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0xbb2): undefined reference to `Ground_clauses' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0xbc0): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: ground.c:(.text+0xbc7): undefined reference to `Ground_clauses' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `containing_mclause': >ground.c:(.text+0xf46): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `containing_mliteral': >ground.c:(.text+0xf86): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `term_to_lits': >ground.c:(.text+0xfc8): undefined reference to `Or_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(ground.o): in function `generate_ground_clauses': >ground.c:(.text+0x1039): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(arithmetic.o): in function `arith_evaluate': >arithmetic.c:(.text+0xae2): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(arithmetic.o): in function `check_with_arithmetic': >arithmetic.c:(.text+0xf33): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: arithmetic.c:(.text+0xfc4): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `new_assignment': >propagate.c:(.text+0x16): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x39): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x76): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xc3): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xed): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x116): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `handle_literal': >propagate.c:(.text+0x179): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x17f): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x18b): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x1b2): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `eterm': >propagate.c:(.text+0x271): undefined reference to `Sn_to_mace_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x294): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `decode_eterm_id': >propagate.c:(.text+0x319): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x33e): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x365): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `new_elimination': >propagate.c:(.text+0x3a9): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x3fc): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x40c): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x423): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x436): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x445): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x488): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x4e6): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x523): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x566): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `process_clause.part.0.isra.0': >propagate.c:(.text+0x5bf): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x5fe): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x619): undefined reference to `Eq_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x6a3): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x6f4): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x752): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x768): undefined reference to `Eq_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x81f): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `propagate': >propagate.c:(.text+0x982): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x997): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0x9cd): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xa05): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xa0b): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xa4d): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xa85): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xab5): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xac9): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xb31): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xbb1): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xbd5): undefined reference to `Eq_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xc0b): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xc47): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xc72): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `assign_and_propagate': >propagate.c:(.text+0xcef): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xd1a): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: propagate.c:(.text+0xd7f): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(propagate.o): in function `process_initial_clause': >propagate.c:(.text+0xdd3): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `init_recurse': >negpropindex.c:(.text+0xd): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x28): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x44): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `p_recurse': >negpropindex.c:(.text+0x10c): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x133): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o):negpropindex.c:(.text+0x160): more undefined references to `Domain_size' follow >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `init_negprop_index': >negpropindex.c:(.text+0x4e5): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x574): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x5c3): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `free_negprop_index': >negpropindex.c:(.text+0x6d5): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x782): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x7ce): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x7e7): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x84f): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `p_negprop_index': >negpropindex.c:(.text+0x8d5): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0x98b): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0xa1c): undefined reference to `Symbols' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `insert_negprop_eq': >negpropindex.c:(.text+0xa82): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0xa9d): undefined reference to `Sn_to_mace_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `insert_negprop_noneq': >negpropindex.c:(.text+0xb05): undefined reference to `Sn_to_mace_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negpropindex.c:(.text+0xb2b): undefined reference to `Negation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negpropindex.o): in function `negprop_find_near': >negpropindex.c:(.text+0xc1d): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negprop.o): in function `nterm_id': >negprop.c:(.text+0x5): undefined reference to `Sn_to_mace_sn' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x28): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(negprop.o): in function `propagate_negative': >negprop.c:(.text+0xd9): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x128): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x147): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x153): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x16d): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x1bf): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x253): undefined reference to `Opt' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x271): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x2dc): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x37d): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x3f7): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x45c): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x4bf): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x4e1): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x5d7): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x5ec): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x629): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x636): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x644): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x64f): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x678): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x68f): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x6de): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x708): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x711): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x718): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x734): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x74c): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x783): undefined reference to `Domain_size' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x794): undefined reference to `Cells' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x7aa): undefined reference to `Domain' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x7b3): undefined reference to `Mstats' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: negprop.c:(.text+0x7dc): undefined reference to `Relation_flag' >/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: warning: creating DT_TEXTREL in a PIE >collect2: error: ld returned 1 exit status >make[1]: *** [Makefile:32: mace4] Error 1 >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[1]: *** Waiting for unfinished jobs.... >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -c -o msearch.o msearch.c >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >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 >make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src' >make: *** [Makefile:6: all] Error 2 > * ERROR: sci-mathematics/prover9-2009.11a-r2::gentoo failed (compile phase): > * emake failed > * > * If you need support, post the output of `emerge --info '=sci-mathematics/prover9-2009.11a-r2::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/prover9-2009.11a-r2::gentoo'`. > * The complete build log is located at '/var/log/portage/sci-mathematics:prover9-2009.11a-r2:20250224-094721.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A' > * S: '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/' >
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=919836">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 950238
:
919830
|
919831
|
919832
|
919833
|
919834
|
919835
| 919836 |
919837
