Mock Version: 1.4.21
Mock Version: 1.4.21
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/f33-build-191961-46457/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fdd7be700>timeout=432000uid=987gid=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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1587427200
Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4-14.fc33.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/f33-build-191961-46457/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fdd7be700>timeout=432000uid=987gid=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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1587427200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.dqyEqG
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf ocplib-simplex-0.4
+ /usr/bin/gzip -dc /builddir/build/SOURCES/ocplib-simplex-0.4.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd ocplib-simplex-0.4
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/cat /builddir/build/SOURCES/ocaml-ocplib-simplex-tests.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ /usr/bin/cat /builddir/build/SOURCES/ocaml-ocplib-simplex-destdir.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ autoconf
+ sed -i /OCAMLFIND_DESTDIR/d Makefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ejEgCG
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ '[' 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
+ ./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 --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 4.11.0+dev0-2019-10-18
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
+ make -j4 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
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/rat2.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -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/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/polys.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml
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/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
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
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -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/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/solveBounds.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli
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/result.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.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
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
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/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.cVPWEF
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
++ dirname /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
+ cd ocplib-simplex-0.4
+ export DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
+ DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml
+ make install
mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/usr/lib64
ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/version.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/result.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/rat2.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/polys.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/extSigs.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/coreSig.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/core.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/basic.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/META
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.4-14.fc33 --unique-debug-suffix -0.4-14.fc33.riscv64 --unique-debug-src-base ocaml-ocplib-simplex-0.4-14.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/ocplib-simplex-0.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
original debug info size: 104kB, size after compression: 108kB
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
cpio: format.ml: Cannot stat: No such file or directory
cpio: list.ml: Cannot stat: No such file or directory
cpio: map.ml: Cannot stat: No such file or directory
cpio: set.ml: Cannot stat: No such file or directory
111 blocks
+ /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/redhat/brp-python-bytecompile /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.1zAeEH
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ 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-14.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.KC4bcF
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/doc/ocaml-ocplib-simplex
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/doc/ocaml-ocplib-simplex
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/doc/ocaml-ocplib-simplex
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.CzlKLF
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/licenses/ocaml-ocplib-simplex
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/licenses/ocaml-ocplib-simplex
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/licenses/ocaml-ocplib-simplex
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(OcplibSimplex) = 818529189bb3f36f7dfdf1f9fa7bca29 ocaml-ocplib-simplex = 0.4-14.fc33 ocaml-ocplib-simplex(riscv-64) = 0.4-14.fc33 ocamlx(OcplibSimplex) = bd37196067b5e3eb553e6d120d16f22c
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) ocaml(CamlinternalFormatBasics) = abb6a3e103af15618334f607881d2f6e ocaml(CamlinternalLazy) = da00c017b07ea33406799e4c0708370b ocaml(Stdlib) = 758bb07a9fe47ce2726d308103d8c6ac ocaml(Stdlib__buffer) = 62274dc59b2be3a60aa8ac3225e14d26 ocaml(Stdlib__format) = c5f72e9cf68719087633a822261f096a ocaml(Stdlib__lazy) = e6ac069e7b39be8704380ec0c236b891 ocaml(Stdlib__list) = 3a95348c023b83cf26ac8e0229a3caef ocaml(Stdlib__map) = a9fd645d93c1483f6c676174cc50cebb ocaml(Stdlib__seq) = aa29410d95f3c0bcbe4b1dc2a2661ed3 ocaml(Stdlib__set) = bef88bbfd0cd2c203ca0f106f12ef88a ocaml(Stdlib__uchar) = af48317d91d50bcd76019fb3dc0a0a7e ocamlx(CamlinternalLazy) = a9b6be6fefa0ac4eceacc0e12cf141fc ocamlx(Stdlib) = f35fed20d6a434bdcdc787ab8d2e7090 ocamlx(Stdlib__format) = 70eb8082015880d2ea22015d98ece686 ocamlx(Stdlib__list) = 00f0b803021241f2da62a3ac5db4e0a4 ocamlx(Stdlib__map) = 42a3df0ea69532a68fea2c9f7ea745f0 ocamlx(Stdlib__set) = 29861643026ce8ecc72ee15127ec4fe1 rtld(GNU_HASH)
Processing files: ocaml-ocplib-simplex-devel-0.4-14.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.OeAjxF
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel
+ cp -pr extra/simplex_invariants.txt /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(OcplibSimplex) = 818529189bb3f36f7dfdf1f9fa7bca29 ocaml-ocplib-simplex-devel = 0.4-14.fc33 ocaml-ocplib-simplex-devel(riscv-64) = 0.4-14.fc33 ocamlx(OcplibSimplex) = bd37196067b5e3eb553e6d120d16f22c
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = abb6a3e103af15618334f607881d2f6e ocaml(CamlinternalLazy) = da00c017b07ea33406799e4c0708370b ocaml(Stdlib) = 758bb07a9fe47ce2726d308103d8c6ac ocaml(Stdlib__buffer) = 62274dc59b2be3a60aa8ac3225e14d26 ocaml(Stdlib__format) = c5f72e9cf68719087633a822261f096a ocaml(Stdlib__lazy) = e6ac069e7b39be8704380ec0c236b891 ocaml(Stdlib__list) = 3a95348c023b83cf26ac8e0229a3caef ocaml(Stdlib__map) = a9fd645d93c1483f6c676174cc50cebb ocaml(Stdlib__seq) = aa29410d95f3c0bcbe4b1dc2a2661ed3 ocaml(Stdlib__set) = bef88bbfd0cd2c203ca0f106f12ef88a ocaml(Stdlib__uchar) = af48317d91d50bcd76019fb3dc0a0a7e ocamlx(CamlinternalLazy) = a9b6be6fefa0ac4eceacc0e12cf141fc ocamlx(Stdlib) = f35fed20d6a434bdcdc787ab8d2e7090 ocamlx(Stdlib__format) = 70eb8082015880d2ea22015d98ece686 ocamlx(Stdlib__list) = 00f0b803021241f2da62a3ac5db4e0a4 ocamlx(Stdlib__map) = 42a3df0ea69532a68fea2c9f7ea745f0 ocamlx(Stdlib__set) = 29861643026ce8ecc72ee15127ec4fe1
Processing files: ocaml-ocplib-simplex-debugsource-0.4-14.fc33.riscv64
Provides: ocaml-ocplib-simplex-debugsource = 0.4-14.fc33 ocaml-ocplib-simplex-debugsource(riscv-64) = 0.4-14.fc33
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-14.fc33.riscv64
Provides: debuginfo(build-id) = 8f41f768acb2678182deff104e7708049afe2546 ocaml-ocplib-simplex-debuginfo = 0.4-14.fc33 ocaml-ocplib-simplex-debuginfo(riscv-64) = 0.4-14.fc33
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-14.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4-14.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4-14.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4-14.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4-14.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.uy3ShD
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-14.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0