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-597467-66922/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 0x3fbf0ec700>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=1619308800
Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.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-597467-66922/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 0x3fbf0ec700>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=1619308800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.QgUyzz
+ 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/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
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.HzQ9zz
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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 -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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 -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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 -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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 -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
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']'
++ find . -type f -name configure -print
+ for file in $(find . -type f -name configure -print)
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ '[' 1 = 1 ']'
+++ dirname ./configure
++ find . -name config.guess -o -name config.sub
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
++ find . -name ltmain.sh
+ ./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.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
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
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
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/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.Fo1L8C
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
++ dirname /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
+ cd ocplib-simplex-0.4
+ export DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
+ DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml
+ make install
mkdir -p /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/usr/lib64
ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/version.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/result.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/rat2.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/polys.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/extSigs.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/coreSig.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/core.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/basic.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a
Installed /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/META
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.4-19.fc33.1.rvre0 --unique-debug-suffix -0.4-19.fc33.1.rvre0.riscv64 --unique-debug-src-base ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.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-19.fc33.1.rvre0.riscv64/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.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 '' 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.7WyHzz
+ 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-19.fc33.1.rvre0.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.u5oEjz
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.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-19.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-ocplib-simplex
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-ocplib-simplex
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.2l6PzB
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.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-19.fc33.1.rvre0.riscv64/usr/share/licenses/ocaml-ocplib-simplex
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/share/licenses/ocaml-ocplib-simplex
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(OcplibSimplex) = 0a9dc64869e2d5675b47969f1412eb22 ocaml-ocplib-simplex = 0.4-19.fc33.1.rvre0 ocaml-ocplib-simplex(riscv-64) = 0.4-19.fc33.1.rvre0 ocamlx(OcplibSimplex) = 3d34abd0852bee3f8798e37c7b050d4d
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) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__lazy) = bad82b0dffc3f26083e1d1c8e5965818 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocamlx(CamlinternalLazy) = 036788d50a0586afbd43b3e007d70c70 ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29 ocamlx(Stdlib__map) = c699e5cde8326fd8cd09a489d07a608c ocamlx(Stdlib__set) = 01d0584203a512f960682dd911d9ba1f rtld(GNU_HASH)
Processing files: ocaml-ocplib-simplex-devel-0.4-19.fc33.1.rvre0.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.UXgYgB
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.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-19.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel
+ cp -pr extra/simplex_invariants.txt /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-ocplib-simplex-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(OcplibSimplex) = 0a9dc64869e2d5675b47969f1412eb22 ocaml-ocplib-simplex-devel = 0.4-19.fc33.1.rvre0 ocaml-ocplib-simplex-devel(riscv-64) = 0.4-19.fc33.1.rvre0 ocamlx(OcplibSimplex) = 3d34abd0852bee3f8798e37c7b050d4d
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__lazy) = bad82b0dffc3f26083e1d1c8e5965818 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocamlx(CamlinternalLazy) = 036788d50a0586afbd43b3e007d70c70 ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29 ocamlx(Stdlib__map) = c699e5cde8326fd8cd09a489d07a608c ocamlx(Stdlib__set) = 01d0584203a512f960682dd911d9ba1f
Processing files: ocaml-ocplib-simplex-debugsource-0.4-19.fc33.1.rvre0.riscv64
Provides: ocaml-ocplib-simplex-debugsource = 0.4-19.fc33.1.rvre0 ocaml-ocplib-simplex-debugsource(riscv-64) = 0.4-19.fc33.1.rvre0
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-19.fc33.1.rvre0.riscv64
Provides: debuginfo(build-id) = 6b07ed0ca5702ad9d6b09a7bf0ae25f5abb0b967 ocaml-ocplib-simplex-debuginfo = 0.4-19.fc33.1.rvre0 ocaml-ocplib-simplex-debuginfo(riscv-64) = 0.4-19.fc33.1.rvre0
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-19.fc33.1.rvre0
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4-19.fc33.1.rvre0.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4-19.fc33.1.rvre0.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4-19.fc33.1.rvre0.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.8DkCuD
+ umask 022
+ cd /builddir/build/BUILD
+ cd ocplib-simplex-0.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-ocplib-simplex-0.4-19.fc33.1.rvre0.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0