c-5.8
+ DOCDIR=/builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc
+ cp -pr CHANGELOG /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc
+ cp -pr README.md /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.4d3upU
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.8
+ LICENSEDIR=/builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/licenses/cbmc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/licenses/cbmc
+ cp -pr LICENSE /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/licenses/cbmc
+ exit 0
Provides: cbmc = 5.8-4.fc29 cbmc(riscv-64) = 5.8-4.fc29
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) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libglpk.so.40()(64bit) libminisat.so.2()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.1)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cbmc-doc-5.8-4.fc29.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.0v5Jcd
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.8
+ DOCDIR=/builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc-doc
+ cp -pr doc/html /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64/usr/share/doc/cbmc-doc
+ exit 0
Provides: cbmc-doc = 5.8-4.fc29 cbmc-doc(riscv-64) = 5.8-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cbmc-debugsource-5.8-4.fc29.riscv64
Provides: cbmc-debugsource = 5.8-4.fc29 cbmc-debugsource(riscv-64) = 5.8-4.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cbmc-debuginfo-5.8-4.fc29.riscv64
Provides: cbmc-debuginfo = 5.8-4.fc29 cbmc-debuginfo(riscv-64) = 5.8-4.fc29 debuginfo(build-id) = 58cc553509a80265854e15d4eb370791453e9ee7 debuginfo(build-id) = 5eefd7bd096654cd022ca82c28a291b89670ec3f debuginfo(build-id) = 6938b719bbd3f41907d635ccbcbafc00ad88d05a debuginfo(build-id) = a2f020a8e9b179d72bb66e0c448a8011ceb017f9 debuginfo(build-id) = c41bc283e371822584687044ddb8e641e1341f2f debuginfo(build-id) = c6683190d715f161146b0957862d3ed38bd2ef5b debuginfo(build-id) = fc2f980c0177d19ab18518607d4c4b95bc191a6e
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cbmc-debugsource(riscv-64) = 5.8-4.fc29
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64
Wrote: /builddir/build/RPMS/cbmc-5.8-4.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-doc-5.8-4.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-debugsource-5.8-4.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-debuginfo-5.8-4.fc29.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.7p0Nq6
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.8
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cbmc-5.8-4.fc29.riscv64
+ exit 0
Child return code was: 0