Mock Version: 1.1.1 Mock Version: 1.1.1 ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target i686 --nodeps builddir/build/SPECS/prover9.spec'], False, '/var/lib/mock/dist-f14-build-856598-125278/root/', None, 86400, True, 0, 417, 419, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target i686 --nodeps builddir/build/SPECS/prover9.spec'] warning: Could not canonicalize hostname: x86-18.phx2.fedoraproject.org Building target platforms: i686 Building for target i686 Wrote: /builddir/build/SRPMS/prover9-200911a-1.fc14.src.rpm Child returncode was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/prover9.spec'], False, '/var/lib/mock/dist-f14-build-856598-125278/root/', None, 86400, True, 0, 417, 419, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/prover9.spec'] Building target platforms: i686 Building for target i686 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.0LNSu7 + umask 022 + cd /builddir/build/BUILD + LANG=C + export LANG + unset DISPLAY + cd /builddir/build/BUILD + rm -rf LADR-2009-11A + /usr/bin/gzip -dc /builddir/build/SOURCES/LADR-2009-11A.tar.gz + /bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd LADR-2009-11A + /usr/bin/gzip -dc /builddir/build/SOURCES/prover9-manual-2009-11A.tar.gz + /bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + /bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (prover9-no-2.5isms.patch):' Patch #0 (prover9-no-2.5isms.patch): + /bin/cat /builddir/build/SOURCES/prover9-no-2.5isms.patch + /usr/bin/patch -s -p1 --fuzz=0 Patch #1 (prover9-manpages.patch): + echo 'Patch #1 (prover9-manpages.patch):' + /bin/cat /builddir/build/SOURCES/prover9-manpages.patch + /usr/bin/patch -s -p1 --fuzz=0 Patch #2 (prover9-fedora.patch): + echo 'Patch #2 (prover9-fedora.patch):' + /bin/cat /builddir/build/SOURCES/prover9-fedora.patch + /usr/bin/patch -s -p0 --fuzz=0 + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.hXpDPZ + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + LANG=C + export LANG + unset DISPLAY + make all 'CFLAGS=-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables' cd ladr && make lib make[1]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make libladr.a make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/ladr' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o order.o order.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clock.o clock.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o nonport.o nonport.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o fatal.o fatal.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ibuffer.o ibuffer.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o memory.o memory.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o hash.o hash.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o string.o string.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o strbuf.o strbuf.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o glist.o glist.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o options.o options.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o symbols.o symbols.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o avltree.o avltree.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o term.o term.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o termflag.o termflag.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o listterm.o listterm.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o tlist.o tlist.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o flatterm.o flatterm.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o multiset.o multiset.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o termorder.o termorder.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o parse.o parse.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o accanon.o accanon.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o unify.o unify.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o fpalist.o fpalist.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o fpa.o fpa.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o discrim.o discrim.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o discrimb.o discrimb.c discrimb.c:487:7: warning: 'check_flat2' defined but not used gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o discrimw.o discrimw.c discrimw.c:146:6: warning: 'check_flat' defined but not used gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o dioph.o dioph.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o btu.o btu.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o btm.o btm.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o mindex.o mindex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o basic.o basic.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o attrib.o attrib.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o formula.o formula.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o definitions.o definitions.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o literals.o literals.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o topform.o topform.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clist.o clist.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clauseid.o clauseid.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clauses.o clauses.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o just.o just.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o cnf.o cnf.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clausify.o clausify.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o parautil.o parautil.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o pindex.o pindex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o compress.o compress.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o maximal.o maximal.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o lindex.o lindex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o weight.o weight.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o weight2.o weight2.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o int_code.o int_code.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o features.o features.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o di_tree.o di_tree.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o fastparse.o fastparse.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o random.o random.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o subsume.o subsume.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clause_misc.o clause_misc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clause_eval.o clause_eval.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o complex.o complex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o dollar.o dollar.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o flatdemod.o flatdemod.c flatdemod.c: In function 'discrim_flat_retrieve_leaf': flatdemod.c:122:16: warning: comparison between 'BOOL' and 'enum ' flatdemod.c:167:16: warning: comparison between 'BOOL' and 'enum ' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o demod.o demod.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clash.o clash.c clash.c: In function 'clash_recurse': clash.c:283:3: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o resolve.o resolve.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o paramod.o paramod.c paramod.c: In function 'para_into': paramod.c:347:3: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o backdemod.o backdemod.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o hints.o hints.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ac_redun.o ac_redun.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o xproofs.o xproofs.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ivy.o ivy.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o interp.o interp.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o std_options.o std_options.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o banner.o banner.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ioutil.o ioutil.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o tptp_trans.o tptp_trans.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o top_input.o top_input.c ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o ar: creating libladr.a make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make[1]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/ladr' cd mace4.src && make all make[1]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' cd ../ladr && make libladr.a make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make[2]: `libladr.a' is up to date. make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make clean make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' /bin/rm -f *.o make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' make libmace4.a make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o estack.o estack.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o util.o util.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o print.o print.c print.c: In function 'p_model': print.c:107:2: warning: assuming signed overflow does not occur when assuming that (X + c) < X is always false gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o syms.o syms.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ground.o ground.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o arithmetic.o arithmetic.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o select.o select.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o propagate.o propagate.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o mstate.o mstate.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o negpropindex.o negpropindex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o negprop.o negprop.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ordercells.o ordercells.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o commandline.o commandline.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o msearch.o msearch.c 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 ar: creating libmace4.a make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o mace4.o mace4.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o mace4 mace4.o libmace4.a ../ladr/libladr.a /bin/mv mace4 ../bin make[1]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' cd provers.src && make all make[1]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/provers.src' cd ../ladr && make libladr make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make libladr.a make[3]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make[3]: `libladr.a' is up to date. make[3]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make clean make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/provers.src' /bin/rm -f *.o make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/provers.src' cd ../mace4.src && make libmace4 make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' make libmace4.a make[3]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' make[3]: `libmace4.a' is up to date. make[3]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/mace4.src' make clean make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/provers.src' /bin/rm -f *.o make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/provers.src' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o prover9.o prover9.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o index_lits.o index_lits.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o forward_subsume.o forward_subsume.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o demodulate.o demodulate.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o pred_elim.o pred_elim.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o unfold.o unfold.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o semantics.o semantics.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o giv_select.o giv_select.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o white_black.o white_black.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o actions.o actions.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o search.o search.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o utilities.o utilities.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o provers.o provers.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o foffer.o foffer.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o fof-prover9.o fof-prover9.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o autosketches4.o autosketches4.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o newauto.o newauto.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o newsax.o newsax.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o ladr_to_tptp.o ladr_to_tptp.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o tptp_to_ladr.o tptp_to_ladr.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -lm -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin /bin/rm -f *.o make[1]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/provers.src' cd apps.src && make all make[1]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/apps.src' cd ../ladr && make libladr.a make[2]: Entering directory `/builddir/build/BUILD/LADR-2009-11A/ladr' make[2]: `libladr.a' is up to date. make[2]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/ladr' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o latfilter.o latfilter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o latfilter latfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o olfilter.o olfilter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o olfilter olfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clausefilter.o clausefilter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o clausefilter clausefilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o idfilter.o idfilter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o idfilter idfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o renamer.o renamer.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o renamer renamer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o unfast.o unfast.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o unfast unfast.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o clausetester.o clausetester.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o clausetester clausetester.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o rewriter.o rewriter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o rewriter rewriter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o isofilter0.o isofilter0.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o isofilter0 isofilter0.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o isofilter.o isofilter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o isofilter isofilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o isofilter2.o isofilter2.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o isofilter2 isofilter2.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o dprofiles.o dprofiles.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o dprofiles dprofiles.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o interpfilter.o interpfilter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o interpfilter interpfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o upper-covers.o upper-covers.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o upper-covers upper-covers.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o miniscope.o miniscope.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o miniscope miniscope.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o interpformat.o interpformat.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o interpformat interpformat.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o prooftrans.o prooftrans.c prooftrans.c: In function 'main': prooftrans.c:361:12: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o prooftrans prooftrans.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o mirror-flip.o mirror-flip.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o mirror-flip mirror-flip.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o perm3.o perm3.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o perm3 perm3.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o sigtest.o sigtest.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o sigtest sigtest.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o directproof.o directproof.c directproof.c: In function 'main': directproof.c:706:12: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o directproof directproof.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o test_clause_eval.o test_clause_eval.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o test_clause_eval test_clause_eval.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o test_complex.o test_complex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o test_complex test_complex.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o complex.o complex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o complex complex.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o gen_trc_defs.o gen_trc_defs.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a /bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs make[1]: Leaving directory `/builddir/build/BUILD/LADR-2009-11A/apps.src' /bin/cp -p utilities/* bin **** Now try 'make test1'. **** + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.gUYG8N + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 ++ dirname /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 + cd LADR-2009-11A + LANG=C + export LANG + unset DISPLAY + /bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin + for f in 'bin/*' ++ basename bin/attack + /usr/bin/install -p -m 0755 bin/attack /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-attack + for f in 'bin/*' ++ basename bin/autosketches4 + /usr/bin/install -p -m 0755 bin/autosketches4 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-autosketches4 + for f in 'bin/*' ++ basename bin/clausefilter + /usr/bin/install -p -m 0755 bin/clausefilter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-clausefilter + for f in 'bin/*' ++ basename bin/clausetester + /usr/bin/install -p -m 0755 bin/clausetester /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-clausetester + for f in 'bin/*' ++ basename bin/complex + /usr/bin/install -p -m 0755 bin/complex /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-complex + for f in 'bin/*' ++ basename bin/directproof + /usr/bin/install -p -m 0755 bin/directproof /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-directproof + for f in 'bin/*' ++ basename bin/dprofiles + /usr/bin/install -p -m 0755 bin/dprofiles /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-dprofiles + for f in 'bin/*' ++ basename bin/fof-prover9 + /usr/bin/install -p -m 0755 bin/fof-prover9 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-fof-prover9 + for f in 'bin/*' ++ basename bin/gen_trc_defs + /usr/bin/install -p -m 0755 bin/gen_trc_defs /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-gen_trc_defs + for f in 'bin/*' ++ basename bin/get_givens + /usr/bin/install -p -m 0755 bin/get_givens /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-get_givens + for f in 'bin/*' ++ basename bin/get_interps + /usr/bin/install -p -m 0755 bin/get_interps /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-get_interps + for f in 'bin/*' ++ basename bin/get_kept + /usr/bin/install -p -m 0755 bin/get_kept /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-get_kept + for f in 'bin/*' ++ basename bin/gvizify + /usr/bin/install -p -m 0755 bin/gvizify /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-gvizify + for f in 'bin/*' ++ basename bin/idfilter + /usr/bin/install -p -m 0755 bin/idfilter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-idfilter + for f in 'bin/*' ++ basename bin/interpfilter + /usr/bin/install -p -m 0755 bin/interpfilter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-interpfilter + for f in 'bin/*' ++ basename bin/interpformat + /usr/bin/install -p -m 0755 bin/interpformat /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-interpformat + for f in 'bin/*' ++ basename bin/isofilter + /usr/bin/install -p -m 0755 bin/isofilter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-isofilter + for f in 'bin/*' ++ basename bin/isofilter0 + /usr/bin/install -p -m 0755 bin/isofilter0 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-isofilter0 + for f in 'bin/*' ++ basename bin/isofilter2 + /usr/bin/install -p -m 0755 bin/isofilter2 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-isofilter2 + for f in 'bin/*' ++ basename bin/ladr_to_tptp + /usr/bin/install -p -m 0755 bin/ladr_to_tptp /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-ladr_to_tptp + for f in 'bin/*' ++ basename bin/latfilter + /usr/bin/install -p -m 0755 bin/latfilter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-latfilter + for f in 'bin/*' ++ basename bin/looper + /usr/bin/install -p -m 0755 bin/looper /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-looper + for f in 'bin/*' ++ basename bin/mace4 + /usr/bin/install -p -m 0755 bin/mace4 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-mace4 + for f in 'bin/*' ++ basename bin/miniscope + /usr/bin/install -p -m 0755 bin/miniscope /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-miniscope + for f in 'bin/*' ++ basename bin/mirror-flip + /usr/bin/install -p -m 0755 bin/mirror-flip /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-mirror-flip + for f in 'bin/*' ++ basename bin/newauto + /usr/bin/install -p -m 0755 bin/newauto /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-newauto + for f in 'bin/*' ++ basename bin/newsax + /usr/bin/install -p -m 0755 bin/newsax /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-newsax + for f in 'bin/*' ++ basename bin/olfilter + /usr/bin/install -p -m 0755 bin/olfilter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-olfilter + for f in 'bin/*' ++ basename bin/perm3 + /usr/bin/install -p -m 0755 bin/perm3 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-perm3 + for f in 'bin/*' ++ basename bin/proof3fo.xsl + /usr/bin/install -p -m 0755 bin/proof3fo.xsl /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-proof3fo.xsl + for f in 'bin/*' ++ basename bin/prooftrans + /usr/bin/install -p -m 0755 bin/prooftrans /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-prooftrans + for f in 'bin/*' ++ basename bin/prover9 + /usr/bin/install -p -m 0755 bin/prover9 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-prover9 + for f in 'bin/*' ++ basename bin/prover9-mace4 + /usr/bin/install -p -m 0755 bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-prover9-mace4 + for f in 'bin/*' ++ basename bin/renamer + /usr/bin/install -p -m 0755 bin/renamer /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-renamer + for f in 'bin/*' ++ basename bin/rewriter + /usr/bin/install -p -m 0755 bin/rewriter /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-rewriter + for f in 'bin/*' ++ basename bin/sigtest + /usr/bin/install -p -m 0755 bin/sigtest /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-sigtest + for f in 'bin/*' ++ basename bin/test_clause_eval + /usr/bin/install -p -m 0755 bin/test_clause_eval /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-test_clause_eval + for f in 'bin/*' ++ basename bin/test_complex + /usr/bin/install -p -m 0755 bin/test_complex /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-test_complex + for f in 'bin/*' ++ basename bin/tptp_to_ladr + /usr/bin/install -p -m 0755 bin/tptp_to_ladr /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-tptp_to_ladr + for f in 'bin/*' ++ basename bin/unfast + /usr/bin/install -p -m 0755 bin/unfast /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-unfast + for f in 'bin/*' ++ basename bin/upper-covers + /usr/bin/install -p -m 0755 bin/upper-covers /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-upper-covers + /bin/rm /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-proof3fo.xsl + /bin/rm /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-prover9-mace4 + /bin/rm /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-test_clause_eval + /bin/mv /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/mace4 + /bin/mv /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-prover9 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9 + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1 + /usr/bin/install -p -m 0644 manpages/interpformat.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-interpformat.1 + /usr/bin/install -p -m 0644 manpages/isofilter.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-isofilter.1 + ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-isofilter0.1.gz + ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-isofilter2.1.gz + /usr/bin/install -p -m 0644 manpages/prooftrans.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-prooftrans.1 + /usr/bin/install -p -m 0644 manpages/mace4.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1 + /usr/bin/install -p -m 0644 manpages/prover9.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1 + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/include/ladr + /usr/bin/install -p -m 0644 ladr/ac_redun.h ladr/accanon.h ladr/attrib.h ladr/avltree.h ladr/backdemod.h ladr/banner.h ladr/basic.h ladr/btm.h ladr/btu.h ladr/clash.h ladr/clause_eval.h ladr/clause_misc.h ladr/clauseid.h ladr/clauses.h ladr/clausify.h ladr/clist.h ladr/clock.h ladr/cnf.h ladr/complex.h ladr/compress.h ladr/definitions.h ladr/demod.h ladr/di_tree.h ladr/dioph.h ladr/discrim.h ladr/discrimb.h ladr/discrimw.h ladr/dollar.h ladr/fastparse.h ladr/fatal.h ladr/features.h ladr/flatdemod.h ladr/flatterm.h ladr/formula.h ladr/fpa.h ladr/fpalist.h ladr/glist.h ladr/hash.h ladr/header.h ladr/hints.h ladr/ibuffer.h ladr/index.h ladr/int_code.h ladr/interp.h ladr/ioutil.h ladr/ivy.h ladr/just.h ladr/ladr.h ladr/lindex.h ladr/listterm.h ladr/literals.h ladr/maximal.h ladr/memory.h ladr/mindex.h ladr/multiset.h ladr/nonport.h ladr/options.h ladr/order.h ladr/paramod.h ladr/parautil.h ladr/parse.h ladr/pindex.h ladr/random.h ladr/resolve.h ladr/std_options.h ladr/strbuf.h ladr/string.h ladr/subsume.h ladr/symbols.h ladr/term.h ladr/termflag.h ladr/termorder.h ladr/tlist.h ladr/top_input.h ladr/topform.h ladr/tptp_trans.h ladr/unify.h ladr/weight.h ladr/weight2.h ladr/xproofs.h /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/include/ladr + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/lib + /usr/bin/install -p -m 0644 ladr/libladr.a /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/lib + /usr/bin/install -p -m 0644 manpages/clausefilter.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-clausefilter.1 + /usr/bin/install -p -m 0644 manpages/clausetester.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-clausetester.1 + /usr/bin/install -p -m 0644 manpages/interpfilter.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-interpfilter.1 + /usr/bin/install -p -m 0644 manpages/rewriter.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1/prover9-rewriter.1 + /usr/bin/install -p -m 0644 manpages/prover9-apps.1 /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/man/man1 + chmod 0644 apps.examples/run-all + /usr/lib/rpm/find-debuginfo.sh --strict-build-id /builddir/build/BUILD/LADR-2009-11A extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-interpfilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-dprofiles extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-ladr_to_tptp extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-interpformat extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-fof-prover9 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-olfilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-latfilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/mace4 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-isofilter0 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-isofilter2 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-mirror-flip extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-directproof extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-rewriter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-gen_trc_defs extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-unfast extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-perm3 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-test_complex extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-miniscope extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-newsax extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-newauto extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-complex extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-clausetester extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-clausefilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-prooftrans extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-sigtest extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-isofilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-renamer extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-upper-covers extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-autosketches4 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-tptp_to_ladr extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/bin/prover9-idfilter 3512 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.d7QMlN + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + unset DISPLAY + make test1 test2 test3 bin/prover9 -f prover9.examples/x2.in | bin/prooftrans parents_only ============================== prooftrans ============================ Prover9 (32) version 2009-11A, November 2009. Process 6812 was started by mockbuild on x86-18.phx2.fedoraproject.org, Fri Aug 6 01:26:04 2010 The command was "bin/prover9 -f prover9.examples/x2.in". ============================== end of head =========================== ============================== end of input ========================== -------- Proof 1 -------- THEOREM PROVED ------ process 6812 exit (max_proofs) ------  ============================== PROOF ================================= % -------- Comments from original proof -------- % Proof 1 at 0.01 (+ 0.00) seconds. % Length of proof is 16. % Level of proof is 7. % Maximum clause weight is 11.000. % Given clauses 12. 1 x * y = y * x # label(non_clause) # label(goal). []. 2 e * x = x. []. 3 x' * x = e. []. 4 (x * y) * z = x * (y * z). []. 5 x * x = e. []. 6 c2 * c1 != c1 * c2. [1]. 7 x' * (x * y) = y. [3,4,2]. 8 x * (x * y) = y. [5,4,2]. 9 x * (y * (x * y)) = e. [5,4]. 11 x'' * e = x. [3,7]. 13 x' * e = x. [5,7]. 15 x' = x. [11,13]. 16 x * e = x. [13,15]. 19 x * (y * x) = y. [9,8,16]. 24 x * y = y * x. [19,8]. 25 $F. [24,6]. ============================== end of proof ========================== **** If you see a proof, prover9 is probably okay. **** **** Next try 'make test2'. **** bin/mace4 -v0 -f mace4.examples/group2.in | bin/interpformat tabular === Mace4 starting on domain size 2. === === Mace4 starting on domain size 3. === === Mace4 starting on domain size 4. === === Mace4 starting on domain size 5. === === Mace4 starting on domain size 6. === ------ process 6819 exit (max_models) ------ % number = 1 % seconds = 0 % Interpretation of size 6 * : | 0 1 2 3 4 5 ---+------------ 0 | 0 1 2 3 4 5 1 | 1 0 3 2 5 4 2 | 2 4 0 5 1 3 3 | 3 5 1 4 0 2 4 | 4 2 5 0 3 1 5 | 5 3 4 1 2 0 c1 : 0 c2 : 1 c3 : 2 f1 : 0 1 2 3 4 5 ---------------- 0 1 2 4 3 5 **** If you see a group table, mace4 is probably okay. **** **** Next try 'make test3'. **** bin/mace4 -n3 -m -1 < apps.examples/qg.in | bin/interpformat | bin/isofilter === Mace4 starting on domain size 3. === ------ process 6826 exit (all_models) ------ interpretation( 3, [number = 1,seconds = 0], [ function(*(_,_), [ 0,1,2, 1,2,0, 2,0,1]), function(/(_,_), [ 0,2,1, 1,0,2, 2,1,0]), function(\(_,_), [ 0,1,2, 2,0,1, 1,2,0])]). interpretation( 3, [number = 2,seconds = 0], [ function(*(_,_), [ 0,1,2, 2,0,1, 1,2,0]), function(/(_,_), [ 0,1,2, 2,0,1, 1,2,0]), function(\(_,_), [ 0,1,2, 1,2,0, 2,0,1])]). interpretation( 3, [number = 3,seconds = 0], [ function(*(_,_), [ 0,2,1, 1,0,2, 2,1,0]), function(/(_,_), [ 0,1,2, 1,2,0, 2,0,1]), function(\(_,_), [ 0,2,1, 1,0,2, 2,1,0])]). interpretation( 3, [number = 4,seconds = 0], [ function(*(_,_), [ 0,2,1, 2,1,0, 1,0,2]), function(/(_,_), [ 0,2,1, 2,1,0, 1,0,2]), function(\(_,_), [ 0,2,1, 2,1,0, 1,0,2])]). interpretation( 3, [number = 5,seconds = 0], [ function(*(_,_), [ 1,0,2, 0,2,1, 2,1,0]), function(/(_,_), [ 1,0,2, 0,2,1, 2,1,0]), function(\(_,_), [ 1,0,2, 0,2,1, 2,1,0])]). % isofilter: input=8, kept=5, checks=16, perms=88, 0.01 seconds. *** If you see 5 interpretations, the apps are probably okay. *** *** All of the programs are in ./bin, and they can be copied anywhere you like. *** + exit 0 Processing files: prover9-200911a-1.fc14.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.CC2tKM + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-200911a + export DOCDIR + rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-200911a + /bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-200911a + cp -pr Changelog COPYING TODO copyright mace4.examples prover9.examples /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-200911a + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.1) rtld(GNU_HASH) Processing files: prover9-devel-200911a-1.fc14.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.tWZZzM + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-devel-200911a + export DOCDIR + rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-devel-200911a + /bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-devel-200911a + cp -pr ladr/html /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-devel-200911a + exit 0 Provides: prover9-static = 200911a-1.fc14 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(VersionedDependencies) <= 3.0.3-1 Processing files: prover9-apps-200911a-1.fc14.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.m5vnSM + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-apps-200911a + export DOCDIR + rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-apps-200911a + /bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-apps-200911a + cp -pr apps.examples apps.src/README.directproof /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-apps-200911a + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh /usr/bin/python libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.1) rtld(GNU_HASH) Processing files: prover9-doc-200911a-1.fc14.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.rkr1SN + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-doc-200911a + export DOCDIR + rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-doc-200911a + /bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-doc-200911a + cp -pr prover9-manual-2009-11A/actions.html prover9-manual-2009-11A/advanced.html prover9-manual-2009-11A/attributes.html prover9-manual-2009-11A/auto.html prover9-manual-2009-11A/clause-properties.html prover9-manual-2009-11A/fof-prover9.html prover9-manual-2009-11A/glossary.html prover9-manual-2009-11A/goals.html prover9-manual-2009-11A/hints.html prover9-manual-2009-11A/index.html prover9-manual-2009-11A/inf-rules.html prover9-manual-2009-11A/input.html prover9-manual-2009-11A/install.html prover9-manual-2009-11A/intro.html prover9-manual-2009-11A/limits.html prover9-manual-2009-11A/loop.html prover9-manual-2009-11A/m4-arithmetic.html prover9-manual-2009-11A/m4-input.html prover9-manual-2009-11A/m4-interpformat.html prover9-manual-2009-11A/m4-isofilter.html prover9-manual-2009-11A/m4-options.html prover9-manual-2009-11A/mace4.html prover9-manual-2009-11A/more-prep.html prover9-manual-2009-11A/nav.html prover9-manual-2009-11A/options.html prover9-manual-2009-11A/others.html prover9-manual-2009-11A/output.html prover9-manual-2009-11A/process-inf.html prover9-manual-2009-11A/production.html prover9-manual-2009-11A/prooftrans.html prover9-manual-2009-11A/references.html prover9-manual-2009-11A/running.html prover9-manual-2009-11A/select.html prover9-manual-2009-11A/select2.html prover9-manual-2009-11A/semantics.html prover9-manual-2009-11A/syntax.html prover9-manual-2009-11A/talk-semantics.html prover9-manual-2009-11A/talk-software.html prover9-manual-2009-11A/term-order.html prover9-manual-2009-11A/weight.html prover9-manual-2009-11A/white-black.html prover9-manual-2009-11A/manual.css prover9-manual-2009-11A/prover9-5a-256t.gif /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386/usr/share/doc/prover9-doc-200911a + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: prover9-debuginfo-200911a-1.fc14.i686 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 warning: Could not canonicalize hostname: x86-18.phx2.fedoraproject.org Wrote: /builddir/build/RPMS/prover9-200911a-1.fc14.i686.rpm Wrote: /builddir/build/RPMS/prover9-devel-200911a-1.fc14.i686.rpm Wrote: /builddir/build/RPMS/prover9-apps-200911a-1.fc14.i686.rpm Wrote: /builddir/build/RPMS/prover9-doc-200911a-1.fc14.i686.rpm Wrote: /builddir/build/RPMS/prover9-debuginfo-200911a-1.fc14.i686.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.YLnZ9n + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + /bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-1.fc14.i386 + exit 0 Child returncode was: 0 LEAVE do -->