* Package: sci-mathematics/prover9-2009.11a:0 * Repository: gentoo * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking LADR-2009-11A.tar.gz to /var/tmp/portage/sci-mathematics/prover9-2009.11a/work >>> Unpacking LADR-2009-11A-makefile.patch.xz to /var/tmp/portage/sci-mathematics/prover9-2009.11a/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work >>> Preparing source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ... * Applying LADR-2009-11A-makefile.patch ... [ ok ] * Applying LADR-2009-11A-manpages.patch ... [ ok ] >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ... >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ... make -j4 -j1 all cd ladr && make lib XFLAGS+=-D_REENTRANT make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make libladr.la make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o order.lo order.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT order.c -fPIC -DPIC -o .libs/order.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT order.c -o order.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clock.lo clock.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clock.c -fPIC -DPIC -o .libs/clock.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clock.c -o clock.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o nonport.lo nonport.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT nonport.c -fPIC -DPIC -o .libs/nonport.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT nonport.c -o nonport.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o fatal.lo fatal.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fatal.c -fPIC -DPIC -o .libs/fatal.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fatal.c -o fatal.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o ibuffer.lo ibuffer.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ibuffer.c -o ibuffer.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o memory.lo memory.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT memory.c -fPIC -DPIC -o .libs/memory.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT memory.c -o memory.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o hash.lo hash.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT hash.c -o hash.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o string.lo string.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT string.c -fPIC -DPIC -o .libs/string.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT string.c -o string.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o strbuf.lo strbuf.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT strbuf.c -fPIC -DPIC -o .libs/strbuf.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT strbuf.c -o strbuf.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o glist.lo glist.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT glist.c -fPIC -DPIC -o .libs/glist.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT glist.c -o glist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o options.lo options.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT options.c -fPIC -DPIC -o .libs/options.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT options.c -o options.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o symbols.lo symbols.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT symbols.c -fPIC -DPIC -o .libs/symbols.o symbols.c:478:10: warning: taking the absolute value of unsigned type 'unsigned int' has no effect [-Wabsolute-value] return abs(x) % SYM_TAB_SIZE; ^ symbols.c:478:10: note: remove the call to 'abs' since unsigned values cannot be negative return abs(x) % SYM_TAB_SIZE; ^~~ 1 warning generated. libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT symbols.c -o symbols.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o avltree.lo avltree.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT avltree.c -fPIC -DPIC -o .libs/avltree.o avltree.c:658:21: warning: cast to smaller integer type 'int' from 'void *' [-Wvoid-pointer-to-int-cast] printf("%4d\n", (int) p->item); ^~~~~~~~~~~~~ 1 warning generated. libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT avltree.c -o avltree.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o term.lo term.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT term.c -fPIC -DPIC -o .libs/term.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT term.c -o term.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o termflag.lo termflag.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT termflag.c -fPIC -DPIC -o .libs/termflag.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT termflag.c -o termflag.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o listterm.lo listterm.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT listterm.c -fPIC -DPIC -o .libs/listterm.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT listterm.c -o listterm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o tlist.lo tlist.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT tlist.c -fPIC -DPIC -o .libs/tlist.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT tlist.c -o tlist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o flatterm.lo flatterm.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT flatterm.c -fPIC -DPIC -o .libs/flatterm.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT flatterm.c -o flatterm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o multiset.lo multiset.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT multiset.c -fPIC -DPIC -o .libs/multiset.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT multiset.c -o multiset.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o termorder.lo termorder.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT termorder.c -fPIC -DPIC -o .libs/termorder.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT termorder.c -o termorder.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o parse.lo parse.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT parse.c -fPIC -DPIC -o .libs/parse.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT parse.c -o parse.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o accanon.lo accanon.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT accanon.c -fPIC -DPIC -o .libs/accanon.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT accanon.c -o accanon.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o unify.lo unify.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT unify.c -fPIC -DPIC -o .libs/unify.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT unify.c -o unify.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o fpalist.lo fpalist.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fpalist.c -fPIC -DPIC -o .libs/fpalist.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fpalist.c -o fpalist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o fpa.lo fpa.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fpa.c -fPIC -DPIC -o .libs/fpa.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fpa.c -o fpa.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o discrim.lo discrim.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT discrim.c -fPIC -DPIC -o .libs/discrim.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT discrim.c -o discrim.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o discrimb.lo discrimb.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT discrimb.c -fPIC -DPIC -o .libs/discrimb.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT discrimb.c -o discrimb.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o discrimw.lo discrimw.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT discrimw.c -fPIC -DPIC -o .libs/discrimw.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT discrimw.c -o discrimw.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o dioph.lo dioph.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT dioph.c -fPIC -DPIC -o .libs/dioph.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT dioph.c -o dioph.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o btu.lo btu.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT btu.c -fPIC -DPIC -o .libs/btu.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT btu.c -o btu.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o btm.lo btm.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT btm.c -fPIC -DPIC -o .libs/btm.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT btm.c -o btm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o mindex.lo mindex.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT mindex.c -fPIC -DPIC -o .libs/mindex.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT mindex.c -o mindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o basic.lo basic.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT basic.c -fPIC -DPIC -o .libs/basic.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT basic.c -o basic.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o attrib.lo attrib.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT attrib.c -fPIC -DPIC -o .libs/attrib.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT attrib.c -o attrib.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o formula.lo formula.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT formula.c -fPIC -DPIC -o .libs/formula.o formula.c:711:25: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case AND_FORM: return OR_FORM; ~~~~~~ ^~~~~~~ formula.c:712:24: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case OR_FORM: return AND_FORM; ~~~~~~ ^~~~~~~~ formula.c:713:25: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case ALL_FORM: return EXISTS_FORM; ~~~~~~ ^~~~~~~~~~~ formula.c:714:28: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case EXISTS_FORM: return ALL_FORM; ~~~~~~ ^~~~~~~~ formula.c:736:13: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion] f->type = dual_type(f->type); ~ ^~~~~~~~~~~~~~~~~~ formula.c:1002:34: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion] Formula g = formula_get(1, dual_type(h->type)); ~~~~~~~~~~~ ^~~~~~~~~~~~~~~~~~ formula.c:1010:41: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion] Formula g = formula_get(h->arity, dual_type(h->type)); ~~~~~~~~~~~ ^~~~~~~~~~~~~~~~~~ 7 warnings generated. libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT formula.c -o formula.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o definitions.lo definitions.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT definitions.c -fPIC -DPIC -o .libs/definitions.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT definitions.c -o definitions.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o literals.lo literals.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT literals.c -fPIC -DPIC -o .libs/literals.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT literals.c -o literals.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o topform.lo topform.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT topform.c -fPIC -DPIC -o .libs/topform.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT topform.c -o topform.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clist.lo clist.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clist.c -fPIC -DPIC -o .libs/clist.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clist.c -o clist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clauseid.lo clauseid.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clauseid.c -fPIC -DPIC -o .libs/clauseid.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clauseid.c -o clauseid.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clauses.lo clauses.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clauses.c -fPIC -DPIC -o .libs/clauses.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clauses.c -o clauses.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o just.lo just.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT just.c -fPIC -DPIC -o .libs/just.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT just.c -o just.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o cnf.lo cnf.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT cnf.c -fPIC -DPIC -o .libs/cnf.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT cnf.c -o cnf.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clausify.lo clausify.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clausify.c -fPIC -DPIC -o .libs/clausify.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clausify.c -o clausify.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o parautil.lo parautil.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT parautil.c -fPIC -DPIC -o .libs/parautil.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT parautil.c -o parautil.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o pindex.lo pindex.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT pindex.c -fPIC -DPIC -o .libs/pindex.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT pindex.c -o pindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o compress.lo compress.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT compress.c -fPIC -DPIC -o .libs/compress.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT compress.c -o compress.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o maximal.lo maximal.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT maximal.c -fPIC -DPIC -o .libs/maximal.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT maximal.c -o maximal.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o lindex.lo lindex.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT lindex.c -fPIC -DPIC -o .libs/lindex.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT lindex.c -o lindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o weight.lo weight.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT weight.c -fPIC -DPIC -o .libs/weight.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT weight.c -o weight.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o weight2.lo weight2.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT weight2.c -fPIC -DPIC -o .libs/weight2.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT weight2.c -o weight2.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o int_code.lo int_code.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT int_code.c -fPIC -DPIC -o .libs/int_code.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT int_code.c -o int_code.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o features.lo features.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT features.c -fPIC -DPIC -o .libs/features.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT features.c -o features.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o di_tree.lo di_tree.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT di_tree.c -fPIC -DPIC -o .libs/di_tree.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT di_tree.c -o di_tree.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o fastparse.lo fastparse.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fastparse.c -fPIC -DPIC -o .libs/fastparse.o fastparse.c:186:23: warning: format string is not a string literal (potentially insecure) [-Wformat-security] fprintf(stderr, s); ^ fastparse.c:186:23: note: treat the string as an argument to avoid this fprintf(stderr, s); ^ "%s", fastparse.c:187:23: warning: format string is not a string literal (potentially insecure) [-Wformat-security] fprintf(stdout, s); ^ fastparse.c:187:23: note: treat the string as an argument to avoid this fprintf(stdout, s); ^ "%s", 2 warnings generated. libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT fastparse.c -o fastparse.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o random.lo random.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT random.c -fPIC -DPIC -o .libs/random.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT random.c -o random.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o subsume.lo subsume.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT subsume.c -fPIC -DPIC -o .libs/subsume.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT subsume.c -o subsume.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clause_misc.lo clause_misc.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clause_misc.c -fPIC -DPIC -o .libs/clause_misc.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clause_misc.c -o clause_misc.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clause_eval.lo clause_eval.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clause_eval.c -fPIC -DPIC -o .libs/clause_eval.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clause_eval.c -o clause_eval.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o complex.lo complex.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT complex.c -fPIC -DPIC -o .libs/complex.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT complex.c -o complex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o dollar.lo dollar.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT dollar.c -fPIC -DPIC -o .libs/dollar.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT dollar.c -o dollar.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o flatdemod.lo flatdemod.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT flatdemod.c -o flatdemod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o demod.lo demod.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT demod.c -fPIC -DPIC -o .libs/demod.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT demod.c -o demod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o clash.lo clash.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clash.c -fPIC -DPIC -o .libs/clash.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT clash.c -o clash.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o resolve.lo resolve.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT resolve.c -fPIC -DPIC -o .libs/resolve.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT resolve.c -o resolve.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o paramod.lo paramod.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT paramod.c -fPIC -DPIC -o .libs/paramod.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT paramod.c -o paramod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o backdemod.lo backdemod.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT backdemod.c -fPIC -DPIC -o .libs/backdemod.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT backdemod.c -o backdemod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o hints.lo hints.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT hints.c -fPIC -DPIC -o .libs/hints.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT hints.c -o hints.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o ac_redun.lo ac_redun.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ac_redun.c -fPIC -DPIC -o .libs/ac_redun.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ac_redun.c -o ac_redun.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o xproofs.lo xproofs.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT xproofs.c -fPIC -DPIC -o .libs/xproofs.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT xproofs.c -o xproofs.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o ivy.lo ivy.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ivy.c -fPIC -DPIC -o .libs/ivy.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ivy.c -o ivy.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o interp.lo interp.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT interp.c -fPIC -DPIC -o .libs/interp.o interp.c:2238:10: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ordertype' [-Wenum-conversion] return TRUE; ~~~~~~ ^~~~ 1 warning generated. libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT interp.c -o interp.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o std_options.lo std_options.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT std_options.c -fPIC -DPIC -o .libs/std_options.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT std_options.c -o std_options.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o banner.lo banner.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT banner.c -fPIC -DPIC -o .libs/banner.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT banner.c -o banner.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o ioutil.lo ioutil.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ioutil.c -fPIC -DPIC -o .libs/ioutil.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT ioutil.c -o ioutil.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o tptp_trans.lo tptp_trans.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT tptp_trans.c -fPIC -DPIC -o .libs/tptp_trans.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT tptp_trans.c -o tptp_trans.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT -o top_input.lo top_input.c libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT top_input.c -fPIC -DPIC -o .libs/top_input.o libtool: compile: clang -c -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -D_REENTRANT top_input.c -o top_input.o >/dev/null 2>&1 libtool --tag=CC --mode=link clang -shared -rpath /usr/lib -version-info 4:0:0 -o libladr.la order.lo clock.lo nonport.lo fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo glist.lo options.lo symbols.lo avltree.lo term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo termorder.lo parse.lo accanon.lo unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo formula.lo definitions.lo literals.lo topform.lo clist.lo clauseid.lo clauses.lo just.lo cnf.lo clausify.lo parautil.lo pindex.lo compress.lo maximal.lo lindex.lo weight.lo weight2.lo int_code.lo features.lo di_tree.lo fastparse.lo random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo backdemod.lo hints.lo ac_redun.lo xproofs.lo ivy.lo interp.lo std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo -lm libtool: link: x86_64-pc-linux-gnu-gcc -shared -fPIC -DPIC .libs/order.o .libs/clock.o .libs/nonport.o .libs/fatal.o .libs/ibuffer.o .libs/memory.o .libs/hash.o .libs/string.o .libs/strbuf.o .libs/glist.o .libs/options.o .libs/symbols.o .libs/avltree.o .libs/term.o .libs/termflag.o .libs/listterm.o .libs/tlist.o .libs/flatterm.o .libs/multiset.o .libs/termorder.o .libs/parse.o .libs/accanon.o .libs/unify.o .libs/fpalist.o .libs/fpa.o .libs/discrim.o .libs/discrimb.o .libs/discrimw.o .libs/dioph.o .libs/btu.o .libs/btm.o .libs/mindex.o .libs/basic.o .libs/attrib.o .libs/formula.o .libs/definitions.o .libs/literals.o .libs/topform.o .libs/clist.o .libs/clauseid.o .libs/clauses.o .libs/just.o .libs/cnf.o .libs/clausify.o .libs/parautil.o .libs/pindex.o .libs/compress.o .libs/maximal.o .libs/lindex.o .libs/weight.o .libs/weight2.o .libs/int_code.o .libs/features.o .libs/di_tree.o .libs/fastparse.o .libs/random.o .libs/subsume.o .libs/clause_misc.o .libs/clause_eval.o .libs/complex.o .libs/dollar.o .libs/flatdemod.o .libs/demod.o .libs/clash.o .libs/resolve.o .libs/paramod.o .libs/backdemod.o .libs/hints.o .libs/ac_redun.o .libs/xproofs.o .libs/ivy.o .libs/interp.o .libs/std_options.o .libs/banner.o .libs/ioutil.o .libs/tptp_trans.o .libs/top_input.o -lm -Wl,-soname -Wl,libladr.so.4 -o .libs/libladr.so.4.0.0 libtool: link: (cd ".libs" && rm -f "libladr.so.4" && ln -s "libladr.so.4.0.0" "libladr.so.4") libtool: link: (cd ".libs" && rm -f "libladr.so" && ln -s "libladr.so.4.0.0" "libladr.so") libtool: link: ( cd ".libs" && rm -f "libladr.la" && ln -s "../libladr.la" "libladr.la" ) make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' cd mace4.src && make all make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' cd ../ladr && make libladr.la make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[2]: 'libladr.la' is up to date. make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make clean make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' libtool --tag=CC --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make libmace4.a make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o estack.o estack.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o util.o util.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o print.o print.c print.c:114:13: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s2); ^~ print.c:114:13: note: treat the string as an argument to avoid this printf(s2); ^ "%s", print.c:119:15: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s3); ^~ print.c:119:15: note: treat the string as an argument to avoid this printf(s3); ^ "%s", print.c:137:11: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s2); ^~ print.c:137:11: note: treat the string as an argument to avoid this printf(s2); ^ "%s", print.c:145:15: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s3); ^~ print.c:145:15: note: treat the string as an argument to avoid this printf(s3); ^ "%s", 4 warnings generated. clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o syms.o syms.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o ground.o ground.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o arithmetic.o arithmetic.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o select.o select.c select.c:236:44: error: parameter 'max_constrained' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^ select.c:236:36: error: parameter 'max_id' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^ select.c:236:28: error: parameter 'min_id' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^ select.c:236:5: warning: a function definition without a prototype is deprecated in all versions of C and is not supported in C2x [-Wdeprecated-non-prototype] int select_concentric_band(min_id, max_id, max_constrained) ^ 1 warning and 3 errors generated. make[2]: *** [: select.o] Error 1 make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make[1]: *** [Makefile:26: lib] Error 2 make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make: *** [Makefile:6: all] Error 2 * ERROR: sci-mathematics/prover9-2009.11a::gentoo failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=sci-mathematics/prover9-2009.11a::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/prover9-2009.11a::gentoo'`. * The complete build log is located at '/var/log/portage/sci-mathematics:prover9-2009.11a:20220918-100958.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A' * S: '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/'