Mock Version: 2.15 Mock Version: 2.15 Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'], chrootPath='/var/lib/mock/f40-build-739767-109242/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=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.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'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1696464000 Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4.1-4.fc40.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'], chrootPath='/var/lib/mock/f40-build-739767-109242/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=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.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'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1696464000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Av44a9 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf ocplib-simplex-0.4.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/ocplib-simplex-0.4.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd ocplib-simplex-0.4.1 + rm -rf /builddir/build/BUILD/ocplib-simplex-0.4.1-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/ocplib-simplex-0.4.1-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-ocplib-simplex-tests.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-ocplib-simplex-destdir.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-ocplib-simplex-autoconf.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + autoconf + sed -i /OCAMLFIND_DESTDIR/d Makefile.in + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.H4ol2Y + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -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 FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-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 ocplib-simplex-0.4.1 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -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 FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-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 + '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']' ++ find . -type f -name configure -print + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' ++ find . -name ltmain.sh ++ grep -q runstatedir=DIR ./configure ++ echo --runstatedir=/run + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info configure: WARNING: unrecognized options: --disable-dependency-tracking checking for ocamlc... ocamlc ocaml version is 5.1.0 ocaml library path is /usr/lib64/ocaml checking for ocamlfind... yes checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlopt.opt version... ok checking for ocamldep... ocamldep checking platform... configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-dependency-tracking + /usr/bin/make -O -j4 V=1 VERBOSE=1 opt cp src/extSigs.mli src/extSigs.ml cp src/coreSig.mli src/coreSig.ml ocamldep -I src src/*.ml* > .depend ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmx + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.fQDKwv + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 ++ dirname /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -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 FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-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 ocplib-simplex-0.4.1 + export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml + mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/usr/lib64 ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/version.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/result.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/rat2.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/polys.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/extSigs.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/coreSig.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/core.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/basic.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/lib64/ocaml/ocplib-simplex/META + rm -fr /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/usr + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 /usr/lib64/ocaml + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.4.1-4.fc40 --unique-debug-suffix -0.4.1-4.fc40.riscv64 --unique-debug-src-base ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/ocplib-simplex-0.4.1 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 cpio: format.ml: Cannot stat: No such file or directory 111 blocks find-debuginfo: done + /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/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.UJh7WN + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -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 FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-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 ocplib-simplex-0.4.1 + make local-tests ocamlc.opt -o standalone_minimal_local.byte -I src -I tests ocplibSimplex.cma nums.cma tests/standalone_minimal.ml ./standalone_minimal_local.byte 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem is unsat! reason: x+y<=-1, x>=0, y>=0 -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlopt.opt -o standalone_minimal_local.opt -I src -I tests ocplibSimplex.cmxa nums.cmxa tests/standalone_minimal.ml ./standalone_minimal_local.opt 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem is unsat! reason: x+y<=-1, x>=0, y>=0 -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlc.opt -o standalone_minimal_maximization_local.byte -I src -I tests ocplibSimplex.cma nums.cma tests/standalone_minimal_maximization.ml ./standalone_minimal_maximization_local.byte 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * x + (1) * y' ... has an upper bound: 10 (is_le = true)(reason: x+y<=10) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * y' ... has an upper bound: 7 (is_le = true)(reason: x+y<=10, x>=3) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (-1) * y' ... is unbounded -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlopt.opt -o standalone_minimal_maximization_local.opt -I src -I tests ocplibSimplex.cmxa nums.cmxa tests/standalone_minimal_maximization.ml ./standalone_minimal_maximization_local.opt 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * x + (1) * y' ... has an upper bound: 10 (is_le = true)(reason: x+y<=10) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * y' ... has an upper bound: 7 (is_le = true)(reason: x+y<=10, x>=3) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (-1) * y' ... is unbounded -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.JrhzVw + umask 022 + cd /builddir/build/BUILD + cd ocplib-simplex-0.4.1 + DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/doc/ocaml-ocplib-simplex + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/doc/ocaml-ocplib-simplex + cp -pr /builddir/build/BUILD/ocplib-simplex-0.4.1/README.md /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/doc/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.vBNpfh + umask 022 + cd /builddir/build/BUILD + cd ocplib-simplex-0.4.1 + LICENSEDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/licenses/ocaml-ocplib-simplex + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/licenses/ocaml-ocplib-simplex + cp -pr /builddir/build/BUILD/ocplib-simplex-0.4.1/LICENSE /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/licenses/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = 2075400216069da28b601d4bd7f6d06b ocaml-ocplib-simplex = 0.4.1-4.fc40 ocaml-ocplib-simplex(riscv-64) = 0.4.1-4.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 rtld(GNU_HASH) Processing files: ocaml-ocplib-simplex-devel-0.4.1-4.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.VDPA7a + umask 022 + cd /builddir/build/BUILD + cd ocplib-simplex-0.4.1 + DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel + cp -pr /builddir/build/BUILD/ocplib-simplex-0.4.1/extra/simplex_invariants.txt /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = 2075400216069da28b601d4bd7f6d06b ocaml-ocplib-simplex-devel = 0.4.1-4.fc40 ocaml-ocplib-simplex-devel(riscv-64) = 0.4.1-4.fc40 ocamlx(OcplibSimplex) = 805fd7fcd87f76a0ee4be71f9cf92291 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocamlx(CamlinternalFormat) = ae97d2b84e532a9a212e0e5b5779297f ocamlx(CamlinternalLazy) = c1376ce5cb90729a16ef1251b8de014f ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Format) = f90c0bee78deceb4a6ee1637008136ec ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = ec4596c14facd8bd30146ba012ccf9bf ocamlx(Stdlib__Set) = 167748f394b82bd3f24f5739f737c4ac Processing files: ocaml-ocplib-simplex-debugsource-0.4.1-4.fc40.riscv64 Provides: ocaml-ocplib-simplex-debugsource = 0.4.1-4.fc40 ocaml-ocplib-simplex-debugsource(riscv-64) = 0.4.1-4.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-ocplib-simplex-debuginfo-0.4.1-4.fc40.riscv64 Provides: debuginfo(build-id) = 8583e031c7d2b75e9b150830d19350f8b478ade9 ocaml-ocplib-simplex-debuginfo = 0.4.1-4.fc40 ocaml-ocplib-simplex-debuginfo(riscv-64) = 0.4.1-4.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-ocplib-simplex-debugsource(riscv-64) = 0.4.1-4.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4.1-4.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4.1-4.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4.1-4.fc40.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.PIs4i6 + umask 022 + cd /builddir/build/BUILD + cd ocplib-simplex-0.4.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-4.fc40.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.KxQbFw + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/ocplib-simplex-0.4.1-SPECPARTS + rm -rf ocplib-simplex-0.4.1 ocplib-simplex-0.4.1.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0