Mock Version: 3.5
Mock Version: 3.5
Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec'], chrootPath='/var/lib/mock/f38-build-side-42-init-devel-865863-28439/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 0xffffff9badc690>timeout=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['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;<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=1674086400
Wrote: /builddir/build/SRPMS/drat2er-0-0.11.20190307.521caf1.fc38.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/f38-build-side-42-init-devel-865863-28439/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 0xffffff9badc690>timeout=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['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;<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=1674086400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.7bStJr
+ 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
+ /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/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat2er-string-front.patch
+ /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.K51N0A
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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 drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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
+ /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 13.1.1
-- The CXX compiler identification is GNU 13.1.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 (34.1s)
-- Generating done (0.4s)
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 -j8 --verbose
/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'
[  2%] Building CXX object CMakeFiles/lib_drat2er.dir/src/formula.cc.o
[  5%] Building CXX object CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[  8%] Building CXX object CMakeFiles/lib_drat2er.dir/src/clause.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 11%] Building CXX object CMakeFiles/lib_drat2er.dir/src/watch.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 14%] 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 20%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o
[ 20%] 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 23%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 26%] 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
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<int> drat2er::Clause::literals_' [-Wreorder]
   67 |   std::vector<int> 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<int> drat2er::Clause::literals_' [-Wreorder]
   67 |   std::vector<int> 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_},
      | ^~~~~~
[ 29%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 35%] 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 38%] Building CXX object CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 41%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
/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<char>::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<char>::size_type' {aka 'const long unsigned int'} [-Wsign-compare]
  115 |     if(index_of_first_number_after_0 != string::npos) {
      |        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
[ 44%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc: In member function 'void drat2er::RatEliminator::ReplaceNegativePivot(const drat2er::RatClause&, const std::vector<drat2er::Clause>&)':
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc:180:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<drat2er::Clause>::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<drat2er::Clause>&)':
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc:212:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<drat2er::Clause>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  212 |   for(int i=1; i < definition.size(); i++) {
      |                ~~^~~~~~~~~~~~~~~~~~~
[ 47%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 50%] Building CXX object CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 52%] Building CXX object CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 55%] 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 58%] Building CXX object CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 61%] 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 64%] Building CXX object CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o
/usr/bin/g++ -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -DNDEBUG -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 -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'
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
/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'
[ 70%] Building CXX object CMakeFiles/unit_tests.dir/test/tests_main.cc.o
/usr/bin/g++  -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 73%] Building CXX object CMakeFiles/unit_tests.dir/test/test_formula.cc.o
[ 76%] Building CXX object CMakeFiles/drat2er.dir/src/main.cc.o
[ 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 82%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o
/usr/bin/g++  -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 85%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o
/usr/bin/g++  -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 88%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o
/usr/bin/g++  -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
[ 91%] Building CXX object CMakeFiles/unit_tests.dir/test/test_clause.cc.o
/usr/bin/g++  -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -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
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_lrat_parser.cc:1:10: fatal error: catch2/catch.hpp: No such file or directory
    1 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rup_clause.cc:1:10: fatal error: catch2/catch.hpp: No such file or directory
    1 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rat_clause.cc:1:10: fatal error: catch2/catch.hpp: No such file or directory
    1 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_formula.cc:1:10: fatal error: catch2/catch.hpp: No such file or directory
    1 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
compilation terminated.
compilation terminated.
compilation terminated.
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/tests_main.cc:2:10: fatal error: catch2/catch.hpp: No such file or directory
    2 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
compilation terminated.
compilation terminated.
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:121: CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:135: CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o] Error 1
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:107: CMakeFiles/unit_tests.dir/test/test_formula.cc.o] Error 1
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:149: CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o] Error 1
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:79: CMakeFiles/unit_tests.dir/test/tests_main.cc.o] Error 1
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rat_eliminator.cc:1:10: fatal error: catch2/catch.hpp: No such file or directory
    1 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
compilation terminated.
/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_clause.cc:1:10: fatal error: catch2/catch.hpp: No such file or directory
    1 | #include <catch2/catch.hpp>
      |          ^~~~~~~~~~~~~~~~~~
compilation terminated.
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:163: CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o] Error 1
gmake[2]: *** [CMakeFiles/unit_tests.dir/build.make:93: CMakeFiles/unit_tests.dir/test/test_clause.cc.o] Error 1
gmake[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build'
gmake[1]: *** [CMakeFiles/Makefile2:142: CMakeFiles/unit_tests.dir/all] Error 2
gmake[1]: *** Waiting for unfinished jobs....
[ 94%] Linking CXX executable bin/drat2er
/usr/bin/cmake -E cmake_link_script CMakeFiles/drat2er.dir/link.txt --verbose=1
/usr/bin/g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -DNDEBUG -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 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'
[ 94%] Built target drat2er
gmake[1]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/redhat-linux-build'
gmake: *** [Makefile:149: all] Error 2
error: Bad exit status from /var/tmp/rpm-tmp.K51N0A (%build)
    Bad exit status from /var/tmp/rpm-tmp.K51N0A (%build)
RPM build errors:
Child return code was: 1
EXCEPTION: [Error('Command failed: \n # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec\n', 1)]
Traceback (most recent call last):
  File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
             ^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 598, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec