Mock Version: 6.5 Mock Version: 6.5 Mock Version: 6.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f45-build-49947-886/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p1zt9gce:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p1zt9gce:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '4169b717d3474f05a89e29a5bb7163a2', '-D', '/var/lib/mock/f45-build-49947-886/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p1zt9gce:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1768521600 Wrote: /builddir/build/SRPMS/lfsc-0.20230914-5.fc45.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f45-build-49947-886/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p1zt9gce:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p1zt9gce:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '296ae758bf4e4fbd94f07ab28a5f9596', '-D', '/var/lib/mock/f45-build-49947-886/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.p1zt9gce:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1768521600 Executing(mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.8Zl66x Creating(rpmbuild.env): /builddir/build/BUILD/lfsc-0.20230914-build/rpmbuild.env RPM_SOURCE_DIR="/builddir/build/SOURCES" RPM_BUILD_DIR="/builddir/build/BUILD/lfsc-0.20230914-build" RPM_OPT_FLAGS="-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer" RPM_LD_FLAGS="-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes " RPM_ARCH="riscv64" RPM_OS="linux" RPM_BUILD_NCPUS="8" RPM_SPECPARTS_DIR="/builddir/build/BUILD/lfsc-0.20230914-build/SPECPARTS" export RPM_SOURCE_DIR RPM_BUILD_DIR RPM_OPT_FLAGS RPM_ARCH RPM_OS RPM_BUILD_NCPUS RPM_SPECPARTS_DIR RPM_LD_FLAGS RPM_DOC_DIR="/usr/share/doc" export RPM_DOC_DIR RPM_PACKAGE_NAME="lfsc" RPM_PACKAGE_VERSION="0.20230914" RPM_PACKAGE_RELEASE="5.fc45" export RPM_PACKAGE_NAME RPM_PACKAGE_VERSION RPM_PACKAGE_RELEASE LANG=C.UTF-8 export LANG unset CDPATH DISPLAY ||: unset DEBUGINFOD_URLS ||: unset RPM_CONFIG_DIR ||: RPM_BUILD_ROOT="/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT" export RPM_BUILD_ROOT PKG_CONFIG_PATH="${PKG_CONFIG_PATH}:/usr/lib64/pkgconfig:/usr/share/pkgconfig" export PKG_CONFIG_PATH CONFIG_SITE=${CONFIG_SITE:-NONE} export CONFIG_SITE Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.rt3jwP + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + cd /builddir/build/BUILD/lfsc-0.20230914-build + rm -rf LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/bin/rpmuncompress -x /builddir/build/SOURCES/lfsc-5a127db.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/rpmuncompress /builddir/build/SOURCES/lfsc-map.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.qxQr7Q + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + sed -i /Wno-deprecated/d 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 + '[' -z sP ']' + shebang_flags=-kasP + /usr/bin/python3 -B /usr/lib/rpm/redhat/pathfix.py -pni /usr/bin/python3 -kasP tests/run_test.py tests/run_test.py: updating + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.F5qqd1 + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + /usr/bin/cmake -S . -B redhat-linux-build -G Ninja -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_PREFIX:PATH=/usr -DCMAKE_INSTALL_FULL_SBINDIR:PATH=/usr/bin -DCMAKE_INSTALL_SBINDIR:PATH=bin -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 CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is GNU 16.1.1 -- The CXX compiler identification is GNU 16.1.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found GMP: /usr/include -- Defaulting to release build. -- Configure with flag '-Wall' -- Configure with flag '-std=gnu++11' -- Configured release build. -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Flex include directories: /usr/include -- Flex executable: /usr/bin/flex -- Flex version: 2.6.4 -- Configuring done (1.8s) -- Generating done (0.0s) -- Build files have been written to: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build CMake Warning: Manually-specified variables were not used by the project: CMAKE_C_FLAGS_RELEASE CMAKE_Fortran_FLAGS_RELEASE CMAKE_INSTALL_DO_STRIP CMAKE_INSTALL_FULL_SBINDIR CMAKE_INSTALL_SBINDIR CMAKE_VERBOSE_MAKEFILE INCLUDE_INSTALL_DIR LIB_INSTALL_DIR LIB_SUFFIX SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR + /usr/bin/cmake --build redhat-linux-build -j8 --verbose Change Dir: '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' Run Build Command(s): /usr/bin/ninja-build -v -j 8 [1/14] cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src && /usr/bin/cmake -E make_directory /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/flex -o/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/lexer.cpp lexer.flex [2/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/token.cpp.o -MF src/CMakeFiles/objlib.dir/token.cpp.o.d -o src/CMakeFiles/objlib.dir/token.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/token.cpp [3/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/scccode.cpp.o -MF src/CMakeFiles/objlib.dir/scccode.cpp.o.d -o src/CMakeFiles/objlib.dir/scccode.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/scccode.cpp [4/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/trie.cpp.o -MF src/CMakeFiles/objlib.dir/trie.cpp.o.d -o src/CMakeFiles/objlib.dir/trie.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp In file included from /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:1: In member function ‘Data Trie::get(const char*) [with Data = int]’, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘void unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:21:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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; | ~~~^ In member function ‘Data Trie::get_next(const char*) [with Data = int]’, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘void unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:21:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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]); | ~~~~~~^~~~~~~ In member function ‘Data Trie::get(const char*) [with Data = int]’, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘void unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:22:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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; | ~~~^ In member function ‘Data Trie::get_next(const char*) [with Data = int]’, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘void unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:22:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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]); | ~~~~~~^~~~~~~ In member function ‘Data Trie::get_next(const char*) [with Data = int]’, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘void unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:21:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18: warning: offset ‘2’ outside bounds of constant string [-Warray-bounds=] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ In member function ‘Data Trie::get_next(const char*) [with Data = int]’, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Data Trie::get_next(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Data Trie::get(const char*) [with Data = int]’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘void unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:22:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18: warning: offset ‘2’ outside bounds of constant string [-Warray-bounds=] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ [5/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/lfscc.cpp.o -MF src/CMakeFiles/objlib.dir/lfscc.cpp.o.d -o src/CMakeFiles/objlib.dir/lfscc.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/lfscc.cpp [6/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/lexer.cpp.o -MF src/CMakeFiles/objlib.dir/lexer.cpp.o.d -o src/CMakeFiles/objlib.dir/lexer.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/lexer.cpp [7/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -MD -MT src/CMakeFiles/lfscc.dir/main.cpp.o -MF src/CMakeFiles/lfscc.dir/main.cpp.o.d -o src/CMakeFiles/lfscc.dir/main.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/main.cpp [8/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/expr.cpp.o -MF src/CMakeFiles/objlib.dir/expr.cpp.o.d -o src/CMakeFiles/objlib.dir/expr.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/expr.cpp [9/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/sccwriter.cpp.o -MF src/CMakeFiles/objlib.dir/sccwriter.cpp.o.d -o src/CMakeFiles/objlib.dir/sccwriter.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/sccwriter.cpp [10/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/code.cpp.o -MF src/CMakeFiles/objlib.dir/code.cpp.o.d -o src/CMakeFiles/objlib.dir/code.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/code.cpp [11/14] /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/check.cpp.o -MF src/CMakeFiles/objlib.dir/check.cpp.o.d -o src/CMakeFiles/objlib.dir/check.cpp.o -c /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/check.cpp [12/14] : && /usr/bin/g++ -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=src/CMakeFiles/lfscc.dir/link.d src/CMakeFiles/objlib.dir/check.cpp.o src/CMakeFiles/objlib.dir/code.cpp.o src/CMakeFiles/objlib.dir/expr.cpp.o src/CMakeFiles/objlib.dir/lfscc.cpp.o src/CMakeFiles/objlib.dir/scccode.cpp.o src/CMakeFiles/objlib.dir/sccwriter.cpp.o src/CMakeFiles/objlib.dir/trie.cpp.o src/CMakeFiles/objlib.dir/token.cpp.o src/CMakeFiles/objlib.dir/lexer.cpp.o src/CMakeFiles/lfscc.dir/main.cpp.o -o src/lfscc /usr/lib64/libgmp.so && : [13/14] : && /usr/bin/g++ -fPIC -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -shared -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=src/CMakeFiles/liblfscc.dir/link.d -Wl,-soname,liblfscc.so.0 -o src/liblfscc.so.0.0.0 src/CMakeFiles/objlib.dir/check.cpp.o src/CMakeFiles/objlib.dir/code.cpp.o src/CMakeFiles/objlib.dir/expr.cpp.o src/CMakeFiles/objlib.dir/lfscc.cpp.o src/CMakeFiles/objlib.dir/scccode.cpp.o src/CMakeFiles/objlib.dir/sccwriter.cpp.o src/CMakeFiles/objlib.dir/trie.cpp.o src/CMakeFiles/objlib.dir/token.cpp.o src/CMakeFiles/objlib.dir/lexer.cpp.o -lgmp && : [14/14] /usr/bin/cmake -E cmake_symlink_library src/liblfscc.so.0.0.0 src/liblfscc.so.0 src/liblfscc.so && : + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.Vz7kXv + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + '[' /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT ++ dirname /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT + mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build + mkdir /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + DESTDIR=/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT + /usr/bin/cmake --install redhat-linux-build -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/bin/lfscc -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/lib64/liblfscc.so.0.0.0 -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/lib64/liblfscc.so.0 -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/lib64/liblfscc.so -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/include/lfscc.h + mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/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/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/lfsc + cd redhat-linux-build/src + mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/man/man1 + export LD_LIBRARY_PATH=/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src + LD_LIBRARY_PATH=/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src + help2man -N --version-string=0.20230914 -n 'SMT proof checker' ./lfscc + sed -i 's/\\fB/.TP\n&/;s/\\fR: /\\fR\n/' /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/man/man1/lfscc.1 + cp -p ../../src/lexer.flex . + cd - /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 0.20230914-5.fc45 --unique-debug-suffix -0.20230914-5.fc45.riscv64 --unique-debug-src-base lfsc-0.20230914-5.fc45.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 find-debuginfo: starting Extracting debug info from 2 files DWARF-compressing 2 files sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/lfsc-0.20230914-5.fc45.riscv64 cpio: redhat-linux-build/lexer.flex: Cannot stat: No such file or directory find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + COMPRESS='gzip -9 -n' + COMPRESS_EXT=.gz + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j8 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-det --brp -j8 /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT Scanned 21 directories and 36 files, processed 1 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors + /usr/bin/linkdupes --brp /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr Scanned 20 directories and 36 files, considered 34 files, read 0 files, linked 0 files, 0 errors sum of sizes of linked files: 0 bytes Reading /builddir/build/BUILD/lfsc-0.20230914-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.FDrVVZ + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/bin/ctest --test-dir redhat-linux-build --output-on-failure --force-new-ctest-process --timeout 6000 -j8 Test project /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build Start 1: ann_lambda.plf Start 2: bad-char.plf Start 3: bool.plf Start 4: eq_mpz.plf Start 5: error-pr15.plf Start 6: issue20.plf Start 7: issue35.plf Start 8: issue59.plf 1/60 Test #4: eq_mpz.plf ............................. Passed 0.18 sec Start 9: issue60.plf 2/60 Test #1: ann_lambda.plf ......................... Passed 0.22 sec Start 10: issue66.plf 3/60 Test #2: bad-char.plf ........................... Passed 0.22 sec 4/60 Test #3: bool.plf ............................... Passed 0.22 sec Start 11: issue69-sc.plf Start 12: issue71.plf 5/60 Test #5: error-pr15.plf ......................... Passed 0.24 sec 6/60 Test #7: issue35.plf ............................ Passed 0.23 sec 7/60 Test #8: issue59.plf ............................ Passed 0.23 sec Start 13: issue71-2.plf Start 14: issue8-mpexp.plf Start 15: formal_type_args.plf 8/60 Test #6: issue20.plf ............................ Passed 0.27 sec Start 16: mp_prefix.plf 9/60 Test #10: issue66.plf ............................ Passed 0.18 sec Start 17: mp_smaller_test.plf 10/60 Test #9: issue60.plf ............................ Passed 0.22 sec Start 18: mpz_to_mpq.plf 11/60 Test #11: issue69-sc.plf ......................... Passed 0.21 sec Start 19: mpz_to_mpq_checks.plf 12/60 Test #13: issue71-2.plf .......................... Passed 0.21 sec Start 20: num.plf 13/60 Test #14: issue8-mpexp.plf ....................... Passed 0.23 sec Start 21: redecl.plf 14/60 Test #16: mp_prefix.plf .......................... Passed 0.22 sec Start 22: redefn.plf 15/60 Test #12: issue71.plf ............................ Passed 0.33 sec Start 23: reopaque.plf 16/60 Test #18: mpz_to_mpq.plf ......................... Passed 0.17 sec Start 24: sage-app2-bench_201.plf 17/60 Test #15: formal_type_args.plf ................... Passed 0.33 sec Start 25: sat.plf 18/60 Test #17: mp_smaller_test.plf .................... Passed 0.23 sec Start 26: semicolon_after_id.plf 19/60 Test #19: mpz_to_mpq_checks.plf .................. Passed 0.23 sec Start 27: skolem1.plf 20/60 Test #22: redefn.plf ............................. Passed 0.19 sec Start 28: skolem2.plf 21/60 Test #20: num.plf ................................ Passed 0.27 sec Start 29: smt.plf 22/60 Test #21: redecl.plf ............................. Passed 0.29 sec Start 30: th_arrays.plf 23/60 Test #23: reopaque.plf ........................... Passed 0.27 sec Start 31: th_base.plf 24/60 Test #26: semicolon_after_id.plf ................. Passed 0.25 sec Start 32: th_bv.plf 25/60 Test #25: sat.plf ................................ Passed 0.30 sec Start 33: th_bv_bitblast.plf 26/60 Test #27: skolem1.plf ............................ Passed 0.24 sec Start 34: th_int.plf 27/60 Test #28: skolem2.plf ............................ Passed 0.25 sec Start 35: th_quant.plf 28/60 Test #30: th_arrays.plf .......................... Passed 0.24 sec Start 36: treesize-27.plf 29/60 Test #31: th_base.plf ............................ Passed 0.24 sec Start 37: treesize-27-let.plf 30/60 Test #29: smt.plf ................................ Passed 0.35 sec Start 38: unused_pi_param_rational_in_body.plf 31/60 Test #32: th_bv.plf .............................. Passed 0.26 sec Start 39: use-bool.plf 32/60 Test #33: th_bv_bitblast.plf ..................... Passed 0.25 sec Start 40: use-use-bool.plf 33/60 Test #35: th_quant.plf ........................... Passed 0.22 sec Start 41: whr-match.plf 34/60 Test #34: th_int.plf ............................. Passed 0.27 sec Start 42: subs-27-let.plf 35/60 Test #36: treesize-27.plf ........................ Passed 0.24 sec Start 43: sugar_arrow.plf 36/60 Test #37: treesize-27-let.plf .................... Passed 0.23 sec Start 44: sugar_assuming.plf 37/60 Test #38: unused_pi_param_rational_in_body.plf ... Passed 0.23 sec Start 45: sugar_declare_rule.plf 38/60 Test #39: use-bool.plf ........................... Passed 0.22 sec Start 46: sugar_declare_type.plf 39/60 Test #40: use-use-bool.plf ....................... Passed 0.22 sec Start 47: sugar_forall.plf 40/60 Test #41: whr-match.plf .......................... Passed 0.30 sec Start 48: sugar_lam.plf 41/60 Test #42: subs-27-let.plf ........................ Passed 0.31 sec Start 49: sugar_let.plf 42/60 Test #43: sugar_arrow.plf ........................ Passed 0.24 sec Start 50: sugar_define_const.plf 43/60 Test #44: sugar_assuming.plf ..................... Passed 0.21 sec Start 51: sugar_provided.plf 44/60 Test #45: sugar_declare_rule.plf ................. Passed 0.24 sec Start 52: sugar_skolem.plf 45/60 Test #46: sugar_declare_type.plf ................. Passed 0.23 sec Start 53: unbind_ord_dec_type.plf 46/60 Test #47: sugar_forall.plf ....................... Passed 0.22 sec Start 54: unbind_ord_arrow.plf 47/60 Test #48: sugar_lam.plf .......................... Passed 0.23 sec Start 55: unbind_ord_chk_assuming.plf 48/60 Test #49: sugar_let.plf .......................... Passed 0.22 sec Start 56: unbind_ord_def_const.plf 49/60 Test #53: unbind_ord_dec_type.plf ................ Passed 0.14 sec Start 57: unbind_ord_dec_rule.plf 50/60 Test #51: sugar_provided.plf ..................... Passed 0.23 sec Start 58: code_macro_app.plf 51/60 Test #52: sugar_skolem.plf ....................... Passed 0.21 sec Start 59: macro_in_let_in_sc.plf 52/60 Test #50: sugar_define_const.plf ................. Passed 0.32 sec Start 60: sc_call_in_macro_in_sc.plf 53/60 Test #54: unbind_ord_arrow.plf ................... Passed 0.30 sec 54/60 Test #58: code_macro_app.plf ..................... Passed 0.20 sec 55/60 Test #56: unbind_ord_def_const.plf ............... Passed 0.25 sec 56/60 Test #55: unbind_ord_chk_assuming.plf ............ Passed 0.27 sec 57/60 Test #60: sc_call_in_macro_in_sc.plf ............. Passed 0.17 sec 58/60 Test #59: macro_in_let_in_sc.plf ................. Passed 0.22 sec 59/60 Test #57: unbind_ord_dec_rule.plf ................ Passed 0.26 sec 60/60 Test #24: sage-app2-bench_201.plf ................ Passed 5.30 sec 100% tests passed, 0 tests failed out of 60 Total Test time (real) = 5.90 sec + RPM_EC=0 ++ jobs -p + exit 0 Processing files: lfsc-0.20230914-5.fc45.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.P8vkPI + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + DOCDIR=/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + cp -pr /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/AUTHORS /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + cp -pr /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/README.md /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.CJw4Hc + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + LICENSEDIR=/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/licenses/lfsc + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/licenses/lfsc + cp -pr /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/COPYING /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/licenses/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Provides: lfsc = 0.20230914-5.fc45 lfsc(riscv-64) = 0.20230914-5.fc45 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) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(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.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: lfsc-devel-0.20230914-5.fc45.riscv64 Provides: lfsc-devel = 0.20230914-5.fc45 lfsc-devel(riscv-64) = 0.20230914-5.fc45 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.20230914-5.fc45.riscv64 Provides: lfsc-debugsource = 0.20230914-5.fc45 lfsc-debugsource(riscv-64) = 0.20230914-5.fc45 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: lfsc-debuginfo-0.20230914-5.fc45.riscv64 Provides: debuginfo(build-id) = 47dbd95a19c306166c92f8ed7a065cd8233ff53c debuginfo(build-id) = 57f51a29d2cf7ab930871694b23195ffa3e57ffb lfsc-debuginfo = 0.20230914-5.fc45 lfsc-debuginfo(riscv-64) = 0.20230914-5.fc45 liblfscc.so.0.0.0-0.20230914-5.fc45.riscv64.debug()(64bit) 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.20230914-5.fc45 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT Wrote: /builddir/build/RPMS/lfsc-devel-0.20230914-5.fc45.riscv64.rpm Wrote: /builddir/build/RPMS/lfsc-debugsource-0.20230914-5.fc45.riscv64.rpm Wrote: /builddir/build/RPMS/lfsc-0.20230914-5.fc45.riscv64.rpm Wrote: /builddir/build/RPMS/lfsc-debuginfo-0.20230914-5.fc45.riscv64.rpm Child return code was: 0