sr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd zenon-0.8.5
++ ./zenon -p0 -itptp examples/tptp-COM003+2.p
+ result='(* PROOF-FOUND *)'
+ '[' '(* PROOF-FOUND *)' = '(* PROOF-FOUND *)' ']'
+ echo 'Test succeeded'
Test succeeded
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: zenon-0.8.5-25.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.RrK5jt
+ umask 022
+ cd /builddir/build/BUILD
+ cd zenon-0.8.5
+ DOCDIR=/builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/doc/zenon
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/doc/zenon
+ cp -pr /builddir/build/BUILD/zenon-0.8.5/zenlpar07.pdf /builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/doc/zenon
+ cp -pr /builddir/build/BUILD/zenon-0.8.5/examples /builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/doc/zenon
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.sTFpGa
+ umask 022
+ cd /builddir/build/BUILD
+ cd zenon-0.8.5
+ LICENSEDIR=/builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/licenses/zenon
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/licenses/zenon
+ cp -pr /builddir/build/BUILD/zenon-0.8.5/LICENSE /builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64/usr/share/licenses/zenon
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: zenon = 0.8.5-25.fc40 zenon(riscv-64) = 0.8.5-25.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Processing files: zenon-debugsource-0.8.5-25.fc40.riscv64
Provides: zenon-debugsource = 0.8.5-25.fc40 zenon-debugsource(riscv-64) = 0.8.5-25.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: zenon-debuginfo-0.8.5-25.fc40.riscv64
Provides: debuginfo(build-id) = 3be2abe8b4b3e104a25f104da6b2634eeede4160 zenon-debuginfo = 0.8.5-25.fc40 zenon-debuginfo(riscv-64) = 0.8.5-25.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: zenon-debugsource(riscv-64) = 0.8.5-25.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/zenon-0.8.5-25.fc40.riscv64
Wrote: /builddir/build/RPMS/zenon-debugsource-0.8.5-25.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/zenon-debuginfo-0.8.5-25.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/zenon-0.8.5-25.fc40.riscv64.rpm
Child return code was: 0