Mock Version: 1.4.14
Mock Version: 1.4.14
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/prooftree.spec'], chrootPath='/var/lib/mock/f31-build-89419-32069/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 0x15581160b8>timeout=345600uid=986gid=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=1564099200
Wrote: /builddir/build/SRPMS/prooftree-0.13-8.fc31.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/f31-build-89419-32069/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 0x15581160b8>timeout=345600uid=986gid=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=1564099200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.8om1uE
+ 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
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.XahKZD
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ ./configure --prefix /usr
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
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)
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
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
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 emacs_commands.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 util.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 about_window.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
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
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.4R5tvF
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64
+ cd prooftree-0.13
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64 'INSTALL=/usr/bin/install -p'
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.13-8.fc31 --unique-debug-suffix -0.13-8.fc31.riscv64 --unique-debug-src-base prooftree-0.13-8.fc31.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/prooftree-0.13
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
+ /usr/lib/rpm/brp-compress
+ /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
mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/bin
cp -p prooftree /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/bin
mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/man/man1
cp -p prooftree.1 /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/man/man1
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/bin/prooftree
extracting debug info from /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/bin/prooftree
original debug info size: 2436kB, size after compression: 2440kB
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
Processing files: prooftree-0.13-8.fc31.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.fCdMIB
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ DOCDIR=/builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/doc/prooftree
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/doc/prooftree
+ cp -pr ChangeLog /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/doc/prooftree
+ cp -pr README /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/doc/prooftree
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.SrK64D
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ LICENSEDIR=/builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/licenses/prooftree
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/licenses/prooftree
+ cp -pr COPYING /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64/usr/share/licenses/prooftree
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: prooftree = 0.13-8.fc31 prooftree(riscv-64) = 0.13-8.fc31
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) 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) 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-8.fc31.riscv64
Provides: prooftree-debugsource = 0.13-8.fc31 prooftree-debugsource(riscv-64) = 0.13-8.fc31
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-8.fc31.riscv64
Provides: debuginfo(build-id) = 82adb78a85e2273658c4b79acafed2b26fdba67b prooftree-debuginfo = 0.13-8.fc31 prooftree-debuginfo(riscv-64) = 0.13-8.fc31
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-8.fc31
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64
Wrote: /builddir/build/RPMS/prooftree-debugsource-0.13-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/prooftree-debuginfo-0.13-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/prooftree-0.13-8.fc31.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.SDuOOD
+ umask 022
+ cd /builddir/build/BUILD
+ cd prooftree-0.13
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/prooftree-0.13-8.fc31.riscv64
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0