Mock Version: 1.4.9 Mock Version: 1.4.9 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/prooftree.spec'], chrootPath='/var/lib/mock/f29-build-15103-6963/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 Wrote: /builddir/build/SRPMS/prooftree-0.13-5.fc29.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/prooftree.spec'], chrootPath='/var/lib/mock/f29-build-15103-6963/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.4KCYoI + 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 + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.cPOQSl + umask 022 + cd /builddir/build/BUILD + cd prooftree-0.13 + ./configure --prefix /usr ocamlc version 4.06.0 found. ocamlopt.opt version 4.06.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 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 input.mli ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 version.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 emacs_commands.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 gtk_ext.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 configuration.ml BUILDSTDERR: File "configuration.ml", line 504, characters 16-57: BUILDSTDERR: Warning 52: Code should not depend on the actual values of BUILDSTDERR: this constructor's arguments. They are only for information BUILDSTDERR: and may change in future versions. (See manual section 8.5) BUILDSTDERR: File "configuration.ml", line 929, characters 16-57: BUILDSTDERR: Warning 52: Code should not depend on the actual values of BUILDSTDERR: this constructor's arguments. They are only for information BUILDSTDERR: and may change in future versions. (See manual section 8.5) BUILDSTDERR: File "configuration.ml", line 934, characters 16-44: BUILDSTDERR: Warning 52: Code should not depend on the actual values of BUILDSTDERR: this constructor's arguments. They are only for information BUILDSTDERR: and may change in future versions. (See manual section 8.5) BUILDSTDERR: File "_none_", line 1: BUILDSTDERR: Warning 52: Code should not depend on the actual values of BUILDSTDERR: this constructor's arguments. They are only for information BUILDSTDERR: and may change in future versions. (See manual section 8.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 + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.acs4gX + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 + cd prooftree-0.13 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/bin cp -p prooftree /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/bin mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/man/man1 cp -p prooftree.1 /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/man/man1 + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.13-5.fc29 --unique-debug-suffix -0.13-5.fc29.riscv64 --unique-debug-src-base prooftree-0.13-5.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/prooftree-0.13 extracting debug info from /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/bin/prooftree /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. BUILDSTDERR: cpio: buffer.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bytes.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gBin.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gButton.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gDraw.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gEdit.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gPack.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gPango.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gWindow.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gdk.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gdkEvent.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: glib.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: gtkMain.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: hashtbl.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: pervasives.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: printf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: scanf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: string.ml: Cannot stat: No such file or directory BUILDSTDERR: 676 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig BUILDSTDERR: /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: prooftree-0.13-5.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.rgRQgZ + umask 022 + cd /builddir/build/BUILD + cd prooftree-0.13 + DOCDIR=/builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/doc/prooftree + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/doc/prooftree + cp -pr ChangeLog /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/doc/prooftree + cp -pr README /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/doc/prooftree + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.SJyNN2 + umask 022 + cd /builddir/build/BUILD + cd prooftree-0.13 + LICENSEDIR=/builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/licenses/prooftree + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/licenses/prooftree + cp -pr COPYING /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64/usr/share/licenses/prooftree + exit 0 Provides: prooftree = 0.13-5.fc29 prooftree(riscv-64) = 0.13-5.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libatk-1.0.so.0()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libcairo.so.2()(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libfontconfig.so.1()(64bit) libfreetype.so.6()(64bit) libfribidi.so.0()(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) 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-5.fc29.riscv64 Provides: prooftree-debugsource = 0.13-5.fc29 prooftree-debugsource(riscv-64) = 0.13-5.fc29 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-5.fc29.riscv64 Provides: debuginfo(build-id) = c94fb7091cb303573b76142df09587c7f1e51700 prooftree-debuginfo = 0.13-5.fc29 prooftree-debuginfo(riscv-64) = 0.13-5.fc29 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-5.fc29 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 Wrote: /builddir/build/RPMS/prooftree-0.13-5.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prooftree-debugsource-0.13-5.fc29.riscv64.rpm Wrote: /builddir/build/RPMS/prooftree-debuginfo-0.13-5.fc29.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.HXlhka + umask 022 + cd /builddir/build/BUILD + cd prooftree-0.13 + /usr/bin/rm -rf /builddir/build/BUILDROOT/prooftree-0.13-5.fc29.riscv64 + exit 0 Child return code was: 0