Mock Version: 1.4.9 Mock Version: 1.4.9 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/prover9.spec'], chrootPath='/var/lib/mock/f29-build-7896-1969/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/prover9.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 Wrote: /builddir/build/SRPMS/prover9-200911a-12.fc29.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/prover9.spec'], chrootPath='/var/lib/mock/f29-build-7896-1969/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/prover9.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.1TDFve + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf LADR-2009-11A + /usr/bin/gzip -dc /builddir/build/SOURCES/LADR-2009-11A.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd LADR-2009-11A + /usr/bin/gzip -dc /builddir/build/SOURCES/prover9-manual-2009-11A.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + /usr/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): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file utilities/gvizify Patch #1 (prover9-manpages.patch): + echo 'Patch #1 (prover9-manpages.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file manpages/clausefilter.1 patching file manpages/clausetester.1 patching file manpages/interpfilter.1 patching file manpages/interpformat.1 patching file manpages/isofilter.1 patching file manpages/mace4.1 patching file manpages/prooftrans.1 patching file manpages/prover9.1 patching file manpages/prover9-apps.1 patching file manpages/rewriter.1 Patch #2 (prover9-fedora.patch): + echo 'Patch #2 (prover9-fedora.patch):' + /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 patching file utilities/attack patching file utilities/looper patching file utilities/prover9-mace4 patching file README.first patching file copyright Patch #3 (format-fix.patch): + echo 'Patch #3 (format-fix.patch):' + /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 patching file ladr/fastparse.c patching file mace4.src/print.c + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.7JvNno + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + make all 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' 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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o order.o order.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clock.o clock.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o nonport.o nonport.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fatal.o fatal.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ibuffer.o ibuffer.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o memory.o memory.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o hash.o hash.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o string.o string.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o strbuf.o strbuf.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o glist.o glist.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o options.o options.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o symbols.o symbols.c BUILDSTDERR: symbols.c: In function 'declare_base_symbols': BUILDSTDERR: symbols.c:1304:7: warning: variable 'sn' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int sn; BUILDSTDERR: ^~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o avltree.o avltree.c BUILDSTDERR: avltree.c: In function 'p_avl': BUILDSTDERR: avltree.c:658:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] BUILDSTDERR: printf("%4d\n", (int) p->item); BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o term.o term.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o termflag.o termflag.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o listterm.o listterm.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o tlist.o tlist.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o flatterm.o flatterm.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o multiset.o multiset.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o termorder.o termorder.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o parse.o parse.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o accanon.o accanon.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o unify.o unify.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fpalist.o fpalist.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fpa.o fpa.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o discrim.o discrim.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o discrimb.o discrimb.c BUILDSTDERR: discrimb.c:487:7: warning: 'check_flat2' defined but not used [-Wunused-function] BUILDSTDERR: Flat2 check_flat2(Flat2 f) BUILDSTDERR: ^~~~~~~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o discrimw.o discrimw.c BUILDSTDERR: discrimw.c:146:6: warning: 'check_flat' defined but not used [-Wunused-function] BUILDSTDERR: Flat check_flat(Flat f) BUILDSTDERR: ^~~~~~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o dioph.o dioph.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o btu.o btu.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o btm.o btm.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mindex.o mindex.c BUILDSTDERR: mindex.c: In function 'mindex_retrieve_next': BUILDSTDERR: mindex.c:650:11: warning: variable 'tr' set but not used [-Wunused-but-set-variable] BUILDSTDERR: Trail tr; BUILDSTDERR: ^~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o basic.o basic.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o attrib.o attrib.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o formula.o formula.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o definitions.o definitions.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o literals.o literals.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o topform.o topform.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clist.o clist.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clauseid.o clauseid.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clauses.o clauses.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o just.o just.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o cnf.o cnf.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clausify.o clausify.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o parautil.o parautil.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o pindex.o pindex.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o compress.o compress.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o maximal.o maximal.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o lindex.o lindex.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o weight.o weight.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o weight2.o weight2.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o int_code.o int_code.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o features.o features.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o di_tree.o di_tree.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fastparse.o fastparse.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o random.o random.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o subsume.o subsume.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clause_misc.o clause_misc.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clause_eval.o clause_eval.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o complex.o complex.c BUILDSTDERR: complex.c: In function 'complex4_p1': BUILDSTDERR: complex.c:275:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] BUILDSTDERR: BOOL dummy; BUILDSTDERR: ^~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o dollar.o dollar.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o flatdemod.o flatdemod.c BUILDSTDERR: flatdemod.c: In function 'discrim_flat_retrieve_leaf': BUILDSTDERR: flatdemod.c:122:16: warning: comparison between 'BOOL' {aka 'enum '} and 'enum ' [-Wenum-compare] BUILDSTDERR: if (status == BACKTRACK) { BUILDSTDERR: ^~ BUILDSTDERR: flatdemod.c:158:15: warning: variable 'dd' set but not used [-Wunused-but-set-variable] BUILDSTDERR: Discrim dd = NULL; BUILDSTDERR: ^~ BUILDSTDERR: flatdemod.c:167:16: warning: comparison between 'BOOL' {aka 'enum '} and 'enum ' [-Wenum-compare] BUILDSTDERR: if (status == GO) { BUILDSTDERR: ^~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o demod.o demod.c BUILDSTDERR: demod.c: In function 'demod1': BUILDSTDERR: demod.c:376:8: warning: variable 'result' set but not used [-Wunused-but-set-variable] BUILDSTDERR: Term result; BUILDSTDERR: ^~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clash.o clash.c BUILDSTDERR: clash.c: In function 'clash_recurse': BUILDSTDERR: clash.c:283:12: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] BUILDSTDERR: else if (!p->clashable | p->clashed) BUILDSTDERR: ^~~~~~~~~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o resolve.o resolve.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o paramod.o paramod.c BUILDSTDERR: paramod.c: In function 'para_into': BUILDSTDERR: paramod.c:347:8: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] BUILDSTDERR: if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o backdemod.o backdemod.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o hints.o hints.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ac_redun.o ac_redun.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o xproofs.o xproofs.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ivy.o ivy.c BUILDSTDERR: ivy.c: In function 'factor2_instances': BUILDSTDERR: ivy.c:633:14: warning: variable 'l1i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: Literals l1i, l2i, lit; BUILDSTDERR: ^~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o interp.o interp.c BUILDSTDERR: interp.c: In function 'transpose_binary': BUILDSTDERR: interp.c:358:10: warning: variable 'rc' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i, rc; BUILDSTDERR: ^~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o std_options.o std_options.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o banner.o banner.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ioutil.o ioutil.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o tptp_trans.o tptp_trans.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 BUILDSTDERR: 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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o estack.o estack.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o util.o util.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o print.o print.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o syms.o syms.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ground.o ground.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o arithmetic.o arithmetic.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o select.o select.c BUILDSTDERR: select.c: In function 'select_concentric_band': BUILDSTDERR: select.c:236:5: warning: type of 'min_id' defaults to 'int' [-Wimplicit-int] BUILDSTDERR: int select_concentric_band(min_id, max_id, max_constrained) BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: select.c:236:5: warning: type of 'max_id' defaults to 'int' [-Wimplicit-int] BUILDSTDERR: select.c:236:5: warning: type of 'max_constrained' defaults to 'int' [-Wimplicit-int] gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o propagate.o propagate.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mstate.o mstate.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o negpropindex.o negpropindex.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o negprop.o negprop.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ordercells.o ordercells.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o commandline.o commandline.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o msearch.o msearch.c BUILDSTDERR: msearch.c: In function 'next_domain_size': BUILDSTDERR: msearch.c:850:5: warning: type of 'n' defaults to 'int' [-Wimplicit-int] BUILDSTDERR: int next_domain_size(n) BUILDSTDERR: ^~~~~~~~~~~~~~~~ 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 BUILDSTDERR: ar: creating libmace4.a make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mace4.o mace4.c BUILDSTDERR: mace4.c: In function 'init_attrs': BUILDSTDERR: mace4.c:36:7: warning: variable 'id' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int id; BUILDSTDERR: ^~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o prover9.o prover9.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o index_lits.o index_lits.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o forward_subsume.o forward_subsume.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o demodulate.o demodulate.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o pred_elim.o pred_elim.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o unfold.o unfold.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o semantics.o semantics.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o giv_select.o giv_select.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o white_black.o white_black.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o actions.o actions.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o search.o search.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o utilities.o utilities.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o provers.o provers.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o foffer.o foffer.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fof-prover9.o fof-prover9.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o autosketches4.o autosketches4.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o newauto.o newauto.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o newsax.o newsax.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ladr_to_tptp.o ladr_to_tptp.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o tptp_to_ladr.o tptp_to_ladr.c BUILDSTDERR: tptp_to_ladr.c: In function 'main': BUILDSTDERR: tptp_to_ladr.c:84:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o latfilter.o latfilter.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o latfilter latfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o olfilter.o olfilter.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o olfilter olfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clausefilter.o clausefilter.c BUILDSTDERR: clausefilter.c: In function 'main': BUILDSTDERR: clausefilter.c:109:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o clausefilter clausefilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o idfilter.o idfilter.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o idfilter idfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o renamer.o renamer.c BUILDSTDERR: renamer.c: In function 'main': BUILDSTDERR: renamer.c:54:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o renamer renamer.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o unfast.o unfast.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o unfast unfast.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clausetester.o clausetester.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o clausetester clausetester.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o rewriter.o rewriter.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o rewriter rewriter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o isofilter0.o isofilter0.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o isofilter0 isofilter0.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o isofilter.o isofilter.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o isofilter isofilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o isofilter2.o isofilter2.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o isofilter2 isofilter2.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o dprofiles.o dprofiles.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o dprofiles dprofiles.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o interpfilter.o interpfilter.c BUILDSTDERR: interpfilter.c: In function 'main': BUILDSTDERR: interpfilter.c:66:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o interpfilter interpfilter.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o upper-covers.o upper-covers.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o upper-covers upper-covers.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o miniscope.o miniscope.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o miniscope miniscope.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o interpformat.o interpformat.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o interpformat interpformat.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o prooftrans.o prooftrans.c BUILDSTDERR: prooftrans.c: In function 'main': BUILDSTDERR: prooftrans.c:225:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int label_attr, answer_attr, props_attr; BUILDSTDERR: ^~~~~~~~~~ BUILDSTDERR: prooftrans.c:222:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int rc, n, number_of_proofs; BUILDSTDERR: ^~ BUILDSTDERR: prooftrans.c:361:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] BUILDSTDERR: fgets(s, BUF_MAX, fin); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o prooftrans prooftrans.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mirror-flip.o mirror-flip.c BUILDSTDERR: mirror-flip.c: In function 'main': BUILDSTDERR: mirror-flip.c:129:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o mirror-flip mirror-flip.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o perm3.o perm3.c BUILDSTDERR: perm3.c: In function 'main': BUILDSTDERR: perm3.c:120:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o perm3 perm3.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o sigtest.o sigtest.c BUILDSTDERR: sigtest.c: In function 'main': BUILDSTDERR: sigtest.c:33:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o sigtest sigtest.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o directproof.o directproof.c BUILDSTDERR: directproof.c: In function 'main': BUILDSTDERR: directproof.c:645:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int label_attr, answer_attr, props_attr; BUILDSTDERR: ^~~~~~~~~~ BUILDSTDERR: directproof.c:645:7: warning: variable 'label_attr' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int label_attr, answer_attr, props_attr; BUILDSTDERR: ^~~~~~~~~~ BUILDSTDERR: directproof.c:642:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int rc, n, number_of_proofs; BUILDSTDERR: ^~ BUILDSTDERR: directproof.c:706:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] BUILDSTDERR: fgets(s, BUF_MAX, fin); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o directproof directproof.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o test_clause_eval.o test_clause_eval.c BUILDSTDERR: test_clause_eval.c: In function 'main': BUILDSTDERR: test_clause_eval.c:31:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] BUILDSTDERR: int i; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o test_clause_eval test_clause_eval.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o test_complex.o test_complex.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o test_complex test_complex.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o complex.o complex.c BUILDSTDERR: complex.c: In function 'complex4_p1': BUILDSTDERR: complex.c:79:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] BUILDSTDERR: BOOL dummy; BUILDSTDERR: ^~~~~ BUILDSTDERR: complex.c: In function 'main': BUILDSTDERR: complex.c:126:12: warning: variable 'd' set but not used [-Wunused-but-set-variable] BUILDSTDERR: double d; BUILDSTDERR: ^ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -o complex complex.o ../ladr/libladr.a gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o gen_trc_defs.o gen_trc_defs.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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.zAseDw + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 + cd LADR-2009-11A + /usr/bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin + for f in bin/* BUILDSTDERR: ++ basename bin/attack + /usr/bin/install -p -m 0755 bin/attack /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-attack + for f in bin/* BUILDSTDERR: ++ basename bin/autosketches4 + /usr/bin/install -p -m 0755 bin/autosketches4 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-autosketches4 + for f in bin/* BUILDSTDERR: ++ basename bin/clausefilter + /usr/bin/install -p -m 0755 bin/clausefilter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-clausefilter + for f in bin/* BUILDSTDERR: ++ basename bin/clausetester + /usr/bin/install -p -m 0755 bin/clausetester /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-clausetester + for f in bin/* BUILDSTDERR: ++ basename bin/complex + /usr/bin/install -p -m 0755 bin/complex /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-complex + for f in bin/* BUILDSTDERR: ++ basename bin/directproof + /usr/bin/install -p -m 0755 bin/directproof /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-directproof + for f in bin/* BUILDSTDERR: ++ basename bin/dprofiles + /usr/bin/install -p -m 0755 bin/dprofiles /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-dprofiles + for f in bin/* BUILDSTDERR: ++ basename bin/fof-prover9 + /usr/bin/install -p -m 0755 bin/fof-prover9 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-fof-prover9 + for f in bin/* BUILDSTDERR: ++ basename bin/gen_trc_defs + /usr/bin/install -p -m 0755 bin/gen_trc_defs /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-gen_trc_defs + for f in bin/* BUILDSTDERR: ++ basename bin/get_givens + /usr/bin/install -p -m 0755 bin/get_givens /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-get_givens + for f in bin/* BUILDSTDERR: ++ basename bin/get_interps + /usr/bin/install -p -m 0755 bin/get_interps /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-get_interps + for f in bin/* BUILDSTDERR: ++ basename bin/get_kept + /usr/bin/install -p -m 0755 bin/get_kept /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-get_kept + for f in bin/* BUILDSTDERR: ++ basename bin/gvizify + /usr/bin/install -p -m 0755 bin/gvizify /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-gvizify + for f in bin/* BUILDSTDERR: ++ basename bin/idfilter + /usr/bin/install -p -m 0755 bin/idfilter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-idfilter + for f in bin/* BUILDSTDERR: ++ basename bin/interpfilter + /usr/bin/install -p -m 0755 bin/interpfilter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-interpfilter + for f in bin/* BUILDSTDERR: ++ basename bin/interpformat + /usr/bin/install -p -m 0755 bin/interpformat /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-interpformat + for f in bin/* BUILDSTDERR: ++ basename bin/isofilter + /usr/bin/install -p -m 0755 bin/isofilter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-isofilter + for f in bin/* BUILDSTDERR: ++ basename bin/isofilter0 + /usr/bin/install -p -m 0755 bin/isofilter0 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-isofilter0 + for f in bin/* BUILDSTDERR: ++ basename bin/isofilter2 + /usr/bin/install -p -m 0755 bin/isofilter2 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-isofilter2 + for f in bin/* BUILDSTDERR: ++ basename bin/ladr_to_tptp + /usr/bin/install -p -m 0755 bin/ladr_to_tptp /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-ladr_to_tptp + for f in bin/* BUILDSTDERR: ++ basename bin/latfilter + /usr/bin/install -p -m 0755 bin/latfilter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-latfilter + for f in bin/* BUILDSTDERR: ++ basename bin/looper + /usr/bin/install -p -m 0755 bin/looper /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-looper + for f in bin/* BUILDSTDERR: ++ basename bin/mace4 + /usr/bin/install -p -m 0755 bin/mace4 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-mace4 + for f in bin/* BUILDSTDERR: ++ basename bin/miniscope + /usr/bin/install -p -m 0755 bin/miniscope /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-miniscope + for f in bin/* BUILDSTDERR: ++ basename bin/mirror-flip + /usr/bin/install -p -m 0755 bin/mirror-flip /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-mirror-flip + for f in bin/* BUILDSTDERR: ++ basename bin/newauto + /usr/bin/install -p -m 0755 bin/newauto /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-newauto + for f in bin/* BUILDSTDERR: ++ basename bin/newsax + /usr/bin/install -p -m 0755 bin/newsax /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-newsax + for f in bin/* BUILDSTDERR: ++ basename bin/olfilter + /usr/bin/install -p -m 0755 bin/olfilter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-olfilter + for f in bin/* BUILDSTDERR: ++ basename bin/perm3 + /usr/bin/install -p -m 0755 bin/perm3 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-perm3 + for f in bin/* BUILDSTDERR: ++ basename bin/proof3fo.xsl + /usr/bin/install -p -m 0755 bin/proof3fo.xsl /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-proof3fo.xsl + for f in bin/* BUILDSTDERR: ++ basename bin/prooftrans + /usr/bin/install -p -m 0755 bin/prooftrans /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-prooftrans + for f in bin/* BUILDSTDERR: ++ basename bin/prover9 + /usr/bin/install -p -m 0755 bin/prover9 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-prover9 + for f in bin/* BUILDSTDERR: ++ basename bin/prover9-mace4 + /usr/bin/install -p -m 0755 bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-prover9-mace4 + for f in bin/* BUILDSTDERR: ++ basename bin/renamer + /usr/bin/install -p -m 0755 bin/renamer /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-renamer + for f in bin/* BUILDSTDERR: ++ basename bin/rewriter + /usr/bin/install -p -m 0755 bin/rewriter /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-rewriter + for f in bin/* BUILDSTDERR: ++ basename bin/sigtest + /usr/bin/install -p -m 0755 bin/sigtest /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-sigtest + for f in bin/* BUILDSTDERR: ++ basename bin/test_clause_eval + /usr/bin/install -p -m 0755 bin/test_clause_eval /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-test_clause_eval + for f in bin/* BUILDSTDERR: ++ basename bin/test_complex + /usr/bin/install -p -m 0755 bin/test_complex /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-test_complex + for f in bin/* BUILDSTDERR: ++ basename bin/tptp_to_ladr + /usr/bin/install -p -m 0755 bin/tptp_to_ladr /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-tptp_to_ladr + for f in bin/* BUILDSTDERR: ++ basename bin/unfast + /usr/bin/install -p -m 0755 bin/unfast /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-unfast + for f in bin/* BUILDSTDERR: ++ basename bin/upper-covers + /usr/bin/install -p -m 0755 bin/upper-covers /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-upper-covers + /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-proof3fo.xsl + /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-prover9-mace4 + /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-test_clause_eval + /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/mace4 + /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-prover9 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9 + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1 + /usr/bin/install -p -m 0644 manpages/interpformat.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-interpformat.1 + /usr/bin/install -p -m 0644 manpages/isofilter.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-isofilter.1 + ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-isofilter0.1.gz + ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-isofilter2.1.gz + /usr/bin/install -p -m 0644 manpages/prooftrans.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-prooftrans.1 + /usr/bin/install -p -m 0644 manpages/mace4.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1 + /usr/bin/install -p -m 0644 manpages/prover9.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1 + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/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-12.fc29.riscv64/usr/include/ladr + /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/lib64 + /usr/bin/install -p -m 0644 ladr/libladr.a /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/lib64 + /usr/bin/install -p -m 0644 manpages/clausefilter.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-clausefilter.1 + /usr/bin/install -p -m 0644 manpages/clausetester.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-clausetester.1 + /usr/bin/install -p -m 0644 manpages/interpfilter.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-interpfilter.1 + /usr/bin/install -p -m 0644 manpages/rewriter.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1/prover9-rewriter.1 + /usr/bin/install -p -m 0644 manpages/prover9-apps.1 /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/man/man1 + chmod 0644 apps.examples/run-all + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 200911a-12.fc29 --unique-debug-suffix -200911a-12.fc29.riscv64 --unique-debug-src-base prover9-200911a-12.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/LADR-2009-11A extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-newsax extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-olfilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-miniscope extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-tptp_to_ladr extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-newauto extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-perm3 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-mirror-flip extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-prooftrans extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-dprofiles extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-gen_trc_defs extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-fof-prover9 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-clausefilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-isofilter0 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-interpfilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-sigtest extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-ladr_to_tptp extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-directproof extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-test_complex extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/mace4 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-interpformat extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-upper-covers extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-rewriter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-unfast extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-complex extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-idfilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-isofilter extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-clausetester extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-renamer extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-autosketches4 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-isofilter2 extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/bin/prover9-latfilter /usr/lib/rpm/sepdebugcrcfix: Updated 32 CRC32s, 0 CRC32s did match. BUILDSTDERR: 3676 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig BUILDSTDERR: /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs BUILDSTDERR: *** WARNING: mangling shebang in /usr/bin/prover9-attack from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually! BUILDSTDERR: *** WARNING: mangling shebang in /usr/bin/prover9-looper from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually! BUILDSTDERR: *** WARNING: mangling shebang in /usr/bin/prover9-gvizify from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually! Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.Aipl0u Processing files: prover9-200911a-12.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.GxLhTx + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + cp -pr Changelog /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + cp -pr COPYING /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + cp -pr TODO /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + cp -pr copyright /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + cp -pr mace4.examples /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + cp -pr prover9.examples /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9 + exit 0 Provides: prover9 = 200911a-12.fc29 prover9(riscv-64) = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH) Processing files: prover9-devel-200911a-12.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.mapTCk + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-devel + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-devel + cp -pr ladr/html /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-devel + exit 0 Provides: prover9-devel = 200911a-12.fc29 prover9-devel(riscv-64) = 200911a-12.fc29 prover9-static = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: prover9-apps-200911a-12.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.wnpqxg + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-apps + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-apps + cp -pr apps.examples /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-apps + cp -pr apps.src/README.directproof /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-apps + exit 0 Provides: prover9-apps = 200911a-12.fc29 prover9-apps(riscv-64) = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh /usr/bin/python2 ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH) Processing files: prover9-doc-200911a-12.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FZRz1j + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + DOCDIR=/builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-doc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64/usr/share/doc/prover9-doc + 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-12.fc29.riscv64/usr/share/doc/prover9-doc + exit 0 Provides: prover9-doc = 200911a-12.fc29 prover9-doc(riscv-64) = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: prover9-debugsource-200911a-12.fc29.riscv64 Provides: prover9-debugsource = 200911a-12.fc29 prover9-debugsource(riscv-64) = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: prover9-debuginfo-200911a-12.fc29.riscv64 Provides: debuginfo(build-id) = 7dbea5c919866c93d473a90c260ec855e0ec8c5b debuginfo(build-id) = 8fd37addc9a1e88dfd11bcc512660cca55b74d5a debuginfo(build-id) = 937b0a169cfd44fec8b79c98862f1be0ee474790 debuginfo(build-id) = 9fb3f0d75d9fe92512a3c8b8365dfc91e0e85e22 debuginfo(build-id) = aba1f42cb19e74acbba517e0b8b71b04301881fd debuginfo(build-id) = e55c771ce056db038f76c38a5a5a8c8043555573 debuginfo(build-id) = f46d03fcbc2576e16ec580181c90ed2fc31b9800 prover9-debuginfo = 200911a-12.fc29 prover9-debuginfo(riscv-64) = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: prover9-debugsource(riscv-64) = 200911a-12.fc29 Processing files: prover9-apps-debuginfo-200911a-12.fc29.riscv64 Provides: debuginfo(build-id) = 1467411a33521692d955d2c60eeae58a6dba23b8 debuginfo(build-id) = 2887d75eba7064e76be6b909e325cd5111b476b9 debuginfo(build-id) = 41de8c7d984bf0ccf677694684ceafd9af6e217f debuginfo(build-id) = 4ddae33a2107e6777071b8a62c6d9266e4499bb3 debuginfo(build-id) = 6478cd4e4b9efd3f82362003a4e9ca1d7e7d31ce debuginfo(build-id) = 65c657cefa96a1edce8dbfbbead2cd6cb9cbcba4 debuginfo(build-id) = 7ca5a8e44d3db114e04568443e77260e188a4ed1 debuginfo(build-id) = 7dfeb9f5b6faf99b9ebf760cf441c786564e9331 debuginfo(build-id) = 87648216127e3bf2e706edfd7212f7cdfdf386b5 debuginfo(build-id) = 89fa038a024f05c1b2e7319cb91701a6701e51c2 debuginfo(build-id) = 8a4f2961dafb8b62c1bf8af5a33f0165169d8d68 debuginfo(build-id) = 98760bf3258ecba2269dec403d156fb319dac401 debuginfo(build-id) = 9a2e1b8e57da74d3014878421b2942999b39dffc debuginfo(build-id) = a93a2a25da06ab6bc7e3d4452fab7d15823e2b22 debuginfo(build-id) = bd4861876d98b12013555bdb76c5d765b5b502ed debuginfo(build-id) = c662f324d50d1e517b1bc2baa2e0e2bd27262ff5 debuginfo(build-id) = c7d219d8ccbb7e2d632cc6e0cc3976b6b4aa949f debuginfo(build-id) = cb3e77012d3071e0e22147c68f31dd7450826a91 debuginfo(build-id) = cbb4b2876b4f125d156eb01b8611084bf1d81ccd debuginfo(build-id) = df2e255e6299f988dd4588f9451986a3b98cfb75 debuginfo(build-id) = e5270512fb6476b759b10cdd0ecd274949253703 debuginfo(build-id) = e7100d923ab4dd958c32e72adb2639c0d06ddf08 debuginfo(build-id) = e77929cae00d2e13410b8effc81995959c6d03bf debuginfo(build-id) = f79a8133b0c5ec9b49c6ce856cb8653379fa7443 debuginfo(build-id) = fe2472d45afc0b70a90b8df184c5d989058ab113 prover9-apps-debuginfo = 200911a-12.fc29 prover9-apps-debuginfo(riscv-64) = 200911a-12.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: prover9-debugsource(riscv-64) = 200911a-12.fc29 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 Wrote: /builddir/build/RPMS/prover9-200911a-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prover9-devel-200911a-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prover9-apps-200911a-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prover9-doc-200911a-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prover9-debugsource-200911a-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prover9-debuginfo-200911a-12.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prover9-apps-debuginfo-200911a-12.fc29.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.RQRKtu + umask 022 + cd /builddir/build/BUILD + cd LADR-2009-11A + /usr/bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-12.fc29.riscv64 + exit 0 Child return code was: 0