Mock Version: 1.4.14
Mock Version: 1.4.14
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec'], chrootPath='/var/lib/mock/f31-build-101647-33409/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x15580c0a20>timeout=432000uid=986gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1563926400
Wrote: /builddir/build/SRPMS/drat2er-0-0.2.20190307.521caf1.fc31.src.rpm
Child return code was: 0
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/drat2er.spec'], chrootPath='/var/lib/mock/f31-build-101647-33409/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x15580c0a20>timeout=432000uid=986gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1563926400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.krhcUZ
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ /usr/bin/gzip -dc /builddir/build/SOURCES/drat2er-521caf1.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ /usr/bin/cat /builddir/build/SOURCES/drat2er-unbundle.patch
+ /usr/bin/cat /builddir/build/SOURCES/drat2er-shared.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ /usr/bin/cat /builddir/build/SOURCES/drat2er-string-front.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ /usr/bin/cat /builddir/build/SOURCES/drat2er-arg-order.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ '[' lib64 = lib64 ']'
+ sed -i 's,{CMAKE_BINARY_DIR}/lib,&64,g' CMakeLists.txt
+ rm -fr third-party
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.wMBtQZ
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ /usr/bin/cmake -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_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_SKIP_RPATH:BOOL=YES -DCMAKE_SKIP_INSTALL_RPATH:BOOL=YES .
BUILDSTDERR: CMake Warning:
BUILDSTDERR:   Manually-specified variables were not used by the project:
BUILDSTDERR:     CMAKE_C_FLAGS_RELEASE
BUILDSTDERR:     CMAKE_Fortran_FLAGS_RELEASE
BUILDSTDERR:     CMAKE_SKIP_INSTALL_RPATH
BUILDSTDERR:     INCLUDE_INSTALL_DIR
BUILDSTDERR:     LIB_INSTALL_DIR
BUILDSTDERR:     LIB_SUFFIX
BUILDSTDERR:     SHARE_INSTALL_PREFIX
BUILDSTDERR:     SYSCONF_INSTALL_DIR
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
BUILDSTDERR: In file included from /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:23:
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h: In constructor 'drat2er::Clause::Clause()':
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:70:7: warning: 'drat2er::Clause::index_' will be initialized after [-Wreorder]
BUILDSTDERR:    70 |   int index_;
BUILDSTDERR:       |       ^~~~~~
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:67:20: warning:   'std::vector<int> drat2er::Clause::literals_' [-Wreorder]
BUILDSTDERR:    67 |   std::vector<int> literals_;
BUILDSTDERR:       |                    ^~~~~~~~~
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:48:1: warning:   when initialized here [-Wreorder]
BUILDSTDERR:    48 | Clause::Clause() : index_ {-1},
BUILDSTDERR:       | ^~~~~~
BUILDSTDERR: In file included from /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:23:
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h: In copy constructor 'drat2er::Clause::Clause(const drat2er::Clause&)':
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:70:7: warning: 'drat2er::Clause::index_' will be initialized after [-Wreorder]
BUILDSTDERR:    70 |   int index_;
BUILDSTDERR:       |       ^~~~~~
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include/clause.h:67:20: warning:   'std::vector<int> drat2er::Clause::literals_' [-Wreorder]
BUILDSTDERR:    67 |   std::vector<int> literals_;
BUILDSTDERR:       |                    ^~~~~~~~~
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc:58:1: warning:   when initialized here [-Wreorder]
BUILDSTDERR:    58 | Clause::Clause(const Clause& other) : index_ {other.index_},
BUILDSTDERR:       | ^~~~~~
-- The C compiler identification is GNU 9.1.1
-- The CXX compiler identification is GNU 9.1.1
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Configuring done
-- Generating done
-- Build files have been written to: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
/usr/bin/cmake -S/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 -B/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/progress.marks
/usr/bin/make -f CMakeFiles/Makefile2 all
/usr/bin/make -f CMakeFiles/lib_drat2er.dir/build.make CMakeFiles/lib_drat2er.dir/depend
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
cd /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/lib_drat2er.dir/DependInfo.cmake --color=
Dependee "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/lib_drat2er.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/lib_drat2er.dir/depend.internal".
Dependee "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/lib_drat2er.dir/depend.internal".
Scanning dependencies of target lib_drat2er
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
/usr/bin/make -f CMakeFiles/lib_drat2er.dir/build.make CMakeFiles/lib_drat2er.dir/build
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[  8%] Building CXX object CMakeFiles/lib_drat2er.dir/src/watch.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/watch.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/watch.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 11%] Building CXX object CMakeFiles/lib_drat2er.dir/src/clause.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/clause.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 14%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/rat_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_clause.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[  2%] Building CXX object CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/formula_parser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/formula_parser.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 17%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/rup_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rup_clause.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 20%] Building CXX object CMakeFiles/lib_drat2er.dir/src/deletion.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/deletion.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/deletion.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 23%] Building CXX object CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o
BUILDSTDERR: /usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wal/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc: In static member function 'static bool drat2er::LratParser::ContainsNoLiterals(const string&)':
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc:112:27: warning: comparison of integer expressions of different signedness: 'int' and 'const size_type' {aka 'const long unsigned int'} [-Wsign-compare]
BUILDSTDERR:   112 |   if(index_of_first_space != string::npos) {
BUILDSTDERR:       |      ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc:115:38: warning: comparison of integer expressions of different signedness: 'int' and 'const size_type' {aka 'const long unsigned int'} [-Wsign-compare]
BUILDSTDERR:   115 |     if(index_of_first_number_after_0 != string::npos) {
BUILDSTDERR:       |        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
l -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/instruction_serialization.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/instruction_serialization.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 29%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/proof_transformer.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_transformer.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[  5%] Building CXX object CMakeFiles/lib_drat2er.dir/src/formula.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/formula.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/formula.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 26%] Building CXX object CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/lrat_parser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/lrat_parser.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 35%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/proof_reverser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_reverser.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
BUILDSTDERR: make[2]: Entering direct/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc: In member function 'void drat2er::RatEliminator::ReplaceNegativePivot(const drat2er::RatClause&, const std::vector<drat2er::Clause>&)':
BUILDSTDERR: /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]
BUILDSTDERR:   180 |     for(int i = 2; i < definition.size(); i++) {
BUILDSTDERR:       |                    ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc: In member function 'void drat2er::RatEliminator::DeleteClausesWithOldVariable(int, const std::vector<drat2er::Clause>&)':
BUILDSTDERR: /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]
BUILDSTDERR:   212 |   for(int i=1; i < definition.size(); i++) {
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~~~~
ory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 38%] Building CXX object CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/unused_clause_eliminator.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/unused_clause_eliminator.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 41%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/proof_stat_collector.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_stat_collector.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 32%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/rat_eliminator.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rat_eliminator.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 44%] Building CXX object CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/rup_to_resolution_transformer.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/rup_to_resolution_transformer.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 47%] Building CXX object CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/proof_step_renamer.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/proof_step_renamer.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 50%] Building CXX object CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/file_helper.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/file_helper.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 52%] Building CXX object CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/forward_file_reader.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/forward_file_reader.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 55%] Building CXX object CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/backward_file_reader.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/backward_file_reader.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 58%] Building CXX object CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/drat_trim_interface.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/drat_trim_interface.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 64%] Building CXX object CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/progress_bar.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/progress_bar.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 61%] Building CXX object CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o
/usr/bin/c++  -Dlib_drat2er_EXPORTS -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -fPIC   -std=gnu++14 -o CMakeFiles/lib_drat2er.dir/src/drat2er.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/drat2er.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 67%] Linking CXX shared library lib64/libdrat2er.so
/usr/bin/cmake -E cmake_link_script CMakeFiles/lib_drat2er.dir/link.txt --verbose=1
/usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-soname,libdrat2er.so.0 -o lib64/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 lib64/libdrat2er.so.0.0.0 lib64/libdrat2er.so.0 lib64/libdrat2er.so
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[1]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 67%] Built target lib_drat2er
make[1]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
/usr/bin/make -f CMakeFiles/drat2er.dir/build.make CMakeFiles/drat2er.dir/depend
/usr/bin/make -f CMakeFiles/unit_tests.dir/build.make CMakeFiles/unit_tests.dir/depend
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
cd /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/drat2er.dir/DependInfo.cmake --color=
Dependee "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/drat2er.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/drat2er.dir/depend.internal".
Dependee "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/drat2er.dir/depend.internal".
Scanning dependencies of target drat2er
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
/usr/bin/make -f CMakeFiles/drat2er.dir/build.make CMakeFiles/drat2er.dir/build
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
cd /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18 /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/unit_tests.dir/DependInfo.cmake --color=
Dependee "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/unit_tests.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/unit_tests.dir/depend.internal".
Dependee "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles/unit_tests.dir/depend.internal".
Scanning dependencies of target unit_tests
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
/usr/bin/make -f CMakeFiles/unit_tests.dir/build.make CMakeFiles/unit_tests.dir/build
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 79%] Building CXX object CMakeFiles/unit_tests.dir/test/test_clause.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_clause.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 76%] Building CXX object CMakeFiles/unit_tests.dir/test/test_formula.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_formula.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_formula.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 82%] Building CXX object CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_lrat_parser.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_lrat_parser.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 85%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_rup_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rup_clause.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 88%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_rat_clause.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rat_clause.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 91%] Building CXX object CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_rat_eliminator.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_rat_eliminator.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 94%] Building CXX object CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/test_instruction_serialization.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/test_instruction_serialization.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 70%] Building CXX object CMakeFiles/drat2er.dir/src/main.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/drat2er.dir/src/main.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/src/main.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 97%] Linking CXX executable bin/drat2er
/usr/bin/cmake -E cmake_link_script CMakeFiles/drat2er.dir/link.txt --verbose=1
/usr/bin/c++  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld CMakeFiles/drat2er.dir/src/main.cc.o  -o bin/drat2er lib64/libdrat2er.so.0.0.0 -ldrat-trim 
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[1]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 97%] Built target drat2er
make[1]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[ 73%] Building CXX object CMakeFiles/unit_tests.dir/test/tests_main.cc.o
/usr/bin/c++   -I/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/include  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG   -std=gnu++14 -o CMakeFiles/unit_tests.dir/test/tests_main.cc.o -c /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/test/tests_main.cc
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[2]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[100%] Linking CXX executable bin/unit_tests
/usr/bin/cmake -E cmake_link_script CMakeFiles/unit_tests.dir/link.txt --verbose=1
BUILDSTDERR: /usr/bin/c++  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -DNDEBUG  -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld 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_+ export LD_LIBRARY_PATH=/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/lib64
+ LD_LIBRARY_PATH=/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/lib64
+ help2man --version-string=20190307 -N -o drat2er.1 bin/drat2er
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
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 lib64/libdrat2er.so.0.0.0 -ldrat-trim 
make[2]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
make[1]: Entering directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
[100%] Built target unit_tests
make[1]: Leaving directory '/builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18'
/usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18/CMakeFiles 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.GXPpQ0
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/lib64
+ cp -a lib64/libdrat2er.so lib64/libdrat2er.so.0 lib64/libdrat2er.so.0.0.0 /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/lib64
+ mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/include/drat2er
+ cp -p include/drat2er.h include/drat2er_options.h include/drat_trim_interface.h /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/include/drat2er
+ mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/bin
+ cp -p bin/drat2er /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/man/man1
+ cp -p drat2er.1 /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/man/man1
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0-0.2.20190307.521caf1.fc31 --unique-debug-suffix -0-0.2.20190307.521caf1.fc31.riscv64 --unique-debug-src-base drat2er-0-0.2.20190307.521caf1.fc31.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
BUILDSTDERR: 293 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/bin/drat2er
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/lib64/libdrat2er.so.0.0.0
extracting debug info from /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/lib64/libdrat2er.so.0.0.0
extracting debug info from /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/bin/drat2er
original debug info size: 8548kB, size after compression: 7560kB
/usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.GDvHl1
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ LD_LIBRARY_PATH=/builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/lib64
+ make test
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Running tests...
/usr/bin/ctest --force-new-ctest-process 
Test project /builddir/build/BUILD/drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
    Start 1: UnitTests
1/1 Test #1: UnitTests ........................   Passed    0.84 sec
100% tests passed, 0 tests failed out of 1
Total Test time (real) =   1.06 sec
Processing files: drat2er-0-0.2.20190307.521caf1.fc31.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.GZRmD0
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ LICENSEDIR=/builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/licenses/drat2er
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/licenses/drat2er
+ cp -pr LICENSE /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/licenses/drat2er
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: drat2er = 0-0.2.20190307.521caf1.fc31 drat2er(riscv-64) = 0-0.2.20190307.521caf1.fc31 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) libdrat-trim.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_4.2.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.9)(64bit) rtld(GNU_HASH)
Processing files: drat2er-devel-0-0.2.20190307.521caf1.fc31.riscv64
Provides: drat2er-devel = 0-0.2.20190307.521caf1.fc31 drat2er-devel(riscv-64) = 0-0.2.20190307.521caf1.fc31
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.2.20190307.521caf1.fc31.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.SnSkKZ
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ DOCDIR=/builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/doc/drat2er-tools
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/doc/drat2er-tools
+ cp -pr README.md /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64/usr/share/doc/drat2er-tools
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: drat2er-tools = 0-0.2.20190307.521caf1.fc31 drat2er-tools(riscv-64) = 0-0.2.20190307.521caf1.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) 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.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.9)(64bit) rtld(GNU_HASH)
Processing files: drat2er-debugsource-0-0.2.20190307.521caf1.fc31.riscv64
Provides: drat2er-debugsource = 0-0.2.20190307.521caf1.fc31 drat2er-debugsource(riscv-64) = 0-0.2.20190307.521caf1.fc31
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.2.20190307.521caf1.fc31.riscv64
Provides: debuginfo(build-id) = 6bbd7bb10093f30eca27927a927950a8eead497f drat2er-debuginfo = 0-0.2.20190307.521caf1.fc31 drat2er-debuginfo(riscv-64) = 0-0.2.20190307.521caf1.fc31
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.2.20190307.521caf1.fc31
Processing files: drat2er-tools-debuginfo-0-0.2.20190307.521caf1.fc31.riscv64
Provides: debuginfo(build-id) = 1f374dc5817542b71393120dc0a79aade92adc3b drat2er-tools-debuginfo = 0-0.2.20190307.521caf1.fc31 drat2er-tools-debuginfo(riscv-64) = 0-0.2.20190307.521caf1.fc31
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.2.20190307.521caf1.fc31
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64
Wrote: /builddir/build/RPMS/drat2er-devel-0-0.2.20190307.521caf1.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/drat2er-debugsource-0-0.2.20190307.521caf1.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/drat2er-0-0.2.20190307.521caf1.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/drat2er-tools-0-0.2.20190307.521caf1.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/drat2er-debuginfo-0-0.2.20190307.521caf1.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/drat2er-tools-debuginfo-0-0.2.20190307.521caf1.fc31.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.KDWniZ
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat2er-521caf16149df3dfa46f700ec1fab56f8cc12a18
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/drat2er-0-0.2.20190307.521caf1.fc31.riscv64
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0