Mock Version: 5.0 Mock Version: 5.0 Mock Version: 5.0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec'], chrootPath='/var/lib/mock/f40-build-796606-140694/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': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dnu1ad5u:/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.dnu1ad5u:/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', '3f3026e9c86f498b9502306d736f8eb4', '-D', '/var/lib/mock/f40-build-796606-140694/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dnu1ad5u:/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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1706054400 Wrote: /builddir/build/SRPMS/drat2er-0-0.14.20190307.521caf1.fc40.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec'], chrootPath='/var/lib/mock/f40-build-796606-140694/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': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dnu1ad5u:/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.dnu1ad5u:/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', '1d84fe4a4e1443dead1fee669e742844', '-D', '/var/lib/mock/f40-build-796606-140694/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dnu1ad5u:/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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1706054400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.HeSRPG + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/drat2er-521caf1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + rm -rf /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat2er-unbundle.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat2er-shared.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat2er-string-front.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat2er-arg-order.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat2er-cli11-2-compat.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + rm -fr third-party + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ucGw7O + umask 022 + cd /builddir/build/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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 + /usr/bin/cmake -S . -B redhat-linux-build -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_SUFFIX=64 -DBUILD_SHARED_LIBS:BOOL=ON -DCMAKE_INSTALL_LIBDIR=lib64 -- The C compiler identification is GNU 14.0.1 -- The CXX compiler identification is GNU 14.0.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Configuring done (2.8s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_C_FLAGS_RELEASE CMAKE_Fortran_FLAGS_RELEASE CMAKE_INSTALL_DO_STRIP INCLUDE_INSTALL_DIR LIB_INSTALL_DIR LIB_SUFFIX SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build + /usr/bin/cmake --build redhat-linux-build -j64 --verbose Change Dir: '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' Run Build Command(s): /usr/bin/cmake -E env VERBOSE=1 /usr/bin/gmake -f Makefile -j64 /usr/bin/cmake -S/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 -B/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/CMakeFiles /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build//CMakeFiles/progress.marks /usr/bin/gmake -f CMakeFiles/Makefile2 all gmake[1]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' /usr/bin/gmake -f CMakeFiles/lib_drat2er.dir/build.make CMakeFiles/lib_drat2er.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' cd /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/CMakeFiles/lib_drat2er.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' /usr/bin/gmake -f CMakeFiles/lib_drat2er.dir/build.make CMakeFiles/lib_drat2er.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' [ 5%] Building CXX object CMakeFiles/lib_drat2er.dir/src/clause.cc.o [ 11%] Building CXX object CMakeFiles/lib_drat2er.dir/src/watch.cc.o [ 11%] Building CXX object CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o [ 14%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o [ 11%] Building CXX object CMakeFiles/lib_drat2er.dir/src/formula.cc.o [ 17%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o [ 20%] Building CXX object CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o -MF CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/formula_parser.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/formula.cc.o -MF CMakeFiles/lib_drat2er.dir/src/formula.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/formula.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/formula.cc [ 23%] Building CXX object CMakeFiles/lib_drat2er.dir/src/deletion.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/clause.cc.o -MF CMakeFiles/lib_drat2er.dir/src/clause.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/watch.cc.o -MF CMakeFiles/lib_drat2er.dir/src/watch.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/watch.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/watch.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o -MF CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_clause.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o -MF CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rup_clause.cc [ 29%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o [ 29%] Building CXX object CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/deletion.cc.o -MF CMakeFiles/lib_drat2er.dir/src/deletion.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/deletion.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/deletion.cc [ 32%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o -MF CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/instruction_serialization.cc [ 41%] Building CXX object CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o [ 41%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o [ 41%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o -MF CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_stat_collector.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o -MF CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o -MF CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o -MF CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_transformer.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o -MF CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_reverser.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o -MF CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/unused_clause_eliminator.cc [ 44%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o [ 47%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o [ 50%] Building CXX object CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o -MF CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rup_to_resolution_transformer.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o -MF CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_step_renamer.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o -MF CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/backward_file_reader.cc [ 55%] Building CXX object CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o [ 55%] Building CXX object CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o [ 58%] Building CXX object CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o [ 64%] Building CXX object CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o [ 64%] Building CXX object CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o -MF CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/forward_file_reader.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o -MF CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/file_helper.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o -MF CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/progress_bar.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o -MF CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/drat2er.cc /usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -fPIC -MD -MT CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o -MF CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o.d -o CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/drat_trim_interface.cc In file included from /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:23: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h: In constructor ‘drat2er::Clause::Clause()’: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:70:7: warning: ‘drat2er::Clause::index_’ will be initialized after [-Wreorder] 70 | int index_; | ^~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:67:20: warning: ‘std::vector drat2er::Clause::literals_’ [-Wreorder] 67 | std::vector literals_; | ^~~~~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:48:1: warning: when initialized here [-Wreorder] 48 | Clause::Clause() : index_ {-1}, | ^~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h: In copy constructor ‘drat2er::Clause::Clause(const drat2er::Clause&)’: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:70:7: warning: ‘drat2er::Clause::index_’ will be initialized after [-Wreorder] 70 | int index_; | ^~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:67:20: warning: ‘std::vector drat2er::Clause::literals_’ [-Wreorder] 67 | std::vector literals_; | ^~~~~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:58:1: warning: when initialized here [-Wreorder] 58 | Clause::Clause(const Clause& other) : index_ {other.index_}, | ^~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc: In static member function ‘static bool drat2er::LratParser::ContainsNoLiterals(const std::string&)’: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc:112:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const std::__cxx11::basic_string::size_type’ {aka ‘const long unsigned int’} [-Wsign-compare] 112 | if(index_of_first_space != string::npos) { | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc:115:38: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const std::__cxx11::basic_string::size_type’ {aka ‘const long unsigned int’} [-Wsign-compare] 115 | if(index_of_first_number_after_0 != string::npos) { | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc: In member function ‘void drat2er::RatEliminator::ReplaceNegativePivot(const drat2er::RatClause&, const std::vector&)’: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc:180:22: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] 180 | for(int i = 2; i < definition.size(); i++) { | ~~^~~~~~~~~~~~~~~~~~~ /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc: In member function ‘void drat2er::RatEliminator::DeleteClausesWithOldVariable(int, const std::vector&)’: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc:212:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] 212 | for(int i=1; i < definition.size(); i++) { | ~~^~~~~~~~~~~~~~~~~~~ [ 67%] Linking CXX shared library lib/libdrat2er.so /usr/bin/cmake -E cmake_link_script CMakeFiles/lib_drat2er.dir/link.txt --verbose=1 /usr/bin/g++ -fPIC -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 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -shared -Wl,-soname,libdrat2er.so.0 -o lib/libdrat2er.so.0.0.0 CMakeFiles/lib_drat2er.dir/src/formula.cc.o CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o CMakeFiles/lib_drat2er.dir/src/clause.cc.o CMakeFiles/lib_drat2er.dir/src/watch.cc.o CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o CMakeFiles/lib_drat2er.dir/src/deletion.cc.o CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o -ldrat-trim /usr/bin/cmake -E cmake_symlink_library lib/libdrat2er.so.0.0.0 lib/libdrat2er.so.0 lib/libdrat2er.so gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' [ 67%] Built target lib_drat2er /usr/bin/gmake -f CMakeFiles/drat2er.dir/build.make CMakeFiles/drat2er.dir/depend /usr/bin/gmake -f CMakeFiles/unit_tests.dir/build.make CMakeFiles/unit_tests.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' cd /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/CMakeFiles/drat2er.dir/DependInfo.cmake "--color=" gmake[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' cd /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/CMakeFiles/unit_tests.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' /usr/bin/gmake -f CMakeFiles/unit_tests.dir/build.make CMakeFiles/unit_tests.dir/build gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' /usr/bin/gmake -f CMakeFiles/drat2er.dir/build.make CMakeFiles/drat2er.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' gmake[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' [ 73%] Building CXX object CMakeFiles/unit_tests.dir/test/test_clause.cc.o [ 73%] Building CXX object CMakeFiles/unit_tests.dir/test/tests_main.cc.o [ 76%] Building CXX object CMakeFiles/unit_tests.dir/test/test_formula.cc.o /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_clause.cc.o -MF CMakeFiles/unit_tests.dir/test/test_clause.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_clause.cc [ 79%] Building CXX object CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/tests_main.cc.o -MF CMakeFiles/unit_tests.dir/test/tests_main.cc.o.d -o CMakeFiles/unit_tests.dir/test/tests_main.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/tests_main.cc [ 85%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o [ 85%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_formula.cc.o -MF CMakeFiles/unit_tests.dir/test/test_formula.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_formula.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_formula.cc [ 88%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o [ 91%] Building CXX object CMakeFiles/drat2er.dir/src/main.cc.o /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o -MF CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_lrat_parser.cc [ 94%] Building CXX object CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o -MF CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rat_eliminator.cc /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o -MF CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rup_clause.cc /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/drat2er.dir/src/main.cc.o -MF CMakeFiles/drat2er.dir/src/main.cc.o.d -o CMakeFiles/drat2er.dir/src/main.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/main.cc /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o -MF CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rat_clause.cc /usr/bin/g++ -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -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 -DNDEBUG -std=gnu++14 -MD -MT CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o -MF CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o.d -o CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_instruction_serialization.cc [ 97%] Linking CXX executable bin/drat2er /usr/bin/cmake -E cmake_link_script CMakeFiles/drat2er.dir/link.txt --verbose=1 /usr/bin/g++ -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 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 CMakeFiles/drat2er.dir/src/main.cc.o -o bin/drat2er -Wl,-rpath,/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/lib: lib/libdrat2er.so.0.0.0 -ldrat-trim gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' [ 97%] Built target drat2er [100%] Linking CXX executable bin/unit_tests /usr/bin/cmake -E cmake_link_script CMakeFiles/unit_tests.dir/link.txt --verbose=1 /usr/bin/g++ -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 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 CMakeFiles/unit_tests.dir/test/tests_main.cc.o CMakeFiles/unit_tests.dir/test/test_clause.cc.o CMakeFiles/unit_tests.dir/test/test_formula.cc.o CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o -o bin/unit_tests -Wl,-rpath,/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/lib lib/libdrat2er.so.0.0.0 -ldrat-trim gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' [100%] Built target unit_tests gmake[1]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/CMakeFiles 0 + export LD_LIBRARY_PATH=/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/lib64 + LD_LIBRARY_PATH=/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build/lib64 + help2man --version-string=20190307 -N -o drat2er.1 redhat-linux-build/bin/drat2er + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.rBP8iR + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 ++ dirname /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 + 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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + DESTDIR=/builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 + /usr/bin/cmake --install redhat-linux-build -- Install configuration: "RELEASE" -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/bin/drat2er -- Set runtime path of "/builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/bin/drat2er" to "" -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/lib64/libdrat2er.so.0.0.0 -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/lib64/libdrat2er.so.0 -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/lib64/libdrat2er.so -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/include/drat2er.h -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/include/drat_trim_interface.h -- Installing: /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/include/drat2er_options.h + mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/man/man1 + cp -p drat2er.1 /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/man/man1 + /usr/bin/find-debuginfo -j64 --strict-build-id -m -i --build-id-seed 0-0.14.20190307.521caf1.fc40 --unique-debug-suffix -0-0.14.20190307.521caf1.fc40.riscv64 --unique-debug-src-base drat2er-0-0.14.20190307.521caf1.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 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/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 293 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 -j64 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.tSUGf3 + umask 022 + cd /builddir/build/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 ' + 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 ' + 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 -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 -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' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + export LD_LIBRARY_PATH=/builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/lib64 + LD_LIBRARY_PATH=/builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/lib64 + /usr/bin/ctest --test-dir redhat-linux-build --output-on-failure --force-new-ctest-process -j64 Internal ctest changing into directory: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build Test project /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build Start 1: UnitTests 1/1 Test #1: UnitTests ........................ Passed 0.05 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.07 sec + RPM_EC=0 ++ jobs -p + exit 0 Processing files: drat2er-0-0.14.20190307.521caf1.fc40.riscv64 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.dApnk0 + umask 022 + cd /builddir/build/BUILD + cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + LICENSEDIR=/builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/licenses/drat2er + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/licenses/drat2er + cp -pr /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/LICENSE /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/licenses/drat2er + RPM_EC=0 ++ jobs -p + exit 0 Provides: drat2er = 0-0.14.20190307.521caf1.fc40 drat2er(riscv-64) = 0-0.14.20190307.521caf1.fc40 libdrat2er.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) libc.so.6(GLIBC_2.32)(64bit) libdrat-trim.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: drat2er-devel-0-0.14.20190307.521caf1.fc40.riscv64 Provides: drat2er-devel = 0-0.14.20190307.521caf1.fc40 drat2er-devel(riscv-64) = 0-0.14.20190307.521caf1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libdrat2er.so.0()(64bit) Processing files: drat2er-tools-0-0.14.20190307.521caf1.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.pZLDCR + umask 022 + cd /builddir/build/BUILD + cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 + DOCDIR=/builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/doc/drat2er-tools + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/doc/drat2er-tools + cp -pr /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/README.md /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64/usr/share/doc/drat2er-tools + RPM_EC=0 ++ jobs -p + exit 0 Provides: drat2er-tools = 0-0.14.20190307.521caf1.fc40 drat2er-tools(riscv-64) = 0-0.14.20190307.521caf1.fc40 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.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libdrat2er.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.15)(64bit) libstdc++.so.6(CXXABI_1.3.9)(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.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: drat2er-debugsource-0-0.14.20190307.521caf1.fc40.riscv64 Provides: drat2er-debugsource = 0-0.14.20190307.521caf1.fc40 drat2er-debugsource(riscv-64) = 0-0.14.20190307.521caf1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: drat2er-debuginfo-0-0.14.20190307.521caf1.fc40.riscv64 Provides: debuginfo(build-id) = aadca49e67d786074fc26bdefd8727c520c31fed drat2er-debuginfo = 0-0.14.20190307.521caf1.fc40 drat2er-debuginfo(riscv-64) = 0-0.14.20190307.521caf1.fc40 libdrat2er.so.0.0.0-0-0.14.20190307.521caf1.fc40.riscv64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: drat2er-debugsource(riscv-64) = 0-0.14.20190307.521caf1.fc40 Processing files: drat2er-tools-debuginfo-0-0.14.20190307.521caf1.fc40.riscv64 Provides: debuginfo(build-id) = ea995b8b288c0889da31284a608669191abea2ae drat2er-tools-debuginfo = 0-0.14.20190307.521caf1.fc40 drat2er-tools-debuginfo(riscv-64) = 0-0.14.20190307.521caf1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: drat2er-debugsource(riscv-64) = 0-0.14.20190307.521caf1.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/drat2er-0-0.14.20190307.521caf1.fc40.riscv64 Wrote: /builddir/build/RPMS/drat2er-devel-0-0.14.20190307.521caf1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/drat2er-debugsource-0-0.14.20190307.521caf1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/drat2er-0-0.14.20190307.521caf1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/drat2er-tools-0-0.14.20190307.521caf1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/drat2er-tools-debuginfo-0-0.14.20190307.521caf1.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/drat2er-debuginfo-0-0.14.20190307.521caf1.fc40.riscv64.rpm Child return code was: 0