Mock Version: 1.4.16
Mock Version: 1.4.16
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'], chrootPath='/var/lib/mock/f32-build-17261913-1240418/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 0x7fffa05d5610>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --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: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1565913600
Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4-5.fc32.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'], chrootPath='/var/lib/mock/f32-build-17261913-1240418/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 0x7fffa05d5610>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --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: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1565913600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.mg0zW0
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf ocplib-simplex-0.4
+ /usr/bin/tar -xof -
+ /usr/bin/gzip -dc /builddir/build/SOURCES/ocplib-simplex-0.4.tar.gz
+ 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/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ /usr/bin/cat /builddir/build/SOURCES/ocaml-ocplib-simplex-destdir.patch
+ autoconf
+ sed -i /OCAMLFIND_DESTDIR/d Makefile.in
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.w3lU24
+ 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 -m64 -mcpu=power8 -mtune=power8 -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 -m64 -mcpu=power8 -mtune=power8 -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 -m64 -mcpu=power8 -mtune=power8 -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 -m64 -mcpu=power8 -mtune=power8 -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
+ '[' 1 = 1 ']'
BUILDSTDERR: +++ dirname ./configure
BUILDSTDERR: ++ find . -name config.guess -o -name config.sub
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
BUILDSTDERR: ++ find . -name ltmain.sh
+ ./configure --build=ppc64le-redhat-linux-gnu --host=ppc64le-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
BUILDSTDERR: configure: WARNING: unrecognized options: --disable-dependency-tracking
BUILDSTDERR: config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
BUILDSTDERR: configure: WARNING: unrecognized options: --disable-dependency-tracking
+ make -j12 opt
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
checking for ocamlc... ocamlc
ocaml version is 4.08.1
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
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
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/coreSig.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/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   -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
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.Ad28g1
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
+ cd ocplib-simplex-0.4
+ export DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
+ DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml
+ make install
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/version.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/result.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/rat2.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/polys.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/extSigs.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/coreSig.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/core.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/basic.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a
BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/META
+ /usr/lib/rpm/find-debuginfo.sh -j12 --strict-build-id -m -i --build-id-seed 0.4-5.fc32 --unique-debug-suffix -0.4-5.fc32.ppc64le --unique-debug-src-base ocaml-ocplib-simplex-0.4-5.fc32.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/ocplib-simplex-0.4
BUILDSTDERR: cpio: format.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: list.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: map.ml: Cannot stat: No such file or directory
BUILDSTDERR: cpio: set.ml: Cannot stat: No such file or directory
BUILDSTDERR: 111 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /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
mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/usr/lib64
ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
original debug info size: 96kB, size after compression: 100kB
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.lVnVv3
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ make local-tests
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
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
-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Processing files: ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.dISlA1
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/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-5.fc32.ppc64le/usr/share/doc/ocaml-ocplib-simplex
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/share/doc/ocaml-ocplib-simplex
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.jsVgs4
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/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-5.fc32.ppc64le/usr/share/licenses/ocaml-ocplib-simplex
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/share/licenses/ocaml-ocplib-simplex
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: ocaml(OcplibSimplex) = 08799879d271cd3b8a3ce86243e77067 ocaml-ocplib-simplex = 0.4-5.fc32 ocaml-ocplib-simplex(ppc-64) = 0.4-5.fc32
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.17)(64bit) ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94 ocaml(CamlinternalLazy) = 32c2335718b9e6766271583b9840ffb3 ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8 ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6 ocaml(Stdlib__format) = b19f294d464555e99bcd77ca013195d9 ocaml(Stdlib__lazy) = 31c662c7cda074a9799490137c4d7016 ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e ocaml(Stdlib__map) = 24753f5ffed358ea157f8ab4f298d015 ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136 ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526 ocaml(runtime) = 4.08.1 rtld(GNU_HASH)
Processing files: ocaml-ocplib-simplex-devel-0.4-5.fc32.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FXU5i5
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/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-5.fc32.ppc64le/usr/share/doc/ocaml-ocplib-simplex-devel
+ cp -pr extra/simplex_invariants.txt /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le/usr/share/doc/ocaml-ocplib-simplex-devel
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: ocaml-ocplib-simplex-devel = 0.4-5.fc32 ocaml-ocplib-simplex-devel(ppc-64) = 0.4-5.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-ocplib-simplex-debugsource-0.4-5.fc32.ppc64le
Provides: ocaml-ocplib-simplex-debugsource = 0.4-5.fc32 ocaml-ocplib-simplex-debugsource(ppc-64) = 0.4-5.fc32
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-5.fc32.ppc64le
Provides: debuginfo(build-id) = f2530dc1e9c4136c0195378b348b14485a8ae3d5 ocaml-ocplib-simplex-debuginfo = 0.4-5.fc32 ocaml-ocplib-simplex-debuginfo(ppc-64) = 0.4-5.fc32
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-ocplib-simplex-debugsource(ppc-64) = 0.4-5.fc32
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4-5.fc32.ppc64le.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4-5.fc32.ppc64le.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4-5.fc32.ppc64le.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.QTkfb4
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-5.fc32.ppc64le
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0