Mock Version: 1.4.21 Mock Version: 1.4.21 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f33-build-138716-42231/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1583366400 Wrote: /builddir/build/SRPMS/lfsc-0.20200115-1.fc33.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f33-build-138716-42231/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1583366400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.4yk4HE + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + /usr/bin/gzip -dc /builddir/build/SOURCES/lfsc-7f2dc52.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/lfsc-map.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + sed -i s/Wno-deprecated/fsigned-char/ CMakeLists.txt + sed -e s/STATIC/SHARED/ -e '/^[[:blank:]]*OUTPUT_NAME lfscc/i\ VERSION 0.0.0\n SOVERSION 0' -e 's/ARCHIVE DESTINATION/LIBRARY DESTINATION/' -e '/^set_target_properties/iTARGET_LINK_LIBRARIES(liblfscc gmp)' -i src/CMakeLists.txt + '[' lib64 = lib64 ']' + sed -i s,/lib,/lib64, src/CMakeLists.txt + sed -i 's,/usr/bin/env python,/usr/bin/python3,' tests/run_test.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.J1R3ZC + umask 022 + cd /builddir/build/BUILD + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + 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 + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + /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 . -- The C compiler identification is GNU 10.0.1 -- The CXX compiler identification is GNU 10.0.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 -- Found GMP: /usr/include -- Defaulting to release build. -- Configure with flag '-Wall' -- Configure with flag '-fsigned-char' -- Configure with flag '-std=gnu++11' -- Configured release build. -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_C_FLAGS_RELEASE CMAKE_Fortran_FLAGS_RELEASE INCLUDE_INSTALL_DIR LIB_INSTALL_DIR LIB_SUFFIX SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + /usr/bin/make -O -j4 V=1 VERBOSE=1 /usr/bin/cmake -S/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 -B/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/CMakeFiles /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/depend make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/objlib.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/objlib.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/objlib.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/objlib.dir/depend.internal". Scanning dependencies of target objlib make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/build make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 33%] Building CXX object src/CMakeFiles/objlib.dir/lfscc.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/lfscc.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/lfscc.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 8%] Building CXX object src/CMakeFiles/objlib.dir/expr.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/expr.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/expr.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 50%] Building CXX object src/CMakeFiles/objlib.dir/print_smt2.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/print_smt2.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/print_smt2.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 41%] Building CXX object src/CMakeFiles/objlib.dir/libwriter.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/libwriter.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/libwriter.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 58%] Building CXX object src/CMakeFiles/objlib.dir/scccode.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/scccode.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/scccode.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 75%] Building CXX object src/CMakeFiles/objlib.dir/trie.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/trie.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' In file included from /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.cpp:1: /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h: In function 'void unit_test_trie()': /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h:63:13: warning: array subscript 2 is outside array bounds of 'const char [2]' [-Warray-bounds] 63 | if (!s[0] && (!str || !str[0])) return d; | ~~~^ /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h:44:18: warning: array subscript 3 is outside array bounds of 'const char [2]' [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h:63:13: warning: array subscript 2 is outside array bounds of 'const char [2]' [-Warray-bounds] 63 | if (!s[0] && (!str || !str[0])) return d; | ~~~^ /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h:44:18: warning: array subscript 3 is outside array bounds of 'const char [2]' [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h:44:18: warning: offset '2' outside bounds of constant string [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/trie.h:44:18: warning: offset '2' outside bounds of constant string [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 25%] Building CXX object src/CMakeFiles/objlib.dir/code.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/code.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/code.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 16%] Building CXX object src/CMakeFiles/objlib.dir/check.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/check.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/check.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 66%] Building CXX object src/CMakeFiles/objlib.dir/sccwriter.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/sccwriter.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/sccwriter.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[1]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 75%] Built target objlib make[1]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/depend /usr/bin/make -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/depend make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/liblfscc.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/liblfscc.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/liblfscc.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/liblfscc.dir/depend.internal". Scanning dependencies of target liblfscc make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/build make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/lfscc.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/lfscc.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/lfscc.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/lfscc.dir/depend.internal". Scanning dependencies of target lfscc make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/build make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 83%] Linking CXX shared library liblfscc.so cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/liblfscc.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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-soname,liblfscc.so.0 -o liblfscc.so.0.0.0 CMakeFiles/objlib.dir/check.cpp.o CMakeFiles/objlib.dir/code.cpp.o CMakeFiles/objlib.dir/expr.cpp.o CMakeFiles/objlib.dir/lfscc.cpp.o CMakeFiles/objlib.dir/libwriter.cpp.o CMakeFiles/objlib.dir/print_smt2.cpp.o CMakeFiles/objlib.dir/scccode.cpp.o CMakeFiles/objlib.dir/sccwriter.cpp.o CMakeFiles/objlib.dir/trie.cpp.o -lgmp cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/cmake -E cmake_symlink_library liblfscc.so.0.0.0 liblfscc.so.0 liblfscc.so make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[1]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 91%] Built target liblfscc make[1]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 91%] Building CXX object src/CMakeFiles/lfscc.dir/main.cpp.o cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/c++ -I/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src -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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -o CMakeFiles/lfscc.dir/main.cpp.o -c /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/main.cpp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [100%] Linking CXX executable lfscc cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/lfscc.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 -Wall -fsigned-char -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/lfscc.dir/main.cpp.o CMakeFiles/objlib.dir/check.cpp.o CMakeFiles/objlib.dir/code.cpp.o CMakeFiles/objlib.dir/expr.cpp.o CMakeFiles/objlib.dir/lfscc.cpp.o CMakeFiles/objlib.dir/libwriter.cpp.o CMakeFiles/objlib.dir/print_smt2.cpp.o CMakeFiles/objlib.dir/scccode.cpp.o CMakeFiles/objlib.dir/sccwriter.cpp.o CMakeFiles/objlib.dir/trie.cpp.o -o lfscc -lgmp make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[1]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [100%] Built target lfscc make[1]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/CMakeFiles 0 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.vqr81F + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 ++ dirname /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 'INSTALL=/usr/bin/install -p' /usr/bin/cmake -S/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 -B/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/CMakeFiles /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all make[1]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/depend make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/objlib.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/build make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Nothing to be done for 'src/CMakeFiles/objlib.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 75%] Built target objlib /usr/bin/make -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/depend make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/lfscc.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/build make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Nothing to be done for 'src/CMakeFiles/lfscc.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [ 91%] Built target lfscc /usr/bin/make -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/depend make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' cd /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src/CMakeFiles/liblfscc.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/make -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/build make[2]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[2]: Nothing to be done for 'src/CMakeFiles/liblfscc.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' [100%] Built target liblfscc make[1]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall make[1]: Entering directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' make[1]: Nothing to be done for 'preinstall'. make[1]: Leaving directory '/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/bin/lfscc -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/lib64/liblfscc.so.0 -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/lib64/liblfscc.so -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/include/lfscc.h + mkdir -p /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/lfsc + cp -p /builddir/build/SOURCES/euf_interpolation.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/th_base.plf /builddir/build/SOURCES/th_real.plf /builddir/build/SOURCES/th_lra.plf /builddir/build/SOURCES/th_lra-cvc3.plf /builddir/build/SOURCES/color_base.plf /builddir/build/SOURCES/color_euf.plf /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/lfsc + cd src + mkdir -p /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/man/man1 + export LD_LIBRARY_PATH=/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src + LD_LIBRARY_PATH=/builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97/src + help2man -N --version-string=0.20200115 ./lfscc + sed -i 's/\\fB/.TP\n&/;s/\\fR: /\\fR\n/' /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/man/man1/lfscc.1 + cd - /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.20200115-1.fc33 --unique-debug-suffix -0.20200115-1.fc33.riscv64 --unique-debug-src-base lfsc-0.20200115-1.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/bin/lfscc explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 extracting debug info from /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/bin/lfscc extracting debug info from /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 original debug info size: 8404kB, size after compression: 6756kB /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. 357 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.4Ru2cG + umask 022 + cd /builddir/build/BUILD + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + make test Running tests... /usr/bin/ctest --force-new-ctest-process Test project /builddir/build/BUILD/LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 Start 1: bad-char.plf 1/23 Test #1: bad-char.plf ........................... Passed 2.63 sec Start 2: bool.plf 2/23 Test #2: bool.plf ............................... Passed 2.12 sec Start 3: eq_mpz.plf 3/23 Test #3: eq_mpz.plf ............................. Passed 3.07 sec Start 4: issue20.plf 4/23 Test #4: issue20.plf ............................ Passed 2.34 sec Start 5: issue8-mpexp.plf 5/23 Test #5: issue8-mpexp.plf ....................... Passed 1.97 sec Start 6: formal_type_args.plf 6/23 Test #6: formal_type_args.plf ................... Passed 1.83 sec Start 7: mp_prefix.plf 7/23 Test #7: mp_prefix.plf .......................... Passed 2.18 sec Start 8: mp_smaller_test.plf 8/23 Test #8: mp_smaller_test.plf .................... Passed 1.96 sec Start 9: mpz_to_mpq.plf 9/23 Test #9: mpz_to_mpq.plf ......................... Passed 1.95 sec Start 10: mpz_to_mpq_checks.plf 10/23 Test #10: mpz_to_mpq_checks.plf .................. Passed 2.19 sec Start 11: num.plf 11/23 Test #11: num.plf ................................ Passed 2.20 sec Start 12: sat.plf 12/23 Test #12: sat.plf ................................ Passed 2.00 sec Start 13: semicolon_after_id.plf 13/23 Test #13: semicolon_after_id.plf ................. Passed 2.23 sec Start 14: smt.plf 14/23 Test #14: smt.plf ................................ Passed 2.64 sec Start 15: th_arrays.plf 15/23 Test #15: th_arrays.plf .......................... Passed 2.33 sec Start 16: th_base.plf 16/23 Test #16: th_base.plf ............................ Passed 2.28 sec Start 17: th_bv.plf 17/23 Test #17: th_bv.plf .............................. Passed 2.52 sec Start 18: th_bv_bitblast.plf 18/23 Test #18: th_bv_bitblast.plf ..................... Passed 2.61 sec Start 19: th_int.plf 19/23 Test #19: th_int.plf ............................. Passed 2.22 sec Start 20: th_quant.plf 20/23 Test #20: th_quant.plf ........................... Passed 2.11 sec Start 21: unused_pi_param_rational_in_body.plf 21/23 Test #21: unused_pi_param_rational_in_body.plf ... Passed 1.98 sec Start 22: use-bool.plf 22/23 Test #22: use-bool.plf ........................... Passed 2.41 sec Start 23: use-use-bool.plf 23/23 Test #23: use-use-bool.plf ....................... Passed 2.07 sec 100% tests passed, 0 tests failed out of 23 Total Test time (real) = 52.90 sec + RPM_EC=0 ++ jobs -p + exit 0 Processing files: lfsc-0.20200115-1.fc33.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.DvFUeG + umask 022 + cd /builddir/build/BUILD + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + DOCDIR=/builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/doc/lfsc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/doc/lfsc + cp -pr AUTHORS /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/doc/lfsc + cp -pr README.md /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/doc/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.FdY4bF + umask 022 + cd /builddir/build/BUILD + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + LICENSEDIR=/builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/licenses/lfsc + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/licenses/lfsc + cp -pr COPYING /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64/usr/share/licenses/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Provides: lfsc = 0.20200115-1.fc33 lfsc(riscv-64) = 0.20200115-1.fc33 liblfscc.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) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgmp.so.10()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.5)(64bit) libstdc++.so.6(CXXABI_1.3.8)(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.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: lfsc-devel-0.20200115-1.fc33.riscv64 Provides: lfsc-devel = 0.20200115-1.fc33 lfsc-devel(riscv-64) = 0.20200115-1.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: liblfscc.so.0()(64bit) Processing files: lfsc-debugsource-0.20200115-1.fc33.riscv64 Provides: lfsc-debugsource = 0.20200115-1.fc33 lfsc-debugsource(riscv-64) = 0.20200115-1.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: lfsc-debuginfo-0.20200115-1.fc33.riscv64 Provides: debuginfo(build-id) = 38852e94f328da9e0c2c20390b6d5395d038baa9 debuginfo(build-id) = 4067f85a46bc173ebc51cd661270cf6649cde2c6 lfsc-debuginfo = 0.20200115-1.fc33 lfsc-debuginfo(riscv-64) = 0.20200115-1.fc33 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: lfsc-debugsource(riscv-64) = 0.20200115-1.fc33 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 Wrote: /builddir/build/RPMS/lfsc-devel-0.20200115-1.fc33.riscv64.rpm Wrote: /builddir/build/RPMS/lfsc-debugsource-0.20200115-1.fc33.riscv64.rpm Wrote: /builddir/build/RPMS/lfsc-0.20200115-1.fc33.riscv64.rpm Wrote: /builddir/build/RPMS/lfsc-debuginfo-0.20200115-1.fc33.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.tcGpTF + umask 022 + cd /builddir/build/BUILD + cd LFSC-7f2dc5255234105cf4f6b9f06d35dcc3c5dcae97 + /usr/bin/rm -rf /builddir/build/BUILDROOT/lfsc-0.20200115-1.fc33.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0