-c 'development_tools/e_install DOC/man/ekb_ginsert.1  /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/man/man1'
sh -c 'development_tools/e_install DOC/man/ekb_insert.1   /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/man/man1'
+ /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 /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /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
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.0e5JUI
Processing files: E-2.0-4.fc29.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.YXHmMv
+ umask 022
+ cd /builddir/build/BUILD
+ cd E
+ DOCDIR=/builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr README /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr README.server /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/bug_reporting /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/clib.ps /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/CONTRIBUTORS /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/E-0.6.html DOC/E-0.62.html DOC/E-0.7.html DOC/E-0.8.html DOC/E-0.82.html DOC/E-0.99.html DOC/E-0.999.html DOC/E-1.0pre.html DOC/E-1.1pre.html DOC/E-1.2pre.html DOC/E-1.4pre.html DOC/E-1.6pre.html DOC/E-1.8pre.html DOC/E-1.9.1pre.html DOC/E-1.9pre.html DOC/E-2.0pre.html /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/eprover.pdf /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/E-REMARKS /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/E-REMARKS.english /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/grammar.txt /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/NEWS /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/sample_proofs.html /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/sample_proofs_tstp.html /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/TODO /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/TSTP_Syntax.txt /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ cp -pr DOC/WISHLIST /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/doc/E
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.R8ojTF
+ umask 022
+ cd /builddir/build/BUILD
+ cd E
+ LICENSEDIR=/builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/licenses/E
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/licenses/E
+ cp -pr COPYING /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64/usr/share/licenses/E
+ exit 0
Provides: E = 2.0-4.fc29 E(riscv-64) = 2.0-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /bin/bash ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64
Wrote: /builddir/build/RPMS/E-2.0-4.fc29.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.xkxKcM
+ umask 022
+ cd /builddir/build/BUILD
+ cd E
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/E-2.0-4.fc29.riscv64
+ exit 0
Child return code was: 0