ild/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/doc/cbmc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/doc/cbmc
+ cp -pr CHANGELOG /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/doc/cbmc
+ cp -pr README.md /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/doc/cbmc
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.uoDRBj
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.10
+ LICENSEDIR=/builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/licenses/cbmc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/licenses/cbmc
+ cp -pr LICENSE /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/licenses/cbmc
+ exit 0
Provides: cbmc = 5.10-1.fc29 cbmc(riscv-64) = 5.10-1.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) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libminisat.so.2()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.2)(64bit) libstdc++.so.6(CXXABI_1.3.3)(64bit) libstdc++.so.6(CXXABI_1.3.5)(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.19)(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.10-1.fc29.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ynIHx7
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.10
+ DOCDIR=/builddir/build/BUILDROOT/cbmc-5.10-1.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.10-1.fc29.riscv64/usr/share/doc/cbmc-doc
+ cp -pr doc/html /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64/usr/share/doc/cbmc-doc
+ exit 0
Provides: cbmc-doc = 5.10-1.fc29 cbmc-doc(riscv-64) = 5.10-1.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.10-1.fc29.riscv64
Provides: cbmc-debugsource = 5.10-1.fc29 cbmc-debugsource(riscv-64) = 5.10-1.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.10-1.fc29.riscv64
Provides: cbmc-debuginfo = 5.10-1.fc29 cbmc-debuginfo(riscv-64) = 5.10-1.fc29 debuginfo(build-id) = 1a552c66c4c2dc45c807f5c9befe8609cdc3a553 debuginfo(build-id) = 2a236a8f5bdc5358ad72bf4552d7945efa7b6480 debuginfo(build-id) = 32b211081ddd96f0146b5453d33550869b876146 debuginfo(build-id) = 55fb93da829e14e95eb1ecb0287fb9b658c39774 debuginfo(build-id) = 636cf5b99f0906b3883f504a498ccd88a2839851
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.10-1.fc29
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64
Wrote: /builddir/build/RPMS/cbmc-5.10-1.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-doc-5.10-1.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-debugsource-5.10-1.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-debuginfo-5.10-1.fc29.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.5UjDev
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.10
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cbmc-5.10-1.fc29.riscv64
+ exit 0
Child return code was: 0