Mock Version: 1.4.21
Mock Version: 1.4.21
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/prooftree.spec'], chrootPath='/var/lib/mock/f33-build-151417-43278/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 0x3fe0ea1700>timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/prooftree.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: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1580342400
Wrote: /builddir/build/SRPMS/prooftree-0.13-9.fc33.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/prooftree.spec'], chrootPath='/var/lib/mock/f33-build-151417-43278/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 0x3fe0ea1700>timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/prooftree.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: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1580342400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.xr7ren
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf prooftree-0.13
+ /usr/bin/gzip -dc /builddir/build/SOURCES/prooftree-0.13.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd prooftree-0.13
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/cp /cp -p /' Makefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.8wNGCp
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ ./configure --prefix /usr
ocamlc version 4.09.0 found.
ocamlopt.opt version 4.09.0 found. Native compilation enabled.
test ocamlopt.opt -I +lablgtk2
  Configuration summary:
    binaries   will be copied to /usr/bin
    man pages  will be copied to /usr/share/man
    native-code compilation enabled with ocamlopt.opt
    LablGtk2 at +lablgtk2
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
echo '(* This file is automatically generated from version.txt *)' > version.ml
echo '(* DO NOT EDIT! *)' >> version.ml
echo "let version = \"`head -1 version.txt`\"" >> version.ml
ocamldep.opt version.mli proof_tree.mli input.mli version.ml util.ml gtk_ext.ml configuration.ml draw_tree.ml tree_layers.ml about_window.ml help_window.ml node_window.ml ext_dialog.ml emacs_commands.ml proof_window.ml proof_tree.ml coq.ml input.ml main.ml > Makefile.deps
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 version.mli
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_tree.mli
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 emacs_commands.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 util.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 input.mli
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 gtk_ext.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 version.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 coq.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 about_window.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 configuration.ml
File "configuration.ml", line 504, characters 16-57:
504 |       | Failure "Incompatible configuration file version" ->
                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 9.5)
File "configuration.ml", line 929, characters 16-57:
929 |       | Failure "Incompatible configuration file version" ->
                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 9.5)
File "configuration.ml", line 934, characters 16-44:
934 |       | Failure "Invalid configuration file" ->
                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 9.5)
File "_none_", line 1:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 9.5)
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 help_window.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 draw_tree.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 node_window.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 ext_dialog.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 tree_layers.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_window.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_tree.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 input.ml
ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 main.ml
ocamlopt.opt -g -I +lablgtk2 -o prooftree \
	unix.cmxa lablgtk.cmxa gtkInit.cmx version.cmx util.cmx gtk_ext.cmx configuration.cmx draw_tree.cmx tree_layers.cmx about_window.cmx help_window.cmx node_window.cmx ext_dialog.cmx emacs_commands.cmx proof_window.cmx proof_tree.cmx coq.cmx input.cmx main.cmx
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.hU6J2n
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64
++ dirname /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64
+ cd prooftree-0.13
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64 'INSTALL=/usr/bin/install -p'
mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/bin
cp -p prooftree /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/bin
mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/man/man1
cp -p prooftree.1 /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/man/man1
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.13-9.fc33 --unique-debug-suffix -0.13-9.fc33.riscv64 --unique-debug-src-base prooftree-0.13-9.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/prooftree-0.13
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/bin/prooftree
extracting debug info from /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/bin/prooftree
original debug info size: 2904kB, size after compression: 2908kB
/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: gBin.ml: Cannot stat: No such file or directory
cpio: gButton.ml: Cannot stat: No such file or directory
cpio: gDraw.ml: Cannot stat: No such file or directory
cpio: gEdit.ml: Cannot stat: No such file or directory
cpio: gPack.ml: Cannot stat: No such file or directory
cpio: gPango.ml: Cannot stat: No such file or directory
cpio: gWindow.ml: Cannot stat: No such file or directory
cpio: gdk.ml: Cannot stat: No such file or directory
cpio: gdkEvent.ml: Cannot stat: No such file or directory
cpio: glib.ml: Cannot stat: No such file or directory
cpio: gtkMain.ml: Cannot stat: No such file or directory
cpio: hashtbl.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: 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
676 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 /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: prooftree-0.13-9.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.88wAWm
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ DOCDIR=/builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/doc/prooftree
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/doc/prooftree
+ cp -pr ChangeLog /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/doc/prooftree
+ cp -pr README /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/doc/prooftree
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.7OA3Zl
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ LICENSEDIR=/builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/licenses/prooftree
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/licenses/prooftree
+ cp -pr COPYING /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64/usr/share/licenses/prooftree
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: prooftree = 0.13-9.fc33 prooftree(riscv-64) = 0.13-9.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libatk-1.0.so.0()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libcairo.so.2()(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libfontconfig.so.1()(64bit) libfreetype.so.6()(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libgio-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libharfbuzz.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpango-1.0.so.0()(64bit) libpangocairo-1.0.so.0()(64bit) libpangoft2-1.0.so.0()(64bit) rtld(GNU_HASH)
Processing files: prooftree-debugsource-0.13-9.fc33.riscv64
Provides: prooftree-debugsource = 0.13-9.fc33 prooftree-debugsource(riscv-64) = 0.13-9.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: prooftree-debuginfo-0.13-9.fc33.riscv64
Provides: debuginfo(build-id) = b3faca8acef88e34c9eb1aff1cb09df5f67e26c9 prooftree-debuginfo = 0.13-9.fc33 prooftree-debuginfo(riscv-64) = 0.13-9.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: prooftree-debugsource(riscv-64) = 0.13-9.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64
Wrote: /builddir/build/RPMS/prooftree-debugsource-0.13-9.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/prooftree-debuginfo-0.13-9.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/prooftree-0.13-9.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.5yOLen
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/prooftree-0.13-9.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0