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/minisat2.spec'], chrootPath='/var/lib/mock/f31-build-55908-28162/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'}shell=Falselogger=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/minisat2.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'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1548979200 Wrote: /builddir/build/SRPMS/minisat2-2.2.1-7.fc31.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/minisat2.spec'], chrootPath='/var/lib/mock/f31-build-55908-28162/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'}shell=Falselogger=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/minisat2.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'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1548979200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.ZlKUoh + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf minisat2-2.2.1 + /usr/bin/gzip -dc /builddir/build/SOURCES/minisat2_2.2.1.orig.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd minisat2-2.2.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/minisat2-memory-limit.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /builddir/build/SOURCES/minisat2-clang-build.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + for fil in minisat/utils/Options.h minisat/simp/Main.cc + sed -i.orig 's/"\(PRI[[:alnum:]]*\)/" \1 /' minisat/utils/Options.h + touch -r minisat/utils/Options.h.orig minisat/utils/Options.h + rm -f minisat/utils/Options.h.orig + for fil in minisat/utils/Options.h minisat/simp/Main.cc + sed -i.orig 's/"\(PRI[[:alnum:]]*\)/" \1 /' minisat/simp/Main.cc + touch -r minisat/simp/Main.cc.orig minisat/simp/Main.cc + rm -f minisat/simp/Main.cc.orig + sed -i s/fpic/fPIC/ Makefile + cp -p /builddir/build/SOURCES/minisat-user-guide-1.0.html minisat-user-guide.html + cp -p /builddir/build/SOURCES/minisat2-test.in . + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.kUqlqh + umask 022 + cd /builddir/build/BUILD + cd minisat2-2.2.1 + make lsh sh prefix=/usr libdir=/usr/lib64 'CXXFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' VERB= BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/core/Solver.cc:23: BUILDSTDERR: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(int) [with T = Minisat::vec]': BUILDSTDERR: ./minisat/mtl/Vec.h:115:5: required from 'void Minisat::vec::growTo(int) [with T = Minisat::vec]' BUILDSTDERR: ./minisat/core/SolverTypes.h:286:39: required from 'void Minisat::OccLists::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted]' BUILDSTDERR: minisat/core/Solver.cc:117:35: required from here BUILDSTDERR: ./minisat/mtl/Vec.h:99:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: 99 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) BUILDSTDERR: | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/core/Solver.cc:23: BUILDSTDERR: ./minisat/mtl/Vec.h:38:7: note: 'class Minisat::vec' declared here BUILDSTDERR: 38 | class vec { BUILDSTDERR: | ^~~ BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/simp/SimpSolver.cc:21: BUILDSTDERR: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(int) [with T = Minisat::vec]': BUILDSTDERR: ./minisat/mtl/Vec.h:115:5: required from 'void Minisat::vec::growTo(int) [with T = Minisat::vec]' BUILDSTDERR: ./minisat/core/SolverTypes.h:286:39: required from 'void Minisat::OccLists::init(const Idx&) [with Idx = int; Vec = Minisat::vec; Deleted = Minisat::SimpSolver::ClauseDeleted]' BUILDSTDERR: minisat/simp/SimpSolver.cc:85:26: required from here BUILDSTDERR: ./minisat/mtl/Vec.h:99:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: 99 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) BUILDSTDERR: | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/simp/SimpSolver.cc:21: BUILDSTDERR: ./minisat/mtl/Vec.h:38:7: note: 'class Minisat::vec' declared here BUILDSTDERR: 38 | class vec { BUILDSTDERR: | ^~~ + export LD_LIBRARY_PATH=/builddir/build/BUILD/minisat2-2.2.1/build/dynamic/lib + LD_LIBRARY_PATH=/builddir/build/BUILD/minisat2-2.2.1/build/dynamic/lib + build/dynamic/bin/minisat minisat2-test.in minisat2-test.out Compiling: build/dynamic/minisat/core/Solver.o mkdir -p build/dynamic/minisat/core/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o build/dynamic/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/dynamic/minisat/core/Solver.d Compiling: build/dynamic/minisat/simp/SimpSolver.o mkdir -p build/dynamic/minisat/simp/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o build/dynamic/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/dynamic/minisat/simp/SimpSolver.d Compiling: build/dynamic/minisat/utils/System.o mkdir -p build/dynamic/minisat/utils/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o build/dynamic/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/dynamic/minisat/utils/System.d Compiling: build/dynamic/minisat/utils/Options.o mkdir -p build/dynamic/minisat/utils/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o build/dynamic/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/dynamic/minisat/utils/Options.d Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0 mkdir -p build/dynamic/lib/ g++ -Wall -lz -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o build/dynamic/lib/libminisat.so.2.1.0 -shared -Wl,-soname,libminisat.so.2 build/dynamic/minisat/core/Solver.o build/dynamic/minisat/simp/SimpSolver.o build/dynamic/minisat/utils/System.o build/dynamic/minisat/utils/Options.o ln -sf libminisat.so.2.1.0 build/dynamic/lib/libminisat.so.2 ln -sf libminisat.so.2 build/dynamic/lib/libminisat.so Compiling: build/dynamic/minisat/simp/Main.o mkdir -p build/dynamic/minisat/simp/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c -o build/dynamic/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/dynamic/minisat/simp/Main.d Linking Binary: build/dynamic/bin/minisat mkdir -p build/dynamic/bin/ g++ build/dynamic/minisat/simp/Main.o build/dynamic/lib/libminisat.so -Wall -lz -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o build/dynamic/bin/minisat ============================[ Problem Statistics ]============================= | | | Number of variables: 5 | BUILDSTDERR: | Number of clauses: + true + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 3 | | Parse time: 0.04 s | | Eliminated clauses: 0.00 Mb | | Simplification time: 0.01 s | | | ============================[ Search Statistics ]============================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Vars Clauses Literals | Limit Clauses Lit/Cl | | =============================================================================== =============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 1 (0.00 % random) (8 /sec) propagations : 0 (0 /sec) conflict literals : 0 ( nan % deleted) Memory used : 9.00 MB CPU time : 0.124654 s SATISFIABLE Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.qGwsSd + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 + cd minisat2-2.2.1 + make install prefix=/usr libdir=/usr/lib64 DESTDIR=/builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/core/Solver.cc:23: BUILDSTDERR: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(int) [with T = Minisat::vec]': BUILDSTDERR: ./minisat/mtl/Vec.h:115:5: required from 'void Minisat::vec::growTo(int) [with T = Minisat::vec]' BUILDSTDERR: ./minisat/core/SolverTypes.h:286:39: required from 'void Minisat::OccLists::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted]' BUILDSTDERR: minisat/core/Solver.cc:117:35: required from here BUILDSTDERR: ./minisat/mtl/Vec.h:99:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: 99 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) BUILDSTDERR: | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/core/Solver.cc:23: BUILDSTDERR: ./minisat/mtl/Vec.h:38:7: note: 'class Minisat::vec' declared here BUILDSTDERR: 38 | class vec { BUILDSTDERR: | ^~~ BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/simp/SimpSolver.cc:21: BUILDSTDERR: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(int) [with T = Minisat::vec]': BUILDSTDERR: ./minisat/mtl/Vec.h:115:5: required from 'void Minisat::vec::growTo(int) [with T = Minisat::vec]' BUILDSTDERR: ./minisat/core/SolverTypes.h:286:39: required from 'void Minisat::OccLists::init(const Idx&) [with Idx = int; Vec = Minisat::vec; Deleted = Minisat::SimpSolver::ClauseDeleted]' BUILDSTDERR: minisat/simp/SimpSolver.cc:85:26: required from here BUILDSTDERR: ./minisat/mtl/Vec.h:99:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: 99 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) BUILDSTDERR: | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ./minisat/mtl/Sort.h:24, BUILDSTDERR: from minisat/simp/SimpSolver.cc:21: BUILDSTDERR: ./minisat/mtl/Vec.h:38:7: note: 'class Minisat::vec' declared here BUILDSTDERR: 38 | class vec { BUILDSTDERR: | ^~~ + rm /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64/libminisat.a + chmod a+x /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64/libminisat.so.2.1.0 + mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/man/man1 + install -m 0644 -p /builddir/build/SOURCES/minisat.1 /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/man/man1 + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 2.2.1-7.fc31 --unique-debug-suffix -2.2.1-7.fc31.riscv64 --unique-debug-src-base minisat2-2.2.1-7.fc31.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/minisat2-2.2.1 BUILDSTDERR: 334 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/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs install -d /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/include/minisat for dir in mtl utils core simp; do \ install -d /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/include/minisat/$dir ; \ done for h in minisat/mtl/Alg.h minisat/mtl/Map.h minisat/mtl/Alloc.h minisat/mtl/Vec.h minisat/mtl/Sort.h minisat/mtl/Queue.h minisat/mtl/IntTypes.h minisat/mtl/Heap.h minisat/mtl/XAlloc.h minisat/core/SolverTypes.h minisat/core/Dimacs.h minisat/core/Solver.h minisat/simp/SimpSolver.h minisat/utils/System.h minisat/utils/ParseUtils.h minisat/utils/Options.h ; do \ install -m 644 $h /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/include/$h ; \ done Compiling: build/release/minisat/core/Solver.o Compiling: build/release/minisat/simp/SimpSolver.o Compiling: build/release/minisat/utils/System.o Compiling: build/release/minisat/utils/Options.o Linking Static Library: build/release/lib/libminisat.a install -d /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64 install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64 ln -sf libminisat.so.2.1.0 /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64/libminisat.so.2 ln -sf libminisat.so.2 /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64/libminisat.so install -m 644 build/release/lib/libminisat.a /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64 install -d /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/bin install -m 755 build/dynamic/bin/minisat /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/bin explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64/libminisat.so.2.1.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/bin/minisat extracting debug info from /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/lib64/libminisat.so.2.1.0 extracting debug info from /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/bin/minisat original debug info size: 748kB, size after compression: 676kB /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.6nU66h Processing files: minisat2-2.2.1-7.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.JxUzAf + umask 022 + cd /builddir/build/BUILD + cd minisat2-2.2.1 + DOCDIR=/builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/doc/minisat2 + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/doc/minisat2 + cp -pr doc/ReleaseNotes-2.2.0.txt /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/doc/minisat2 + cp -pr minisat-user-guide.html /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/doc/minisat2 + cp -pr minisat2-test.in /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/doc/minisat2 + cp -pr minisat2-test.out /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/doc/minisat2 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: minisat2 = 2.2.1-7.fc31 minisat2(riscv-64) = 2.2.1-7.fc31 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) libminisat.so.2()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: minisat2-libs-2.2.1-7.fc31.riscv64 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.NzzLFd + umask 022 + cd /builddir/build/BUILD + cd minisat2-2.2.1 + LICENSEDIR=/builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/licenses/minisat2-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/licenses/minisat2-libs + cp -pr LICENSE /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64/usr/share/licenses/minisat2-libs + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: libminisat.so.2()(64bit) minisat2-libs = 2.2.1-7.fc31 minisat2-libs(riscv-64) = 2.2.1-7.fc31 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) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: minisat2-devel-2.2.1-7.fc31.riscv64 Provides: minisat2-devel = 2.2.1-7.fc31 minisat2-devel(riscv-64) = 2.2.1-7.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libminisat.so.2()(64bit) Processing files: minisat2-debugsource-2.2.1-7.fc31.riscv64 Provides: minisat2-debugsource = 2.2.1-7.fc31 minisat2-debugsource(riscv-64) = 2.2.1-7.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: minisat2-debuginfo-2.2.1-7.fc31.riscv64 Provides: debuginfo(build-id) = 4979928dcea38ecd1120189e6d8d9347f8794520 minisat2-debuginfo = 2.2.1-7.fc31 minisat2-debuginfo(riscv-64) = 2.2.1-7.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: minisat2-debugsource(riscv-64) = 2.2.1-7.fc31 Processing files: minisat2-libs-debuginfo-2.2.1-7.fc31.riscv64 Provides: debuginfo(build-id) = 709eab975a5e62e46eb87014f974adf5d8c0fa4a minisat2-libs-debuginfo = 2.2.1-7.fc31 minisat2-libs-debuginfo(riscv-64) = 2.2.1-7.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: minisat2-debugsource(riscv-64) = 2.2.1-7.fc31 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 Wrote: /builddir/build/RPMS/minisat2-2.2.1-7.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/minisat2-libs-2.2.1-7.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/minisat2-devel-2.2.1-7.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/minisat2-debugsource-2.2.1-7.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/minisat2-debuginfo-2.2.1-7.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/minisat2-libs-debuginfo-2.2.1-7.fc31.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.BiTbWd + umask 022 + cd /builddir/build/BUILD + cd minisat2-2.2.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/minisat2-2.2.1-7.fc31.riscv64 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Child return code was: 0