Attachment 1442830 Details for Bug 1556135 – build.log

build.log

build.log (text/plain), 104.11 KB, created by Fedora Release Engineering on 2018-05-28 08:03:18 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Fedora Release Engineering

Created: 2018-05-28 08:03:18 UTC

Size: 104.11 KB

patch

obsolete

>Mock Version: 1.3.4
>Mock Version: 1.3.4
>ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/prover9.spec'], chrootPath='/var/lib/mock/f29-build-12553468-917929/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff83ffc9e8>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]printOutput=False)
>Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False
>Building target platforms: s390x
>Building for target s390x
>Wrote: /builddir/build/SRPMS/prover9-200911a-15.fc29.src.rpm
>Child return code was: 0
>ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/prover9.spec'], chrootPath='/var/lib/mock/f29-build-12553468-917929/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff83ffc9e8>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]printOutput=False)
>Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False
>Building target platforms: s390x
>Building for target s390x
>Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.hDJo6S
>+ 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
>+ echo 'Patch #1 (prover9-manpages.patch):'
>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
>+ echo 'Patch #2 (prover9-fedora.patch):'
>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
>+ echo 'Patch #3 (format-fix.patch):'
>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.SmKYqM
>+ 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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o symbols.o symbols.c
>symbols.c: In function 'declare_base_symbols':
>symbols.c:1304:7: warning: variable 'sn' set but not used [-Wunused-but-set-variable]
>   int sn;
>       ^~
>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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o avltree.o avltree.c
>avltree.c: In function 'p_avl':
>avltree.c:658:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
>     printf("%4d\n", (int) p->item);
>                     ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o discrimb.o discrimb.c
>discrimb.c:487:7: warning: 'check_flat2' defined but not used [-Wunused-function]
> Flat2 check_flat2(Flat2 f)
>       ^~~~~~~~~~~
>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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o discrimw.o discrimw.c
>discrimw.c:146:6: warning: 'check_flat' defined but not used [-Wunused-function]
> Flat check_flat(Flat f)
>      ^~~~~~~~~~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o mindex.o mindex.c
>mindex.c: In function 'mindex_retrieve_next':
>mindex.c:650:11: warning: variable 'tr' set but not used [-Wunused-but-set-variable]
>     Trail tr;
>           ^~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o complex.o complex.c
>complex.c: In function 'complex4_p1':
>complex.c:275:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable]
>   BOOL dummy;
>        ^~~~~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o flatdemod.o flatdemod.c
>flatdemod.c: In function 'discrim_flat_retrieve_leaf':
>flatdemod.c:122:16: warning: comparison between 'BOOL' {aka 'enum <anonymous>'} and 'enum <anonymous>' [-Wenum-compare]
>     if (status == BACKTRACK) {
>                ^~
>flatdemod.c:158:15: warning: variable 'dd' set but not used [-Wunused-but-set-variable]
>       Discrim dd = NULL;
>               ^~
>flatdemod.c:167:16: warning: comparison between 'BOOL' {aka 'enum <anonymous>'} and 'enum <anonymous>' [-Wenum-compare]
>     if (status == GO) {
>                ^~
>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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o demod.o demod.c
>demod.c: In function 'demod1':
>demod.c:376:8: warning: variable 'result' set but not used [-Wunused-but-set-variable]
>   Term result;
>        ^~~~~~
>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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o clash.o clash.c
>clash.c: In function 'clash_recurse':
>clash.c:283:12: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses]
>   else if (!p->clashable | p->clashed)
>            ^~~~~~~~~~~~~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o paramod.o paramod.c
>paramod.c: In function 'para_into':
>paramod.c:347:8: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses]
>   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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o ivy.o ivy.c
>ivy.c: In function 'factor2_instances':
>ivy.c:633:14: warning: variable 'l1i' set but not used [-Wunused-but-set-variable]
>     Literals l1i, l2i, lit;
>              ^~~
>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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o interp.o interp.c
>interp.c: In function 'transpose_binary':
>interp.c:358:10: warning: variable 'rc' set but not used [-Wunused-but-set-variable]
>   int i, rc;
>          ^~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o select.o select.c
>select.c: In function 'select_concentric_band':
>select.c:236:5: warning: type of 'min_id' defaults to 'int' [-Wimplicit-int]
> int select_concentric_band(min_id, max_id, max_constrained)
>     ^~~~~~~~~~~~~~~~~~~~~~
>select.c:236:5: warning: type of 'max_id' defaults to 'int' [-Wimplicit-int]
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o msearch.o msearch.c
>msearch.c: In function 'next_domain_size':
>msearch.c:850:5: warning: type of 'n' defaults to 'int' [-Wimplicit-int]
> int next_domain_size(n)
>     ^~~~~~~~~~~~~~~~
>ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o
>ar: creating libmace4.a
>make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src'
>gcc -O2 -g -pipe -Wall -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o mace4.o mace4.c
>mace4.c: In function 'init_attrs':
>mace4.c:36:7: warning: variable 'id' set but not used [-Wunused-but-set-variable]
>   int id;
>       ^~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o tptp_to_ladr.o tptp_to_ladr.c
>tptp_to_ladr.c: In function 'main':
>tptp_to_ladr.c:84:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o clausefilter.o clausefilter.c
>clausefilter.c: In function 'main':
>clausefilter.c:109:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o renamer.o renamer.c
>renamer.c: In function 'main':
>renamer.c:54:9: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>     int i;
>         ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o interpfilter.o interpfilter.c
>interpfilter.c: In function 'main':
>interpfilter.c:66:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o prooftrans.o prooftrans.c
>prooftrans.c: In function 'main':
>prooftrans.c:225:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable]
>   int label_attr, answer_attr, props_attr;
>                                ^~~~~~~~~~
>prooftrans.c:222:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable]
>   int rc, n, number_of_proofs;
>       ^~
>prooftrans.c:361:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
>       fgets(s, BUF_MAX, fin);
>       ^~~~~~~~~~~~~~~~~~~~~~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o mirror-flip.o mirror-flip.c
>mirror-flip.c: In function 'main':
>mirror-flip.c:129:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o perm3.o perm3.c
>perm3.c: In function 'main':
>perm3.c:120:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o sigtest.o sigtest.c
>sigtest.c: In function 'main':
>sigtest.c:33:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o directproof.o directproof.c
>directproof.c: In function 'main':
>directproof.c:645:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable]
>   int label_attr, answer_attr, props_attr;
>                                ^~~~~~~~~~
>directproof.c:645:7: warning: variable 'label_attr' set but not used [-Wunused-but-set-variable]
>   int label_attr, answer_attr, props_attr;
>       ^~~~~~~~~~
>directproof.c:642:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable]
>   int rc, n, number_of_proofs;
>       ^~
>directproof.c:706:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
>       fgets(s, BUF_MAX, fin);
>       ^~~~~~~~~~~~~~~~~~~~~~
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o test_clause_eval.o test_clause_eval.c
>test_clause_eval.c: In function 'main':
>test_clause_eval.c:31:7: warning: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o complex.o complex.c
>complex.c: In function 'complex4_p1':
>complex.c:79:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable]
>   BOOL dummy;
>        ^~~~~
>complex.c: In function 'main':
>complex.c:126:12: warning: variable 'd' set but not used [-Wunused-but-set-variable]
>     double d;
>            ^
>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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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 -m64 -march=zEC12 -mtune=z13 -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.e7zf57
>+ umask 022
>+ cd /builddir/build/BUILD
>+ '[' /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x '!=' / ']'
>+ rm -rf /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x
>++ dirname /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x
>+ mkdir -p /builddir/build/BUILDROOT
>+ mkdir /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x
>+ cd LADR-2009-11A
>+ /usr/bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin
>+ for f in bin/*
>++ basename bin/attack
>+ /usr/bin/install -p -m 0755 bin/attack /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-attack
>+ for f in bin/*
>++ basename bin/autosketches4
>+ /usr/bin/install -p -m 0755 bin/autosketches4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-autosketches4
>+ for f in bin/*
>++ basename bin/clausefilter
>+ /usr/bin/install -p -m 0755 bin/clausefilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausefilter
>+ for f in bin/*
>++ basename bin/clausetester
>+ /usr/bin/install -p -m 0755 bin/clausetester /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausetester
>+ for f in bin/*
>++ basename bin/complex
>+ /usr/bin/install -p -m 0755 bin/complex /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-complex
>+ for f in bin/*
>++ basename bin/directproof
>+ /usr/bin/install -p -m 0755 bin/directproof /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-directproof
>+ for f in bin/*
>++ basename bin/dprofiles
>+ /usr/bin/install -p -m 0755 bin/dprofiles /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-dprofiles
>+ for f in bin/*
>++ basename bin/fof-prover9
>+ /usr/bin/install -p -m 0755 bin/fof-prover9 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-fof-prover9
>+ for f in bin/*
>++ basename bin/gen_trc_defs
>+ /usr/bin/install -p -m 0755 bin/gen_trc_defs /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-gen_trc_defs
>+ for f in bin/*
>++ basename bin/get_givens
>+ /usr/bin/install -p -m 0755 bin/get_givens /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-get_givens
>+ for f in bin/*
>++ basename bin/get_interps
>+ /usr/bin/install -p -m 0755 bin/get_interps /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-get_interps
>+ for f in bin/*
>++ basename bin/get_kept
>+ /usr/bin/install -p -m 0755 bin/get_kept /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-get_kept
>+ for f in bin/*
>++ basename bin/gvizify
>+ /usr/bin/install -p -m 0755 bin/gvizify /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-gvizify
>+ for f in bin/*
>++ basename bin/idfilter
>+ /usr/bin/install -p -m 0755 bin/idfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-idfilter
>+ for f in bin/*
>++ basename bin/interpfilter
>+ /usr/bin/install -p -m 0755 bin/interpfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpfilter
>+ for f in bin/*
>++ basename bin/interpformat
>+ /usr/bin/install -p -m 0755 bin/interpformat /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpformat
>+ for f in bin/*
>++ basename bin/isofilter
>+ /usr/bin/install -p -m 0755 bin/isofilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter
>+ for f in bin/*
>++ basename bin/isofilter0
>+ /usr/bin/install -p -m 0755 bin/isofilter0 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter0
>+ for f in bin/*
>++ basename bin/isofilter2
>+ /usr/bin/install -p -m 0755 bin/isofilter2 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter2
>+ for f in bin/*
>++ basename bin/ladr_to_tptp
>+ /usr/bin/install -p -m 0755 bin/ladr_to_tptp /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-ladr_to_tptp
>+ for f in bin/*
>++ basename bin/latfilter
>+ /usr/bin/install -p -m 0755 bin/latfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-latfilter
>+ for f in bin/*
>++ basename bin/looper
>+ /usr/bin/install -p -m 0755 bin/looper /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-looper
>+ for f in bin/*
>++ basename bin/mace4
>+ /usr/bin/install -p -m 0755 bin/mace4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mace4
>+ for f in bin/*
>++ basename bin/miniscope
>+ /usr/bin/install -p -m 0755 bin/miniscope /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-miniscope
>+ for f in bin/*
>++ basename bin/mirror-flip
>+ /usr/bin/install -p -m 0755 bin/mirror-flip /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mirror-flip
>+ for f in bin/*
>++ basename bin/newauto
>+ /usr/bin/install -p -m 0755 bin/newauto /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newauto
>+ for f in bin/*
>++ basename bin/newsax
>+ /usr/bin/install -p -m 0755 bin/newsax /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newsax
>+ for f in bin/*
>++ basename bin/olfilter
>+ /usr/bin/install -p -m 0755 bin/olfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-olfilter
>+ for f in bin/*
>++ basename bin/perm3
>+ /usr/bin/install -p -m 0755 bin/perm3 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-perm3
>+ for f in bin/*
>++ basename bin/proof3fo.xsl
>+ /usr/bin/install -p -m 0755 bin/proof3fo.xsl /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-proof3fo.xsl
>+ for f in bin/*
>++ basename bin/prooftrans
>+ /usr/bin/install -p -m 0755 bin/prooftrans /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prooftrans
>+ for f in bin/*
>++ basename bin/prover9
>+ /usr/bin/install -p -m 0755 bin/prover9 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9
>+ for f in bin/*
>++ basename bin/prover9-mace4
>+ /usr/bin/install -p -m 0755 bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9-mace4
>+ for f in bin/*
>++ basename bin/renamer
>+ /usr/bin/install -p -m 0755 bin/renamer /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-renamer
>+ for f in bin/*
>++ basename bin/rewriter
>+ /usr/bin/install -p -m 0755 bin/rewriter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-rewriter
>+ for f in bin/*
>++ basename bin/sigtest
>+ /usr/bin/install -p -m 0755 bin/sigtest /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-sigtest
>+ for f in bin/*
>++ basename bin/test_clause_eval
>+ /usr/bin/install -p -m 0755 bin/test_clause_eval /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_clause_eval
>+ for f in bin/*
>++ basename bin/test_complex
>+ /usr/bin/install -p -m 0755 bin/test_complex /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_complex
>+ for f in bin/*
>++ basename bin/tptp_to_ladr
>+ /usr/bin/install -p -m 0755 bin/tptp_to_ladr /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-tptp_to_ladr
>+ for f in bin/*
>++ basename bin/unfast
>+ /usr/bin/install -p -m 0755 bin/unfast /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-unfast
>+ for f in bin/*
>++ basename bin/upper-covers
>+ /usr/bin/install -p -m 0755 bin/upper-covers /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-upper-covers
>+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-proof3fo.xsl
>+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9-mace4
>+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_clause_eval
>+ /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/mace4
>+ /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1
>+ /usr/bin/install -p -m 0644 manpages/interpformat.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-interpformat.1
>+ /usr/bin/install -p -m 0644 manpages/isofilter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-isofilter.1
>+ ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-isofilter0.1.gz
>+ ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-isofilter2.1.gz
>+ /usr/bin/install -p -m 0644 manpages/prooftrans.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-prooftrans.1
>+ /usr/bin/install -p -m 0644 manpages/mace4.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1
>+ /usr/bin/install -p -m 0644 manpages/prover9.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/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-15.fc29.s390x/usr/include/ladr
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/lib64
>+ /usr/bin/install -p -m 0644 ladr/libladr.a /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/lib64
>+ /usr/bin/install -p -m 0644 manpages/clausefilter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-clausefilter.1
>+ /usr/bin/install -p -m 0644 manpages/clausetester.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-clausetester.1
>+ /usr/bin/install -p -m 0644 manpages/interpfilter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-interpfilter.1
>+ /usr/bin/install -p -m 0644 manpages/rewriter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-rewriter.1
>+ /usr/bin/install -p -m 0644 manpages/prover9-apps.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1
>+ chmod 0644 apps.examples/run-all
>+ /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 200911a-15.fc29 --unique-debug-suffix -200911a-15.fc29.s390x --unique-debug-src-base prover9-200911a-15.fc29.s390x --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-15.fc29.s390x/usr/bin/prover9-autosketches4
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausefilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausetester
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-complex
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-dprofiles
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-directproof
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-fof-prover9
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-gen_trc_defs
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-idfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpformat
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter0
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter2
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-ladr_to_tptp
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-latfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-miniscope
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mirror-flip
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newsax
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newauto
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-olfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-perm3
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prooftrans
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-renamer
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-rewriter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-sigtest
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_complex
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-tptp_to_ladr
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-unfast
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-upper-covers
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/mace4
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9
>/usr/lib/rpm/sepdebugcrcfix: Updated 32 CRC32s, 0 CRC32s did match.
>3671 blocks
>+ /usr/lib/rpm/check-buildroot
>+ /usr/lib/rpm/redhat/brp-ldconfig
>/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
>*** WARNING: mangling shebang in /usr/bin/prover9-attack from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually!
>*** WARNING: mangling shebang in /usr/bin/prover9-gvizify from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually!
>*** WARNING: mangling shebang in /usr/bin/prover9-looper 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.YK5bIl
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd LADR-2009-11A
>+ make test1 test2 test3
>bin/prover9 -f prover9.examples/x2.in | bin/prooftrans parents_only
>============================== prooftrans ============================
>Prover9 (64) version 2009-11A, November 2009.
>Process 63177 was started by mockbuild on buildvm-s390x-07.s390.fedoraproject.org,
>Sun May 27 23:35:28 2018
>The command was "bin/prover9 -f prover9.examples/x2.in".
>============================== end of head ===========================
>============================== end of input ==========================
>-------- Proof 1 -------- 
>THEOREM PROVED
>------ process 63177 exit (max_proofs) ------
>
>============================== PROOF =================================
>% -------- Comments from original proof --------
>% Proof 1 at 0.00 (+ 0.00) seconds.
>% Length of proof is 16.
>% Level of proof is 7.
>% Maximum clause weight is 11.000.
>% Given clauses 12.
>1 x * y = y * x # label(non_clause) # label(goal).  [].
>2 e * x = x.  [].
>3 x' * x = e.  [].
>4 (x * y) * z = x * (y * z).  [].
>5 x * x = e.  [].
>6 c2 * c1 != c1 * c2.  [1].
>7 x' * (x * y) = y.  [3,4,2].
>8 x * (x * y) = y.  [5,4,2].
>9 x * (y * (x * y)) = e.  [5,4].
>11 x'' * e = x.  [3,7].
>13 x' * e = x.  [5,7].
>15 x' = x.  [11,13].
>16 x * e = x.  [13,15].
>19 x * (y * x) = y.  [9,8,16].
>24 x * y = y * x.  [19,8].
>25 $F.  [24,6].
>============================== end of proof ==========================
>**** If you see a proof, prover9 is probably okay. ****
>**** Next try 'make test2'. ****
>bin/mace4 -v0 -f mace4.examples/group2.in | bin/interpformat tabular
>=== Mace4 starting on domain size 2. ===
>=== Mace4 starting on domain size 3. ===
>=== Mace4 starting on domain size 4. ===
>=== Mace4 starting on domain size 5. ===
>=== Mace4 starting on domain size 6. ===
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>Fatal error:  possible_model, bad model found
>RPM build errors:
>make: *** [Makefile:25: test2] Error 2
>error: Bad exit status from /var/tmp/rpm-tmp.YK5bIl (%check)
>    Bad exit status from /var/tmp/rpm-tmp.YK5bIl (%check)
>Child return code was: 1
>EXCEPTION: [Error()]
>Traceback (most recent call last):
>  File "/usr/lib/python3.6/site-packages/mockbuild/trace_decorator.py", line 89, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python3.6/site-packages/mockbuild/util.py", line 582, in do
>    raise exception.Error("Command failed. See logs for output.\n # %s" % (command,), child.returncode)
>mockbuild.exception.Error: Command failed. See logs for output.
> # bash --login -c /usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/prover9.spec

Actions: View

Attachments on bug 1556135: 1442830 | 1442831 | 1442832