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/f41-build-819968-151984/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=604800uid=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=1721260800 Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4.1-9.fc41.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/f41-build-819968-151984/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=604800uid=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=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.iNAwbN + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + test -d /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/rm -rf /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.kGWvz4 + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 + /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.0Epkgw + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 -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 -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 -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 -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-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 -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 -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 -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 -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 -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-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 + '[' x '!=' x ']' + '[' 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.2.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/coreSig.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/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/basic.mli 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/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/core.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/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.qLcmce + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + '[' /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT ++ dirname /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT + mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + mkdir /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 -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 -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 -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 -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-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/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + /usr/bin/make install DESTDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/usr/lib64 ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/version.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/result.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/rat2.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/polys.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/extSigs.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/coreSig.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/core.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/basic.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/META + rm -fr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/usr + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT /usr/lib64/ocaml + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.4.1-9.fc41 --unique-debug-suffix -0.4.1-9.fc41.riscv64 --unique-debug-src-base ocaml-ocplib-simplex-0.4.1-9.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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-9.fc41.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 + /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a: replacing with normalized version Scanned 15 directories and 28 files, processed 1 inodes, 1 modified (1 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.UF20SB + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 -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 -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 -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 -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-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-9.fc41.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.MPOMCX + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + DOCDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + cp -pr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/README.md /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.EFZcjt + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + LICENSEDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + cp -pr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/LICENSE /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml-ocplib-simplex = 1:0.4.1-9.fc41 ocaml-ocplib-simplex(riscv-64) = 1:0.4.1-9.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 rtld(GNU_HASH) Processing files: ocaml-ocplib-simplex-devel-0.4.1-9.fc41.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.AIboeQ + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + DOCDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + cp -pr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/extra/simplex_invariants.txt /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml-ocplib-simplex-devel = 1:0.4.1-9.fc41 ocaml-ocplib-simplex-devel(riscv-64) = 1:0.4.1-9.fc41 ocamlx(OcplibSimplex) = 93c55a1d8508bb3d64c7fcf906e23784 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028 ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50 ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542 ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4 Processing files: ocaml-ocplib-simplex-debugsource-0.4.1-9.fc41.riscv64 Provides: ocaml-ocplib-simplex-debugsource = 1:0.4.1-9.fc41 ocaml-ocplib-simplex-debugsource(riscv-64) = 1:0.4.1-9.fc41 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-9.fc41.riscv64 Provides: debuginfo(build-id) = 22a3e93aaf14fc5455650fcfa9692bdc2fe46319 ocaml-ocplib-simplex-debuginfo = 1:0.4.1-9.fc41 ocaml-ocplib-simplex-debuginfo(riscv-64) = 1:0.4.1-9.fc41 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) = 1:0.4.1-9.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4.1-9.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4.1-9.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4.1-9.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4.1-9.fc41.riscv64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.10vyXe + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + test -d /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + rm -rf /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0