Mock Version: 5.6
Mock Version: 5.6
Mock Version: 5.6
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/minisat2.spec'], chrootPath='/var/lib/mock/f42-build-54806026-6530094/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': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7febfed83170>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.zei6vvbc:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.zei6vvbc:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'b3fe83f6569a4e95b67ea03197638b73', '-D', '/var/lib/mock/f42-build-54806026-6530094/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.zei6vvbc:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1721260800
Wrote: /builddir/build/SRPMS/minisat2-2.2.1-20.fc42.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/minisat2.spec'], chrootPath='/var/lib/mock/f42-build-54806026-6530094/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': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7febfed83170>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.zei6vvbc:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.zei6vvbc:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '477602ed3fe144dd9dcb7b1c3b2a6b1c', '-D', '/var/lib/mock/f42-build-54806026-6530094/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.zei6vvbc:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1721260800
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.T8c3lG
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ test -d /builddir/build/BUILD/minisat2-2.2.1-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/minisat2-2.2.1-build
+ /usr/bin/rm -rf /builddir/build/BUILD/minisat2-2.2.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/minisat2-2.2.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/minisat2-2.2.1-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.eNT9NU
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ rm -rf minisat2-2.2.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/minisat2_2.2.1.orig.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd minisat2-2.2.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/minisat2-memory-limit.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/minisat2-clang-build.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ 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
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.u4E0Ku
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd minisat2-2.2.1
+ make lsh sh prefix=/usr libdir=/usr/lib64 VERB=
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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -c -o build/dynamic/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/dynamic/minisat/core/Solver.d
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T>::capacity(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]’:
./minisat/mtl/Vec.h:115:13:   required from ‘void Minisat::vec<T>::growTo(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]’
  115 |     capacity(size);
      |     ~~~~~~~~^~~~~~
./minisat/core/SolverTypes.h:286:50:   required from ‘void Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted]’
  286 |     void  init      (const Idx& idx){ occs.growTo(toInt(idx)+1); dirty.growTo(toInt(idx)+1, 0); }
      |                                       ~~~~~~~~~~~^~~~~~~~~~~~~~
minisat/core/Solver.cc:117:19:   required from here
  117 |     watches  .init(mkLit(v, false));
      |     ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:99:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
   99 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:38:7: note: ‘class Minisat::vec<Minisat::Solver::Watcher>’ declared here
   38 | class vec {
      |       ^~~
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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -c -o build/dynamic/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/dynamic/minisat/simp/SimpSolver.d
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T>::capacity(int) [with T = Minisat::vec<unsigned int>]’:
./minisat/mtl/Vec.h:115:13:   required from ‘void Minisat::vec<T>::growTo(int) [with T = Minisat::vec<unsigned int>]’
  115 |     capacity(size);
      |     ~~~~~~~~^~~~~~
./minisat/core/SolverTypes.h:286:50:   required from ‘void Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted]’
  286 |     void  init      (const Idx& idx){ occs.growTo(toInt(idx)+1); dirty.growTo(toInt(idx)+1, 0); }
      |                                       ~~~~~~~~~~~^~~~~~~~~~~~~~
minisat/simp/SimpSolver.cc:85:24:   required from here
   85 |         occurs    .init(v);
      |         ~~~~~~~~~~~~~~~^~~
./minisat/mtl/Vec.h:99:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
   99 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:38:7: note: ‘class Minisat::vec<unsigned int>’ declared here
   38 | class vec {
      |       ^~~
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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -c -o build/dynamic/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/dynamic/minisat/utils/Options.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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -c -o build/dynamic/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/dynamic/minisat/utils/System.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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -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/Options.o build/dynamic/minisat/utils/System.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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -o build/dynamic/bin/minisat
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/build/dynamic/lib
+ LD_LIBRARY_PATH=/builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/build/dynamic/lib
+ build/dynamic/bin/minisat minisat2-test.in minisat2-test.out
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:             5                                         |
|  Number of clauses:               3                                         |
|  Parse time:                   0.00 s                                       |
|  Eliminated clauses:           0.00 Mb                                      |
|  Simplification time:          0.00 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) (935 /sec)
propagations          : 0              (0 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 11.00 MB
CPU time              : 0.001069 s
SATISFIABLE
+ true
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.yBz1x7
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ '[' /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT
++ dirname /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/minisat2-2.2.1-build
+ mkdir /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd minisat2-2.2.1
+ /usr/bin/make install DESTDIR=/builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT 'INSTALL=/usr/bin/install -p' prefix=/usr libdir=/usr/lib64
/usr/bin/install -p -d /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/include/minisat
for dir in mtl utils core simp; do \
  /usr/bin/install -p -d /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/include/minisat/$dir ; \
done
for h in minisat/mtl/Alg.h minisat/mtl/Alloc.h minisat/mtl/Heap.h minisat/mtl/IntTypes.h minisat/mtl/Map.h minisat/mtl/Queue.h minisat/mtl/Sort.h minisat/mtl/Vec.h minisat/mtl/XAlloc.h minisat/core/Dimacs.h minisat/core/Solver.h minisat/core/SolverTypes.h minisat/simp/SimpSolver.h minisat/utils/Options.h minisat/utils/ParseUtils.h minisat/utils/System.h ; do \
  /usr/bin/install -p -m 644 $h /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/include/$h ; \
done
Compiling: build/release/minisat/core/Solver.o
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T>::capacity(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]’:
./minisat/mtl/Vec.h:115:13:   required from ‘void Minisat::vec<T>::growTo(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]’
  115 |     capacity(size);
      |     ~~~~~~~~^~~~~~
./minisat/core/SolverTypes.h:286:50:   required from ‘void Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted]’
  286 |     void  init      (const Idx& idx){ occs.growTo(toInt(idx)+1); dirty.growTo(toInt(idx)+1, 0); }
      |                                       ~~~~~~~~~~~^~~~~~~~~~~~~~
minisat/core/Solver.cc:117:19:   required from here
  117 |     watches  .init(mkLit(v, false));
      |     ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:99:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
   99 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:38:7: note: ‘class Minisat::vec<Minisat::Solver::Watcher>’ declared here
   38 | class vec {
      |       ^~~
Compiling: build/release/minisat/simp/SimpSolver.o
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T>::capacity(int) [with T = Minisat::vec<unsigned int>]’:
./minisat/mtl/Vec.h:115:13:   required from ‘void Minisat::vec<T>::growTo(int) [with T = Minisat::vec<unsigned int>]’
  115 |     capacity(size);
      |     ~~~~~~~~^~~~~~
./minisat/core/SolverTypes.h:286:50:   required from ‘void Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted]’
  286 |     void  init      (const Idx& idx){ occs.growTo(toInt(idx)+1); dirty.growTo(toInt(idx)+1, 0); }
      |                                       ~~~~~~~~~~~^~~~~~~~~~~~~~
minisat/simp/SimpSolver.cc:85:24:   required from here
   85 |         occurs    .init(v);
      |         ~~~~~~~~~~~~~~~^~~
./minisat/mtl/Vec.h:99:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
   99 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./minisat/mtl/Vec.h:38:7: note: ‘class Minisat::vec<unsigned int>’ declared here
   38 | class vec {
      |       ^~~
Compiling: build/release/minisat/utils/Options.o
Compiling: build/release/minisat/utils/System.o
Linking Static Library: build/release/lib/libminisat.a
/usr/bin/install -p -d /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64
/usr/bin/install -p -m 644 build/dynamic/lib/libminisat.so.2.1.0 /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64
ln -sf libminisat.so.2.1.0 /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64/libminisat.so.2
ln -sf libminisat.so.2 /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64/libminisat.so
/usr/bin/install -p -m 644 build/release/lib/libminisat.a /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64
/usr/bin/install -p -d /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/bin
/usr/bin/install -p -m 755 build/dynamic/bin/minisat /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/bin
+ rm /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64/libminisat.a
+ chmod a+x /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/lib64/libminisat.so.2.1.0
+ mkdir -p /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/man/man1
+ install -m 0644 -p /builddir/build/SOURCES/minisat.1 /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/man/man1
+ /usr/bin/find-debuginfo -j6 --strict-build-id -m -i --build-id-seed 2.2.1-20.fc42 --unique-debug-suffix -2.2.1-20.fc42.x86_64 --unique-debug-src-base minisat2-2.2.1-20.fc42.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1
find-debuginfo: starting
Extracting debug info from 2 files
DWARF-compressing 2 files
sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/minisat2-2.2.1-20.fc42.x86_64
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j6
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j6 /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT
Scanned 27 directories and 44 files,
               processed 0 inodes,
               0 modified (0 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/minisat2-2.2.1-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.P61ti0
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd minisat2-2.2.1
RESULTS:
+ echo RESULTS:
+ cat minisat2-test.out
SAT
-1 -2 -3 -4 -5 0
++ head -1 minisat2-test.out
+ result=SAT
SUCCESS - Correctly found that it was satisfiable
+ '[' SAT = SAT ']'
+ echo 'SUCCESS - Correctly found that it was satisfiable'
+ true
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: minisat2-2.2.1-20.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.yj9oXc
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ cd minisat2-2.2.1
+ DOCDIR=/builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/doc/minisat2
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/doc/minisat2
+ cp -pr /builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/doc/ReleaseNotes-2.2.0.txt /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/doc/minisat2
+ cp -pr /builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/minisat-user-guide.html /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/doc/minisat2
+ cp -pr /builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/minisat2-test.in /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/doc/minisat2
+ cp -pr /builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/minisat2-test.out /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/doc/minisat2
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: minisat2 = 2.2.1-20.fc42 minisat2(x86-64) = 2.2.1-20.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(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-20.fc42.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.7AiRgM
+ umask 022
+ cd /builddir/build/BUILD/minisat2-2.2.1-build
+ cd minisat2-2.2.1
+ LICENSEDIR=/builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/licenses/minisat2-libs
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/licenses/minisat2-libs
+ cp -pr /builddir/build/BUILD/minisat2-2.2.1-build/minisat2-2.2.1/LICENSE /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT/usr/share/licenses/minisat2-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: libminisat.so.2()(64bit) minisat2-libs = 2.2.1-20.fc42 minisat2-libs(x86-64) = 2.2.1-20.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.29)(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-20.fc42.x86_64
Provides: minisat2-devel = 2.2.1-20.fc42 minisat2-devel(x86-64) = 2.2.1-20.fc42
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-20.fc42.x86_64
Provides: minisat2-debugsource = 2.2.1-20.fc42 minisat2-debugsource(x86-64) = 2.2.1-20.fc42
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-20.fc42.x86_64
Provides: debuginfo(build-id) = 2de20b79c934e3f0b609fa102f255148296f9fca minisat2-debuginfo = 2.2.1-20.fc42 minisat2-debuginfo(x86-64) = 2.2.1-20.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: minisat2-debugsource(x86-64) = 2.2.1-20.fc42
Processing files: minisat2-libs-debuginfo-2.2.1-20.fc42.x86_64
Provides: debuginfo(build-id) = ce6d0eeb57ac008bae15841b330449bd4e98a4b3 libminisat.so.2.1.0-2.2.1-20.fc42.x86_64.debug()(64bit) minisat2-libs-debuginfo = 2.2.1-20.fc42 minisat2-libs-debuginfo(x86-64) = 2.2.1-20.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: minisat2-debugsource(x86-64) = 2.2.1-20.fc42
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/minisat2-2.2.1-build/BUILDROOT
Wrote: /builddir/build/RPMS/minisat2-2.2.1-20.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/minisat2-libs-2.2.1-20.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/minisat2-debugsource-2.2.1-20.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/minisat2-debuginfo-2.2.1-20.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/minisat2-devel-2.2.1-20.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/minisat2-libs-debuginfo-2.2.1-20.fc42.x86_64.rpm
Child return code was: 0