Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/drat-trim.spec'], chrootPath='/var/lib/mock/f41-build-828212-155547/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 0x3f8cf1fc10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/drat-trim.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'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1721174400
Wrote: /builddir/build/SRPMS/drat-trim-0-0.26.20240427giteffa1dc.fc41.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/drat-trim.spec'], chrootPath='/var/lib/mock/f41-build-828212-155547/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 0x3f8cf1fc10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/drat-trim.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'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1721174400
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.dzGhBA
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ test -d /builddir/build/BUILD/drat-trim-0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/drat-trim-0-build
+ /usr/bin/rm -rf /builddir/build/BUILD/drat-trim-0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/drat-trim-0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/drat-trim-0-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.dMBy54
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ cd /builddir/build/BUILD/drat-trim-0-build
+ rm -rf drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-library.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-silent.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-uninit.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-overflow.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.B4r6tA
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -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,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 drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -DLONGTYPE -Wl,-z,relro -Wl,--as-needed   -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 '
+ gcc -O2 -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -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 -fPIC -shared -Wl,-h,libdrat-trim.so.0 -o libdrat-trim.so.0.0.0 drat-trim.c
drat-trim.c: In function ‘printClause’:
drat-trim.c:93:3: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
   93 |   while (*clause) qprintf ("%i ", *clause++); qprintf ("0\n"); }
      |   ^~~~~
drat-trim.c:93:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
   93 |   while (*clause) qprintf ("%i ", *clause++); qprintf ("0\n"); }
      |                                               ^~~~~~~
drat-trim.c: In function ‘printCore’:
drat-trim.c:279:10: warning: unused variable ‘j’ [-Wunused-variable]
  279 |   int i, j;
      |          ^
drat-trim.c: In function ‘printProof’:
drat-trim.c:341:12: warning: unused variable ‘lemmas’ [-Wunused-variable]
  341 |       int *lemmas = S->DB + (ad >> INFOBITS);
      |            ^~~~~~
drat-trim.c:377:9: warning: unused variable ‘flag’ [-Wunused-variable]
  377 |     int flag = 0;
      |         ^~~~
drat-trim.c: In function ‘checkRAT’:
drat-trim.c:573:11: warning: unused variable ‘id’ [-Wunused-variable]
  573 |       int id = watched[ID] >> 1;
      |           ^~
drat-trim.c: In function ‘verify’:
drat-trim.c:783:7: warning: unused variable ‘top_flag’ [-Wunused-variable]
  783 |   int top_flag = 1;
      |       ^~~~~~~~
drat-trim.c: In function ‘getHash’:
drat-trim.c:994:22: warning: suggest parentheses around arithmetic in operand of ‘^’ [-Wparentheses]
  994 |   return (1023 * sum + prod ^ (31 * xor)) % BIGINIT; }
      |           ~~~~~~~~~~~^~~~~~
drat-trim.c: In function ‘parse’:
drat-trim.c:1073:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
 1073 |     if (tmp > 0 && tmp != EOF) break; tmp = fscanf (S->inputFile, "%*s\n"); }  // In case a commment line was found
      |     ^~
drat-trim.c:1073:39: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
 1073 |     if (tmp > 0 && tmp != EOF) break; tmp = fscanf (S->inputFile, "%*s\n"); }  // In case a commment line was found
      |                                       ^~~
+ ln -s libdrat-trim.so.0.0.0 libdrat-trim.so.0
+ ln -s libdrat-trim.so.0 libdrat-trim.so
+ gcc -O2 -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -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 drat-trim drat-trim-main.c -L. -ldrat-trim
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ gcc -O2 -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -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 lrat-check lrat-check.c
lrat-check.c: In function ‘printClause’:
lrat-check.c:86:3: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
   86 |   while (*clause) printf ("%i ", *clause++); printf ("0\n"); }
      |   ^~~~~
lrat-check.c:86:46: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
   86 |   while (*clause) printf ("%i ", *clause++); printf ("0\n"); }
      |                                              ^~~~~~
lrat-check.c: In function ‘addClause’:
lrat-check.c:204:7: warning: variable ‘count’ set but not used [-Wunused-but-set-variable]
  204 |   int count = 0, bucket = topTable[index/BUCKET];
      |       ^~~~~
lrat-check.c: In function ‘main’:
lrat-check.c:451:7: warning: unused variable ‘mode’ [-Wunused-variable]
  451 |   int mode = LRAT;
      |       ^~~~
lrat-check.c:398:5: warning: ignoring return value of ‘fgets’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
  398 |     fgets (ignore, sizeof (ignore), cnf);
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+ gcc -O2 -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -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 drat-compress compress.c
+ gcc -O2 -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -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 drat-decompress decompress.c
+ gcc -O2 -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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -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 drat-gapless gapless.c
gapless.c: In function ‘main’:
gapless.c:80:13: warning: unused variable ‘max’ [-Wunused-variable]
   80 |   long long max = offset;
      |             ^~~
+ help2man --version-string=20240427 -N -o drat-trim.1 -n 'Proof checker for DIMACS proofs' ./drat-trim
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.V2TM2r
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ '[' /builddir/build/BUILD/drat-trim-0-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/drat-trim-0-build/BUILDROOT
++ dirname /builddir/build/BUILD/drat-trim-0-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/drat-trim-0-build
+ mkdir /builddir/build/BUILD/drat-trim-0-build/BUILDROOT
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -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,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 drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ mkdir -p /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/lib64
+ cp -a libdrat-trim.so libdrat-trim.so.0 libdrat-trim.so.0.0.0 /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/lib64
+ mkdir -p /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/include
+ cp -p drat-trim.h /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/include
+ mkdir -p /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/bin
+ cp -p drat-compress drat-decompress drat-gapless drat-trim lrat-check /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/bin
+ mkdir -p /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/man/man1
+ cp -p drat-trim.1 /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/man/man1
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0-0.26.20240427giteffa1dc.fc41 --unique-debug-suffix -0-0.26.20240427giteffa1dc.fc41.riscv64 --unique-debug-src-base drat-trim-0-0.26.20240427giteffa1dc.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
find-debuginfo: starting
Extracting debug info from 6 files
DWARF-compressing 6 files
sepdebugcrcfix: Updated 6 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/drat-trim-0-0.26.20240427giteffa1dc.fc41.riscv64
177 blocks
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 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/drat-trim-0-build/BUILDROOT
Scanned 17 directories and 24 files,
               processed 0 inodes,
               0 modified (0 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/drat-trim-0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.bMQtvp
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -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,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 drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ sed -i /make/d run-examples
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ sh ./run-examples

c parsing input formula with 4 variables and 8 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 8 of 8 clauses in core                            

c 3 of 4 lemmas in core using 15 resolution steps

c 1 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 0.834 seconds

c parsing input formula with 5 variables and 8 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 8 of 8 clauses in core                            

c 7 of 8 lemmas in core using 25 resolution steps

c 0 RAT lemmas in core; 5 redundant literals in core lemmas

s VERIFIED

c verification time: 0.860 seconds

c parsing input formula with 100 variables and 429 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 383 of 429 clauses in core                            

c 319 of 321 lemmas in core using 9349 resolution steps

c 16 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.074 seconds

c parsing input formula with 100 variables and 383 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 383 of 383 clauses in core                            

c 319 of 320 lemmas in core using 9354 resolution steps

c 16 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.085 seconds

c parsing input formula with 100 variables and 429 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 351 of 429 clauses in core                            

c 201 of 202 lemmas in core using 5728 resolution steps

c 13 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.033 seconds

c parsing input formula with 100 variables and 351 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 351 of 351 clauses in core                            

c 201 of 202 lemmas in core using 5730 resolution steps

c 13 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.062 seconds

c parsing input formula with 100 variables and 429 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 408 of 429 clauses in core                            

c 414 of 415 lemmas in core using 11405 resolution steps

c 21 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.099 seconds

c parsing input formula with 100 variables and 408 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 408 of 408 clauses in core                            

c 414 of 415 lemmas in core using 11409 resolution steps

c 21 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.081 seconds

c parsing input formula with 100 variables and 429 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 393 of 429 clauses in core                            

c 328 of 329 lemmas in core using 8644 resolution steps

c 17 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.057 seconds

c parsing input formula with 100 variables and 393 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 393 of 393 clauses in core                            

c 328 of 329 lemmas in core using 8653 resolution steps

c 17 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.085 seconds

c parsing input formula with 100 variables and 429 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 392 of 429 clauses in core                            

c 354 of 355 lemmas in core using 9648 resolution steps

c 20 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.075 seconds

c parsing input formula with 100 variables and 392 clauses

c finished parsing

c detected empty clause; start verification via backward checking

c 391 of 392 clauses in core                            

c 354 of 355 lemmas in core using 9647 resolution steps

c 20 RAT lemmas in core; 0 redundant literals in core lemmas

s VERIFIED

c verification time: 1.079 seconds
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: drat-trim-0-0.26.20240427giteffa1dc.fc41.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.lmT5kn
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ cd drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ LICENSEDIR=/builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/licenses/drat-trim
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/licenses/drat-trim
+ cp -pr /builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c/LICENSE /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/licenses/drat-trim
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: drat-trim = 0-0.26.20240427giteffa1dc.fc41 drat-trim(riscv-64) = 0-0.26.20240427giteffa1dc.fc41 libdrat-trim.so.0()(64bit)
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) rtld(GNU_HASH)
Processing files: drat-trim-devel-0-0.26.20240427giteffa1dc.fc41.riscv64
Provides: drat-trim-devel = 0-0.26.20240427giteffa1dc.fc41 drat-trim-devel(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libdrat-trim.so.0()(64bit)
Processing files: drat-trim-tools-0-0.26.20240427giteffa1dc.fc41.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.9DCLgq
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ cd drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c
+ DOCDIR=/builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/doc/drat-trim-tools
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/doc/drat-trim-tools
+ cp -pr /builddir/build/BUILD/drat-trim-0-build/drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c/README.md /builddir/build/BUILD/drat-trim-0-build/BUILDROOT/usr/share/doc/drat-trim-tools
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: drat-trim-tools = 0-0.26.20240427giteffa1dc.fc41 drat-trim-tools(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
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) libc.so.6(GLIBC_2.34)(64bit) libdrat-trim.so.0()(64bit) rtld(GNU_HASH)
Processing files: drat-trim-debugsource-0-0.26.20240427giteffa1dc.fc41.riscv64
Provides: drat-trim-debugsource = 0-0.26.20240427giteffa1dc.fc41 drat-trim-debugsource(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: drat-trim-debuginfo-0-0.26.20240427giteffa1dc.fc41.riscv64
Provides: debuginfo(build-id) = b38100e14d0389811ea38616336124b7fe1083eb drat-trim-debuginfo = 0-0.26.20240427giteffa1dc.fc41 drat-trim-debuginfo(riscv-64) = 0-0.26.20240427giteffa1dc.fc41 libdrat-trim.so.0.0.0-0-0.26.20240427giteffa1dc.fc41.riscv64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: drat-trim-debugsource(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
Processing files: drat-trim-tools-debuginfo-0-0.26.20240427giteffa1dc.fc41.riscv64
Provides: debuginfo(build-id) = 8ba67b3ab0338057fb0097d3dd8b9cc843cf56c6 debuginfo(build-id) = a3c2a0437f8a6371cbb8d05c4e330a59756056d0 debuginfo(build-id) = c486c7338ef5d56ebd121de31e7bfba3c69325e9 debuginfo(build-id) = c4eca64f3cce09fd6fc41529b34cc24bee52124d debuginfo(build-id) = d4e56843bc0ba12a351f3cadfc5ce5b8391815d3 drat-trim-tools-debuginfo = 0-0.26.20240427giteffa1dc.fc41 drat-trim-tools-debuginfo(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: drat-trim-debugsource(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/drat-trim-0-build/BUILDROOT
Wrote: /builddir/build/RPMS/drat-trim-tools-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/drat-trim-debugsource-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/drat-trim-debuginfo-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/drat-trim-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/drat-trim-devel-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/drat-trim-tools-debuginfo-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.SJjYoC
+ umask 022
+ cd /builddir/build/BUILD/drat-trim-0-build
+ test -d /builddir/build/BUILD/drat-trim-0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/drat-trim-0-build
+ rm -rf /builddir/build/BUILD/drat-trim-0-build
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0