ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target ppc64 --nodeps builddir/build/SPECS/zenon.spec'], False, '/var/lib/mock/dist-f9-build-229670-40912/root/', None, 0, True, 0, 425, 102, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target ppc64 --nodeps builddir/build/SPECS/zenon.spec'] /etc/profile: line 38: /bin/hostname: No such file or directory warning: Could not canonicalize hostname: ppc4.fedora.phx.redhat.com Building target platforms: ppc64 Building for target ppc64 Wrote: /builddir/build/SRPMS/zenon-0.5.0-3.fc9.src.rpm LEAVE do --> ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target ppc64 --nodeps builddir/build/SPECS/zenon.spec'], False, '/var/lib/mock/dist-f9-build-229670-40912/root/', None, 0, True, 0, 425, 102, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target ppc64 --nodeps builddir/build/SPECS/zenon.spec'] /etc/profile: line 38: /bin/hostname: No such file or directory Building target platforms: ppc64 Building for target ppc64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.76265 + umask 022 + cd /builddir/build/BUILD + LANG=C + export LANG + unset DISPLAY + cd /builddir/build/BUILD + rm -rf zenon + /usr/bin/gzip -dc /builddir/build/SOURCES/zenon-0.5.0.tar.gz + tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd zenon ++ /usr/bin/id -u + '[' 425 = 0 ']' ++ /usr/bin/id -u + '[' 425 = 0 ']' + /bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (zenon.bytecode.patch):' Patch #0 (zenon.bytecode.patch): + patch -p0 -s + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.76265 + umask 022 + cd /builddir/build/BUILD + cd zenon + LANG=C + export LANG + unset DISPLAY + bash configure --enable-debug --exec_prefix /usr --bindir /usr/bin --libdir /usr/share/zenon Configuration summary for zenon: # Copyright 1997 INRIA # $Id: .config_var.in,v 1.1 2006-03-23 15:26:33 doligez Exp $ BINDIR=/usr/bin BYTDEBUGFLAGS=-g CONVERT=: COQC=: exec_prefix=/usr GS=: LIBDIR=/usr/share/zenon OPTDEBUGFLAGS=-dtypes SUM=sum + cp -p /builddir/build/SOURCES/zenon-tptp-COM003+2.p tptp-COM003+2.p + cp -p /builddir/build/SOURCES/zenon-tptp-ReadMe tptp-ReadMe + chmod g-w tptp-COM003+2.p tptp-ReadMe tptp.ml tptp.mli + cp -p /builddir/build/SOURCES/zenon.1 /builddir/build/SOURCES/zenon-format.5 . + gzip zenon.1 + gzip zenon-format.5 + make -j8 zenon.opt if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c version.mli ; else ocamlc -warn-error A -g -c version.mli ; fi echo '(* This file is automatically generated. *)' >config.ml if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c config.mli ; else ocamlc -warn-error A -g -c config.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c misc.mli ; else ocamlc -warn-error A -g -c misc.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c heap.mli ; else ocamlc -warn-error A -g -c heap.mli ; fi echo 'let libdir = "/usr/share/zenon";;' >> config.ml if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c globals.mli ; else ocamlc -warn-error A -g -c globals.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c error.mli ; else ocamlc -warn-error A -g -c error.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c progress.mli ; else ocamlc -warn-error A -g -c progress.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c namespace.mli ; else ocamlc -warn-error A -g -c namespace.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c expr.mli ; else ocamlc -warn-error A -g -c expr.mli ; fi ocamlyacc -v parsezen.mly ocamllex lexzen.mll ocamlyacc -v parsetptp.mly ocamllex lextptp.mll ocamlyacc -v parsecoq.mly ocamllex lexcoq.mll if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c ext_coqbool.mli ; else ocamlc -warn-error A -g -c ext_coqbool.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c ext_equiv.mli ; else ocamlc -warn-error A -g -c ext_equiv.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c ext_inductive.mli ; else ocamlc -warn-error A -g -c ext_inductive.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c checksum.mli ; else ocamlc -warn-error A -g -c checksum.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c main.mli ; else ocamlc -warn-error A -g -c main.mli ; fi ocamlopt -warn-error A -dtypes -c version.ml ocamlopt -warn-error A -dtypes -c config.ml if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c phrase.mli ; else ocamlc -warn-error A -g -c phrase.mli ; fi 68 states, 1065 transitions, table size 4668 bytes if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c llproof.mli ; else ocamlc -warn-error A -g -c llproof.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c mlproof.mli ; else ocamlc -warn-error A -g -c mlproof.mli ; fi : if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c parsecoq.mli ; else ocamlc -warn-error A -g -c parsecoq.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c tptp.mli ; else ocamlc -warn-error A -g -c tptp.mli ; fi ocamlopt -warn-error A -dtypes -c misc.ml ocamlopt -warn-error A -dtypes -c heap.ml 81 states, 3339 transitions, table size 13842 bytes ocamlopt -warn-error A -dtypes -c globals.ml ocamlopt -warn-error A -dtypes -c error.ml ocamlopt -warn-error A -dtypes -c namespace.ml if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c watch.mli ; else ocamlc -warn-error A -g -c watch.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c eqrel.mli ; else ocamlc -warn-error A -g -c eqrel.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c index.mli ; else ocamlc -warn-error A -g -c index.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c print.mli ; else ocamlc -warn-error A -g -c print.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c step.mli ; else ocamlc -warn-error A -g -c step.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c node.mli ; else ocamlc -warn-error A -g -c node.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c mltoll.mli ; else ocamlc -warn-error A -g -c mltoll.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c prove.mli ; else ocamlc -warn-error A -g -c prove.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c parsezen.mli ; else ocamlc -warn-error A -g -c parsezen.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c parsetptp.mli ; else ocamlc -warn-error A -g -c parsetptp.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c lexcoq.mli ; else ocamlc -warn-error A -g -c lexcoq.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c coqterm.mli ; else ocamlc -warn-error A -g -c coqterm.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c lltocoq.mli ; else ocamlc -warn-error A -g -c lltocoq.mli ; fi ocamlopt -warn-error A -dtypes -c progress.ml ocamlopt -warn-error A -dtypes -c expr.ml if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c extension.mli ; else ocamlc -warn-error A -g -c extension.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c lexzen.mli ; else ocamlc -warn-error A -g -c lexzen.mli ; fi if [ -x /usr/bin/ocamlopt ] ; then ocamlopt -warn-error A -dtypes -c lextptp.mli ; else ocamlc -warn-error A -g -c lextptp.mli ; fi 211 states, 9445 transitions, table size 39046 bytes 2642 additional bytes used for bindings echo '(* This file is automatically generated. *)' >checksum.ml echo 'let v = "'`sum version.ml config.ml misc.ml heap.ml globals.ml error.ml progress.ml namespace.ml expr.ml phrase.ml llproof.ml mlproof.ml watch.ml eqrel.ml index.ml print.ml step.ml node.ml extension.ml mltoll.ml prove.ml parsezen.ml lexzen.ml parsetptp.ml lextptp.ml parsecoq.ml lexcoq.ml tptp.ml ext_coqbool.ml ext_equiv.ml ext_inductive.ml coqterm.ml lltocoq.ml checksum.ml main.ml | sum`'";;' >>checksum.ml ocamlopt -warn-error A -dtypes -c checksum.ml ocamlopt -warn-error A -dtypes -c phrase.ml ocamlopt -warn-error A -dtypes -c llproof.ml ocamlopt -warn-error A -dtypes -c mlproof.ml ocamlopt -warn-error A -dtypes -c watch.ml ocamlopt -warn-error A -dtypes -c parsezen.ml ocamlopt -warn-error A -dtypes -c parsetptp.ml ocamlopt -warn-error A -dtypes -c parsecoq.ml ocamlopt -warn-error A -dtypes -c eqrel.ml ocamlopt -warn-error A -dtypes -c index.ml ocamlopt -warn-error A -dtypes -c node.ml ocamlopt -warn-error A -dtypes -c lextptp.ml ocamlopt -warn-error A -dtypes -c extension.ml ocamlopt -warn-error A -dtypes -c lexzen.ml ocamlopt -warn-error A -dtypes -c tptp.ml ocamlopt -warn-error A -dtypes -c ext_equiv.ml ocamlopt -warn-error A -dtypes -c ext_inductive.ml ocamlopt -warn-error A -dtypes -c lexcoq.ml ocamlopt -warn-error A -dtypes -c print.ml ocamlopt -warn-error A -dtypes -c mltoll.ml ocamlopt -warn-error A -dtypes -c ext_coqbool.ml ocamlopt -warn-error A -dtypes -c step.ml ocamlopt -warn-error A -dtypes -c prove.ml ocamlopt -warn-error A -dtypes -c coqterm.ml ocamlopt -warn-error A -dtypes -c lltocoq.ml ocamlopt -warn-error A -dtypes -c main.ml ocamlopt -warn-error A -dtypes -o zenon.opt version.cmx config.cmx misc.cmx heap.cmx globals.cmx error.cmx progress.cmx namespace.cmx expr.cmx phrase.cmx llproof.cmx mlproof.cmx watch.cmx eqrel.cmx index.cmx print.cmx step.cmx node.cmx extension.cmx mltoll.cmx prove.cmx parsezen.cmx lexzen.cmx parsetptp.cmx lextptp.cmx parsecoq.cmx lexcoq.cmx tptp.cmx ext_coqbool.cmx ext_equiv.cmx ext_inductive.cmx coqterm.cmx lltocoq.cmx checksum.cmx main.cmx + cp zenon.opt zenon + execstack -c zenon + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.73946 + umask 022 + cd /builddir/build/BUILD + cd zenon + LANG=C + export LANG + unset DISPLAY + rm -rf /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild + install -d /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild//usr/bin/ + install -d /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild//usr/lib64/ + make install DESTDIR=/var/tmp/zenon-0.5.0-3.fc9-root-mockbuild mkdir -p "/var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/bin" cp zenon "/var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/bin"/ mkdir -p "/var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/zenon" cp zenon.v zenon_coqbool.v zenon_equiv.v "/var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/zenon"/ for i in zenon.vo zenon_coqbool.vo zenon_equiv.vo; do [ ! -f $i ] || cp $i "/var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/zenon";done + install -d /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild//usr/share/doc/zenon-0.5.0/examples/ + cp -p LICENSE /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild//usr/share/doc/zenon-0.5.0/ + cp -p tptp-COM003+2.p tptp-ReadMe /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild//usr/share/doc/zenon-0.5.0/examples/ + install -d /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/man/man1/ + install -d /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/man/man5/ + cp -p zenon.1.gz /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/man/man1/ + cp -p zenon-format.5.gz /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/share/man/man5/ + /usr/lib/rpm/find-debuginfo.sh /builddir/build/BUILD/zenon extracting debug info from /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild/usr/bin/zenon + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-python-bytecompile + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.73946 + umask 022 + cd /builddir/build/BUILD + cd zenon ++ ./zenon -p0 -itptp tptp-COM003+2.p + result='(* PROOF-FOUND *)' Test succeeded + '[' '(* PROOF-FOUND *)' = '(* PROOF-FOUND *)' ']' + echo 'Test succeeded' + exit 0 Processing files: zenon-0.5.0-3.fc9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.3)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.3)(64bit) rtld(GNU_HASH) Processing files: zenon-debuginfo-0.5.0-3.fc9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild warning: Could not canonicalize hostname: ppc4.fedora.phx.redhat.com Wrote: /builddir/build/RPMS/zenon-0.5.0-3.fc9.ppc64.rpm Wrote: /builddir/build/RPMS/zenon-debuginfo-0.5.0-3.fc9.ppc64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.26366 + umask 022 + cd /builddir/build/BUILD + cd zenon + rm -rf /var/tmp/zenon-0.5.0-3.fc9-root-mockbuild + exit 0 LEAVE do -->