Mock Version: 2.6 Mock Version: 2.6 Mock Version: 2.6 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/zenon.spec'], chrootPath='/var/lib/mock/f33-build-side-34777-24329073-2517688/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/zenon.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl setting SOURCE_DATE_EPOCH=1606867200 Wrote: /builddir/build/SRPMS/zenon-0.8.4-18.fc33.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/zenon.spec'], chrootPath='/var/lib/mock/f33-build-side-34777-24329073-2517688/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/zenon.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl setting SOURCE_DATE_EPOCH=1606867200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.TGbruA + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf zenon-0.8.4 + /usr/bin/gzip -dc /builddir/build/SOURCES/zenon-0.8.4.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd zenon-0.8.4 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/zenon-coq89.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /builddir/build/SOURCES/zenon-ocaml.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + cp -p /builddir/build/SOURCES/zenlpar07.pdf . + sed -i 's/^\(CAMLFLAGS = \).*/\1-g/' Makefile + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.TXiFwC + umask 022 + cd /builddir/build/BUILD + cd zenon-0.8.4 + ./configure -prefix /usr -libdir /usr/share/zenon -sum md5sum echo '(* This file is automatically generated. *)' >config.ml.tmp echo 'let libdir = "/usr/share/zenon";;' >> config.ml.tmp if ! cmp -s config.ml config.ml.tmp; then cp config.ml.tmp config.ml; fi rm -f config.ml.tmp ocamlyacc -v parsezen.mly ocamllex lexzen.mll 91 states, 1911 transitions, table size 8190 bytes ocamlyacc -v parsetptp.mly 1 shift/reduce conflict, 1 reduce/reduce conflict. ocamllex lextptp.mll 82 states, 1931 transitions, table size 8216 bytes ocamlyacc -v parsecoq.mly ocamllex lexcoq.mll 246 states, 11581 transitions, table size 47800 bytes 2852 additional bytes used for bindings echo '(* This file is automatically generated. *)' >checksum.ml echo 'let v = "'`md5sum 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 parsezen.ml lexzen.ml parsetptp.ml lextptp.ml parsecoq.ml lexcoq.ml tptp.ml coqterm.ml lltocoq.ml enum.ml isar_case.ml lltoisar.ml ext_focal.ml ext_tla.ml ext_recfun.ml ext_equiv.ml ext_induct.ml prove.ml checksum.ml versionnum.ml main.ml zenon.ml | md5sum`'";;' >>checksum.ml ocamldep 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 parsezen.ml lexzen.ml parsetptp.ml lextptp.ml parsecoq.ml lexcoq.ml tptp.ml coqterm.ml lltocoq.ml enum.ml isar_case.ml lltoisar.ml ext_focal.ml ext_tla.ml ext_recfun.ml ext_equiv.ml ext_induct.ml prove.ml checksum.ml versionnum.ml main.ml zenon.ml version.mli config.mli misc.mli heap.mli globals.mli error.mli progress.mli namespace.mli expr.mli phrase.mli llproof.mli mlproof.mli watch.mli eqrel.mli index.mli print.mli step.mli node.mli extension.mli mltoll.mli parsezen.mli lexzen.mli parsetptp.mli lextptp.mli parsecoq.mli lexcoq.mli tptp.mli coqterm.mli lltocoq.mli enum.mli isar_case.mli lltoisar.mli ext_focal.mli ext_tla.mli ext_recfun.mli ext_equiv.mli ext_induct.mli prove.mli checksum.mli versionnum.mli main.mli zenon.mli >.depend coqdep -I . zenon.v zenon_coqbool.v zenon_equiv.v zenon_induct.v zenon_focal.v >>.depend *** Warning: in file zenon_equiv.v, library zenon is required and has not been found in the loadpath! Configuration summary for zenon: EXE= INSTALL_BIN_DIR=/usr/bin INSTALL_LIB_DIR=/usr/share/zenon BYT_DEBUG_FLAGS= BIN_DEBUG_FLAGS= SUM=md5sum CONVERT=convert GS=gs CAMLBYT=ocamlc.opt CAMLBIN=ocamlopt.opt CAMLLEX=ocamllex CAMLYACC=ocamlyacc CAMLDEP=ocamldep COQC=coqc COQDEP=coqdep + mkdir examples + cp -p /builddir/build/SOURCES/zenon-tptp-COM003+2.p examples/tptp-COM003+2.p + cp -p /builddir/build/SOURCES/zenon-tptp-ReadMe examples/tptp-ReadMe + make -j5 zenon.bin ocamlc.opt -g -c version.mli ocamlc.opt -g -c config.mli ocamlc.opt -g -c misc.mli ocamlc.opt -g -c heap.mli ocamlc.opt -g -c globals.mli ocamlc.opt -g -c error.mli ocamlc.opt -g -c progress.mli ocamlc.opt -g -c namespace.mli ocamlc.opt -g -c expr.mli ocamlc.opt -g -c enum.mli ocamlc.opt -g -c isar_case.mli ocamlc.opt -g -c ext_focal.mli ocamlc.opt -g -c ext_tla.mli ocamlc.opt -g -c ext_recfun.mli ocamlc.opt -g -c ext_equiv.mli ocamlc.opt -g -c ext_induct.mli ocamlc.opt -g -c checksum.mli ocamlc.opt -g -c versionnum.mli ocamlc.opt -g -c main.mli ocamlc.opt -g -c zenon.mli ocamlopt.opt -g -c version.ml ocamlopt.opt -g -c config.ml ocamlopt.opt -g -c misc.ml ocamlopt.opt -g -c heap.ml ocamlopt.opt -g -c error.ml ocamlopt.opt -g -c namespace.ml ocamlc.opt -g -c phrase.mli ocamlc.opt -g -c llproof.mli ocamlc.opt -g -c mlproof.mli ocamlopt.opt -g -c enum.ml ocamlopt.opt -g -c checksum.ml ocamlopt.opt -g -c versionnum.ml ocamlopt.opt -g -c globals.ml ocamlc.opt -g -c watch.mli ocamlc.opt -g -c eqrel.mli ocamlc.opt -g -c index.mli ocamlc.opt -g -c print.mli ocamlc.opt -g -c step.mli ocamlc.opt -g -c node.mli ocamlc.opt -g -c mltoll.mli ocamlc.opt -g -c parsezen.mli ocamlc.opt -g -c parsetptp.mli ocamlc.opt -g -c parsecoq.mli ocamlc.opt -g -c tptp.mli ocamlc.opt -g -c coqterm.mli ocamlc.opt -g -c lltocoq.mli ocamlopt.opt -g -c isar_case.ml ocamlc.opt -g -c lltoisar.mli ocamlc.opt -g -c prove.mli ocamlopt.opt -g -c progress.ml ocamlopt.opt -g -c expr.ml ocamlc.opt -g -c extension.mli ocamlc.opt -g -c lexzen.mli ocamlc.opt -g -c lextptp.mli ocamlc.opt -g -c lexcoq.mli ocamlopt.opt -g -c phrase.ml ocamlopt.opt -g -c llproof.ml ocamlopt.opt -g -c mlproof.ml ocamlopt.opt -g -c eqrel.ml ocamlopt.opt -g -c index.ml ocamlopt.opt -g -c node.ml ocamlopt.opt -g -c watch.ml ocamlopt.opt -g -c parsezen.ml ocamlopt.opt -g -c parsetptp.ml ocamlopt.opt -g -c parsecoq.ml ocamlopt.opt -g -c extension.ml ocamlopt.opt -g -c lexzen.ml ocamlopt.opt -g -c lextptp.ml ocamlopt.opt -g -c ext_recfun.ml ocamlopt.opt -g -c ext_equiv.ml ocamlopt.opt -g -c print.ml ocamlopt.opt -g -c ext_tla.ml ocamlopt.opt -g -c mltoll.ml ocamlopt.opt -g -c tptp.ml ocamlopt.opt -g -c ext_focal.ml ocamlopt.opt -g -c lexcoq.ml ocamlopt.opt -g -c step.ml ocamlopt.opt -g -c coqterm.ml ocamlopt.opt -g -c lltocoq.ml ocamlopt.opt -g -c lltoisar.ml ocamlopt.opt -g -c ext_induct.ml ocamlopt.opt -g -c prove.ml ocamlopt.opt -g -c main.ml ocamlopt.opt -g -c zenon.ml ocamlopt.opt -g -o zenon.bin 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 parsezen.cmx lexzen.cmx parsetptp.cmx lextptp.cmx parsecoq.cmx lexcoq.cmx tptp.cmx coqterm.cmx lltocoq.cmx enum.cmx isar_case.cmx lltoisar.cmx ext_focal.cmx ext_tla.cmx ext_recfun.cmx ext_equiv.cmx ext_induct.cmx prove.cmx checksum.cmx versionnum.cmx main.cmx zenon.cmx + cp -p zenon.bin zenon + make coq coqc -q zenon.v coqc -q zenon_coqbool.v coqc -q zenon_equiv.v File "./zenon_equiv.v", line 51, characters 0-118: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 56, characters 0-112: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 61, characters 0-148: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 68, characters 0-183: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 76, characters 0-112: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 81, characters 0-154: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 89, characters 0-189: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 97, characters 0-112: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 102, characters 0-112: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 107, characters 0-113: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 112, characters 0-113: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 117, characters 0-149: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 124, characters 0-184: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 132, characters 0-119: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 137, characters 0-155: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 145, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 153, characters 0-155: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 161, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 169, characters 0-155: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 177, characters 0-196: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 186, characters 0-149: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 193, characters 0-184: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 201, characters 0-149: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 208, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 216, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 224, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 232, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 240, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 248, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 256, characters 0-190: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 264, characters 0-184: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 272, characters 0-184: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 535, characters 0-115: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 540, characters 0-115: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 545, characters 0-109: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 550, characters 0-109: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 555, characters 0-109: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 560, characters 0-109: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 565, characters 0-109: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] File "./zenon_equiv.v", line 570, characters 0-109: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,scope] coqc -q zenon_induct.v coqc -q zenon_focal.v + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.JgRwMz + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm ++ dirname /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm + cd zenon-0.8.4 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm 'INSTALL=/usr/bin/install -p' mkdir -p "/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/bin" cp zenon "/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/bin/" mkdir -p "/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/zenon" cp zenon.v zenon_coqbool.v zenon_equiv.v zenon_induct.v zenon_focal.v "/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/zenon/" for i in zenon.vo zenon_coqbool.vo zenon_equiv.vo zenon_induct.vo zenon_focal.vo; \ do [ ! -f $i ] || cp $i "/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/zenon/"; \ done + install -d /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/man/man1/ + install -d /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/man/man5/ + cp -p /builddir/build/SOURCES/zenon.1 /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/man/man1/ + cp -p /builddir/build/SOURCES/zenon-format.5 /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/man/man5/ + mkdir -p /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/lib/coq/user-contrib + mv /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/zenon /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/lib/coq/user-contrib/Zenon + /usr/lib/rpm/find-debuginfo.sh -j5 --strict-build-id -m -i --build-id-seed 0.8.4-18.fc33 --unique-debug-suffix -0.8.4-18.fc33.arm --unique-debug-src-base zenon-0.8.4-18.fc33.arm --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/zenon-0.8.4 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/bin/zenon extracting debug info from /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/bin/zenon original debug info size: 740kB, size after compression: 744kB /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: gc.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: lexing.ml: Cannot stat: No such file or directory cpio: list.ml: Cannot stat: No such file or directory cpio: printexc.ml: Cannot stat: No such file or directory cpio: printf.ml: Cannot stat: No such file or directory cpio: random.ml: Cannot stat: No such file or directory cpio: scanf.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory 1759 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.iwzQ6B + umask 022 + cd /builddir/build/BUILD + cd zenon-0.8.4 ++ ./zenon -p0 -itptp examples/tptp-COM003+2.p + result='(* PROOF-FOUND *)' Test succeeded + '[' '(* PROOF-FOUND *)' = '(* PROOF-FOUND *)' ']' + echo 'Test succeeded' + RPM_EC=0 ++ jobs -p + exit 0 Processing files: zenon-0.8.4-18.fc33.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.gzakOy + umask 022 + cd /builddir/build/BUILD + cd zenon-0.8.4 + DOCDIR=/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/doc/zenon + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/doc/zenon + cp -pr zenlpar07.pdf /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/doc/zenon + cp -pr examples /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/doc/zenon + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.42qU1y + umask 022 + cd /builddir/build/BUILD + cd zenon-0.8.4 + LICENSEDIR=/builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/licenses/zenon + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/licenses/zenon + cp -pr LICENSE /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm/usr/share/licenses/zenon + RPM_EC=0 ++ jobs -p + exit 0 Provides: zenon = 0.8.4-18.fc33 zenon(armv7hl-32) = 0.8.4-18.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libdl.so.2 libdl.so.2(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.27) libm.so.6(GLIBC_2.29) libm.so.6(GLIBC_2.4) rtld(GNU_HASH) Processing files: zenon-debugsource-0.8.4-18.fc33.armv7hl Provides: zenon-debugsource = 0.8.4-18.fc33 zenon-debugsource(armv7hl-32) = 0.8.4-18.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: zenon-debuginfo-0.8.4-18.fc33.armv7hl Provides: debuginfo(build-id) = 4b5363ae578bc5418cb62fdb384d019e81a6bdd0 zenon-debuginfo = 0.8.4-18.fc33 zenon-debuginfo(armv7hl-32) = 0.8.4-18.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: zenon-debugsource(armv7hl-32) = 0.8.4-18.fc33 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm Wrote: /builddir/build/RPMS/zenon-debuginfo-0.8.4-18.fc33.armv7hl.rpm Wrote: /builddir/build/RPMS/zenon-debugsource-0.8.4-18.fc33.armv7hl.rpm Wrote: /builddir/build/RPMS/zenon-0.8.4-18.fc33.armv7hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.M6BR8A + umask 022 + cd /builddir/build/BUILD + cd zenon-0.8.4 + /usr/bin/rm -rf /builddir/build/BUILDROOT/zenon-0.8.4-18.fc33.arm + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0