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-811226-147255/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f81572c10>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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1716940800
Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4.1-7.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-811226-147255/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f81572c10>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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1716940800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.RnH7We
+ 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.stEZYd
+ umask 022
+ cd /builddir/build/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-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 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-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
+ '[' 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-errors -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/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/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.KufcHX
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64
++ dirname /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64
+ 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-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 ocplib-simplex-0.4.1
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64 'INSTALL=/usr/bin/install -p'
mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/usr/lib64
ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/version.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/result.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/rat2.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/polys.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/extSigs.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/coreSig.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/core.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/basic.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/lib64/ocaml/ocplib-simplex/META
+ rm -fr /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64/usr/usr
+ /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64 /usr/lib64/ocaml
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.4.1-7.fc41 --unique-debug-suffix -0.4.1-7.fc41.riscv64 --unique-debug-src-base ocaml-ocplib-simplex-0.4.1-7.fc41.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-7.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
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.s84pRg
+ umask 022
+ cd /builddir/build/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-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 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-7.fc41.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.r8N68D
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4.1
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.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-7.fc41.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-7.fc41.riscv64/usr/share/doc/ocaml-ocplib-simplex
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.RsAGbK
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.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-7.fc41.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-7.fc41.riscv64/usr/share/licenses/ocaml-ocplib-simplex
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml-ocplib-simplex = 1:0.4.1-7.fc41 ocaml-ocplib-simplex(riscv-64) = 1:0.4.1-7.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-7.fc41.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.884I2Y
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4.1
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.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-7.fc41.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-7.fc41.riscv64/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-7.fc41 ocaml-ocplib-simplex-devel(riscv-64) = 1:0.4.1-7.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-7.fc41.riscv64
Provides: ocaml-ocplib-simplex-debugsource = 1:0.4.1-7.fc41 ocaml-ocplib-simplex-debugsource(riscv-64) = 1:0.4.1-7.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-7.fc41.riscv64
Provides: debuginfo(build-id) = 7ab6b673b4ebbf508e04030570d5a02e17e2d3f1 ocaml-ocplib-simplex-debuginfo = 1:0.4.1-7.fc41 ocaml-ocplib-simplex-debuginfo(riscv-64) = 1:0.4.1-7.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-7.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4.1-7.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4.1-7.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4.1-7.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4.1-7.fc41.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.NPOjL5
+ 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-7.fc41.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.rWcHZ0
+ 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