Mock Version: 2.9
Mock Version: 2.9
Mock Version: 2.9
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/ocaml-tplib.spec'], chrootPath='/var/lib/mock/f34-build-side-38374-26158829-3104955/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 0x3ff9a17fa30>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/ocaml-tplib.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: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1614729600
Wrote: /builddir/build/SRPMS/ocaml-tplib-1.3-59.fc34.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/ocaml-tplib.spec'], chrootPath='/var/lib/mock/f34-build-side-38374-26158829-3104955/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 0x3ff9a17fa30>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/ocaml-tplib.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: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1614729600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.xIzh1U
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf tplib-1.3
+ /usr/bin/gzip -dc /builddir/build/SOURCES/tplib-1.3.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd tplib-1.3
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
Patch #0 (ocaml-tplib-ocamlbuild.patch):
+ echo 'Patch #0 (ocaml-tplib-ocamlbuild.patch):'
+ /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0
patching file Makefile.in
Patch #1 (ocaml-tplib-mlgmpidl.patch):
+ echo 'Patch #1 (ocaml-tplib-mlgmpidl.patch):'
+ /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0
patching file src/numeric_plugins/mlgmp_plugin.ml
+ sed -i 's/@OCAMLBUILD@/& -cflag -g -lflag -g/' Makefile.in
+ sed -i 's/-lasmrun/&_pic/g' Makefile.in configure
+ sed -i 's/libasmrun\.a/libasmrun_pic.a/' Makefile.in
+ sed -i 's,CFLAGS += -I\$(OCAML_HOME_DIR),& -fPIC,' Makefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.WPNakb
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ 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  -m64 -march=zEC12 -mtune=z13 -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  -m64 -march=zEC12 -mtune=z13 -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  -m64 -march=zEC12 -mtune=z13 -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  -m64 -march=zEC12 -mtune=z13 -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=s390x-redhat-linux-gnu --host=s390x-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 s390x-redhat-linux-gnu-gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for s390x-redhat-linux-gnu-ocamlc... no
checking for ocamlc... ocamlc
OCaml version is 4.11.1
OCaml library path is /usr/lib64/ocaml
checking for s390x-redhat-linux-gnu-ocamlopt... no
checking for ocamlopt... ocamlopt
checking for s390x-redhat-linux-gnu-ocamlc.opt... no
checking for ocamlc.opt... ocamlc.opt
checking for s390x-redhat-linux-gnu-ocamlopt.opt... no
checking for ocamlopt.opt... ocamlopt.opt
checking for s390x-redhat-linux-gnu-ocaml... no
checking for ocaml... ocaml
checking for s390x-redhat-linux-gnu-ocamldep... no
checking for ocamldep... ocamldep
checking for s390x-redhat-linux-gnu-ocamlmktop... no
checking for ocamlmktop... ocamlmktop
checking for s390x-redhat-linux-gnu-ocamlmklib... no
checking for ocamlmklib... ocamlmklib
checking for s390x-redhat-linux-gnu-ocamldoc... no
checking for ocamldoc... ocamldoc
checking for s390x-redhat-linux-gnu-ocamlbuild... no
checking for ocamlbuild... ocamlbuild
checking for grep that handles long lines and -e... /usr/bin/grep
checking for cat... cat
checking for rm... rm
checking for cp... cp
checking for ar... ar
checking for mkdir... mkdir
checking for s390x-redhat-linux-gnu-ranlib... no
checking for ranlib... ranlib
checking for a BSD-compatible install... /usr/bin/install -c
checking for gawk... gawk
checking for s390x-redhat-linux-gnu-ocamlfind... no
checking for ocamlfind... ocamlfind
checking for OCaml findlib package dynlink... found
checking for OCaml findlib package zarith... found
checking for OCaml findlib package gmp... found
checking for caml_startup in -lasmrun_pic... yes
checking how to run the C preprocessor... gcc -E
checking for egrep... /usr/bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking caml/alloc.h usability... yes
checking caml/alloc.h presence... yes
checking for caml/alloc.h... yes
checking caml/callback.h usability... yes
checking caml/callback.h presence... yes
checking for caml/callback.h... yes
checking caml/memory.h usability... yes
checking caml/memory.h presence... yes
checking for caml/memory.h... yes
checking caml/mlvalues.h usability... yes
checking caml/mlvalues.h presence... yes
checking for caml/mlvalues.h... yes
checking for __gmpz_init in -lgmp... yes
checking gmp.h usability... yes
checking gmp.h presence... yes
checking for gmp.h... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/config.ml
config.status: creating src/META
configure: WARNING: unrecognized options: --disable-dependency-tracking
+ make
ocamlbuild -cflag -g -lflag -g -classic-display -no-links -build-dir _build -use-ocamlfind src/tplib.mllib \
	src/numeric.cmi src/semiring.cmi src/vector.cmi src/halfspace.cmi src/hypergraph.cmi src/tplib_core.cmi src/tplib_abstract.cmi \
	src/numeric_plugins/zarith_plugin.cmxs src/numeric_plugins/mlgmp_plugin.cmxs \
	src/bindings/tplib_double_callback.obj.o src/bindings/tplib_rational_callback.obj.o \
	src/compute_ext_rays.native src/compute_ext_rays_polar.native src/compute_halfspaces.native src/compute_tangent_hypergraph.native src/compute_minimal_external_representations.native src/compute_tropical_complex.native	
ocamlfind ocamlopt unix.cmxa -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cmxa -g -linkpkg myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
ocamlfind ocamldep -modules src/numeric.mli > src/numeric.mli.depends
ocamlfind ocamldep -modules src/numeric_plugin.mli > src/numeric_plugin.mli.depends
ocamlfind ocamlc -c -g -I src -o src/numeric_plugin.cmi src/numeric_plugin.mli
ocamlfind ocamlc -c -g -I src -o src/numeric.cmi src/numeric.mli
ocamlfind ocamldep -modules src/semiring.mli > src/semiring.mli.depends
ocamlfind ocamlc -c -g -I src -o src/semiring.cmi src/semiring.mli
ocamlfind ocamldep -modules src/vector.mli > src/vector.mli.depends
ocamlfind ocamlc -c -g -I src -o src/vector.cmi src/vector.mli
ocamlfind ocamldep -modules src/halfspace.mli > src/halfspace.mli.depends
ocamlfind ocamlc -c -g -I src -o src/halfspace.cmi src/halfspace.mli
ocamlfind ocamldep -modules src/hypergraph.mli > src/hypergraph.mli.depends
ocamlfind ocamlc -c -g -I src -o src/hypergraph.cmi src/hypergraph.mli
ocamlfind ocamldep -modules src/tplib_core.mli > src/tplib_core.mli.depends
ocamlfind ocamlc -c -g -I src -o src/tplib_core.cmi src/tplib_core.mli
ocamlfind ocamldep -modules src/tplib_abstract.mli > src/tplib_abstract.mli.depends
ocamlfind ocamlc -c -g -I src -o src/tplib_abstract.cmi src/tplib_abstract.mli
ocamlfind ocamldep -package zarith -modules src/numeric_plugins/zarith_plugin.ml > src/numeric_plugins/zarith_plugin.ml.depends
ocamlfind ocamldep -package zarith -modules src/numeric_plugins/zarith_plugin.mli > src/numeric_plugins/zarith_plugin.mli.depends
ocamlfind ocamlc -c -g -package zarith -I src/numeric_plugins -I src -o src/numeric_plugins/zarith_plugin.cmi src/numeric_plugins/zarith_plugin.mli
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/numeric_plugin.ml > src/numeric_plugin.ml.depends
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/random_generator.ml > src/random_generator.ml.depends
ocamlfind ocamldep -modules src/random_generator.mli > src/random_generator.mli.depends
ocamlfind ocamlc -c -g -I src -o src/random_generator.cmi src/random_generator.mli
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/numeric_plugin.cmx src/numeric_plugin.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/random_generator.cmx src/random_generator.ml
ocamlfind ocamlopt -c -g -package zarith -I src/numeric_plugins -I src -o src/numeric_plugins/zarith_plugin.cmx src/numeric_plugins/zarith_plugin.ml
ocamlfind ocamlopt -shared -g -linkpkg -package zarith -I src/numeric_plugins src/numeric_plugins/zarith_plugin.cmx -o src/numeric_plugins/zarith_plugin.cmxs
ocamlfind ocamldep -package gmp -modules src/numeric_plugins/mlgmp_plugin.ml > src/numeric_plugins/mlgmp_plugin.ml.depends
ocamlfind ocamldep -package gmp -modules src/numeric_plugins/mlgmp_plugin.mli > src/numeric_plugins/mlgmp_plugin.mli.depends
ocamlfind ocamlc -c -g -package gmp -I src/numeric_plugins -I src -o src/numeric_plugins/mlgmp_plugin.cmi src/numeric_plugins/mlgmp_plugin.mli
ocamlfind ocamlopt -c -g -package gmp -I src/numeric_plugins -I src -o src/numeric_plugins/mlgmp_plugin.cmx src/numeric_plugins/mlgmp_plugin.ml
ocamlfind ocamlopt -shared -g -linkpkg -package gmp -I src/numeric_plugins src/numeric_plugins/mlgmp_plugin.cmx -o src/numeric_plugins/mlgmp_plugin.cmxs
ocamlfind ocamldep -modules src/bindings/tplib_double_callback.ml > src/bindings/tplib_double_callback.ml.depends
ocamlfind ocamldep -modules src/bindings/tplib_double_callback.mli > src/bindings/tplib_double_callback.mli.depends
ocamlfind ocamlc -c -g -I src/bindings -I src -o src/bindings/tplib_double_callback.cmi src/bindings/tplib_double_callback.mli
ocamlfind ocamldep -modules src/bindings/semiring_double.ml > src/bindings/semiring_double.ml.depends
ocamlfind ocamldep -modules src/bindings/semiring_double.mli > src/bindings/semiring_double.mli.depends
ocamlfind ocamlc -c -g -I src/bindings -I src -o src/bindings/semiring_double.cmi src/bindings/semiring_double.mli
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/numeric.ml > src/numeric.ml.depends
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/config.ml > src/config.ml.depends
ocamlfind ocamldep -modules src/config.mli > src/config.mli.depends
ocamlfind ocamlc -c -g -I src -o src/config.cmi src/config.mli
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/config.cmx src/config.ml
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/semiring.ml > src/semiring.ml.depends
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/numeric.cmx src/numeric.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/semiring.cmx src/semiring.ml
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/tplib_abstract.ml > src/tplib_abstract.ml.depends
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/halfspace.ml > src/halfspace.ml.depends
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/vector.ml > src/vector.ml.depends
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/vector.cmx src/vector.ml
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/tplib_core.ml > src/tplib_core.ml.depends
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/halfspace.cmx src/halfspace.ml
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/hypergraph.ml > src/hypergraph.ml.depends
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/union_find.ml > src/union_find.ml.depends
ocamlfind ocamldep -modules src/union_find.mli > src/union_find.mli.depends
ocamlfind ocamlc -c -g -I src -o src/union_find.cmi src/union_find.mli
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/union_find.cmx src/union_find.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/hypergraph.cmx src/hypergraph.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/tplib_core.cmx src/tplib_core.ml
+ ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/tplib_core.cmx src/tplib_core.ml
File "src/tplib_core.ml", line 568, characters 12-25:
568 |         let sectors_list' =
                  ^^^^^^^^^^^^^
Warning 26: unused variable sectors_list'.
ocamlfind ocamldep -modules src/bindings/vector_array.ml > src/bindings/vector_array.ml.depends
ocamlfind ocamldep -modules src/bindings/vector_array.mli > src/bindings/vector_array.mli.depends
ocamlfind ocamlc -c -g -I src/bindings -I src -o src/bindings/vector_array.cmi src/bindings/vector_array.mli
ocamlfind ocamlopt -c -g -I src/bindings -I src -o src/bindings/semiring_double.cmx src/bindings/semiring_double.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/tplib_abstract.cmx src/tplib_abstract.ml
+ ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/tplib_abstract.cmx src/tplib_abstract.ml
File "src/tplib_abstract.ml", line 140, characters 7-10:
140 | 	  let dim = V.size v in
             ^^^
Warning 26: unused variable dim.
ocamlfind ocamlopt -c -g -I src/bindings -I src -o src/bindings/vector_array.cmx src/bindings/vector_array.ml
ocamlfind ocamlopt -c -g -I src/bindings -I src -o src/bindings/tplib_double_callback.cmx src/bindings/tplib_double_callback.ml
ocamlfind ocamlopt -a -g -I src src/config.cmx src/random_generator.cmx src/numeric_plugin.cmx src/numeric.cmx src/semiring.cmx src/vector.cmx src/halfspace.cmx src/union_find.cmx src/hypergraph.cmx src/tplib_core.cmx src/tplib_abstract.cmx -o src/tplib.cmxa
ocamlfind ocamlopt -g -linkpkg -linkpkg -output-obj -package findlib -package dynlink -package num -I src -I src/bindings src/tplib.cmxa src/bindings/semiring_double.cmx src/bindings/vector_array.cmx src/bindings/tplib_double_callback.cmx -o src/bindings/tplib_double_callback.obj.o
ocamlfind ocamldep -package zarith -modules src/bindings/tplib_rational_callback.ml > src/bindings/tplib_rational_callback.ml.depends
ocamlfind ocamldep -package zarith -modules src/bindings/tplib_rational_callback.mli > src/bindings/tplib_rational_callback.mli.depends
ocamlfind ocamlc -c -g -package zarith -I src/bindings -I src -o src/bindings/tplib_rational_callback.cmi src/bindings/tplib_rational_callback.mli
ocamlfind ocamldep -package zarith -modules src/bindings/semiring_rational.ml > src/bindings/semiring_rational.ml.depends
ocamlfind ocamldep -package zarith -modules src/bindings/semiring_rational.mli > src/bindings/semiring_rational.mli.depends
ocamlfind ocamlc -c -g -package zarith -I src/bindings -I src -o src/bindings/semiring_rational.cmi src/bindings/semiring_rational.mli
ocamlfind ocamlopt -c -g -package zarith -I src/bindings -I src -o src/bindings/semiring_rational.cmx src/bindings/semiring_rational.ml
ocamlfind ocamlopt -c -g -package zarith -I src/bindings -I src -o src/bindings/tplib_rational_callback.cmx src/bindings/tplib_rational_callback.ml
ocamlfind ocamlopt -g -linkpkg -linkpkg -output-obj -package findlib -package dynlink -package num -package zarith -I src -I src/bindings src/tplib.cmxa src/bindings/semiring_rational.cmx src/bindings/vector_array.cmx src/bindings/tplib_rational_callback.cmx -o src/bindings/tplib_rational_callback.obj.o
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_ext_rays.ml > src/compute_ext_rays.ml.depends
ocamlfind ocamlc -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays.cmo src/compute_ext_rays.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays.cmx src/compute_ext_rays.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_ext_rays.cmx -o src/compute_ext_rays.native
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_ext_rays_polar.ml > src/compute_ext_rays_polar.ml.depends
ocamlfind ocamlc -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays_polar.cmo src/compute_ext_rays_polar.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_ext_rays_polar.cmx src/compute_ext_rays_polar.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_ext_rays_polar.cmx -o src/compute_ext_rays_polar.native
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_halfspaces.ml > src/compute_halfspaces.ml.depends
ocamlfind ocamlc -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_halfspaces.cmo src/compute_halfspaces.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_halfspaces.cmx src/compute_halfspaces.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_halfspaces.cmx -o src/compute_halfspaces.native
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_tangent_hypergraph.ml > src/compute_tangent_hypergraph.ml.depends
ocamlfind ocamlc -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_tangent_hypergraph.cmo src/compute_tangent_hypergraph.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_tangent_hypergraph.cmx src/compute_tangent_hypergraph.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_tangent_hypergraph.cmx -o src/compute_tangent_hypergraph.native
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_minimal_external_representations.ml > src/compute_minimal_external_representations.ml.depends
ocamlfind ocamlc -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_minimal_external_representations.cmo src/compute_minimal_external_representations.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_minimal_external_representations.cmx src/compute_minimal_external_representations.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/compute_minimal_external_representations.cmx -o src/compute_minimal_external_representations.native
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/compute_tropical_complex.ml > src/compute_tropical_complex.ml.depends
ocamlfind ocamldep -modules src/cell_decomposition.mli > src/cell_decomposition.mli.depends
ocamlfind ocamldep -modules src/polytrope.mli > src/polytrope.mli.depends
ocamlfind ocamlc -c -g -I src -o src/polytrope.cmi src/polytrope.mli
ocamlfind ocamlc -c -g -I src -o src/cell_decomposition.cmi src/cell_decomposition.mli
ocamlfind ocamlc -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_tropical_complex.cmo src/compute_tropical_complex.ml
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/cell_decomposition.ml > src/cell_decomposition.ml.depends
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/germ.ml > src/germ.ml.depends
ocamlfind ocamldep -modules src/germ.mli > src/germ.mli.depends
ocamlfind ocamlc -c -g -I src -o src/germ.cmi src/germ.mli
ocamlfind ocamldep -package findlib -package dynlink -package num -package unix -modules src/polytrope.ml > src/polytrope.ml.depends
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/germ.cmx src/germ.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/polytrope.cmx src/polytrope.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/cell_decomposition.cmx src/cell_decomposition.ml
ocamlfind ocamlopt -c -g -package findlib -package dynlink -package num -package unix -I src -o src/compute_tropical_complex.cmx src/compute_tropical_complex.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src src/tplib.cmxa src/germ.cmx src/polytrope.cmx src/cell_decomposition.cmx src/compute_tropical_complex.cmx -o src/compute_tropical_complex.native
gcc -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  -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/ocaml -fPIC -Isrc/bindings -I"`ocamlfind query zarith`"  -c -o _build/src/bindings/tplib_double.o src/bindings/tplib_double.c
src/bindings/tplib_double.c: In function 'dimension':
src/bindings/tplib_double.c:240:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  240 |     closure_dimension = caml_named_value("dimension_double");
      |                       ^
src/bindings/tplib_double.c: In function 'copy':
src/bindings/tplib_double.c:253:18: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  253 |     closure_copy = caml_named_value("copy_double");
      |                  ^
src/bindings/tplib_double.c: In function 'normalize':
src/bindings/tplib_double.c:266:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  266 |     closure_normalize = caml_named_value("normalize_double");
      |                       ^
src/bindings/tplib_double.c: In function 'set_strategy':
src/bindings/tplib_double.c:278:26: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  278 |     closure_set_strategy = caml_named_value("set_strategy_double");
      |                          ^
src/bindings/tplib_double.c: In function 'get_strategy':
src/bindings/tplib_double.c:290:26: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  290 |     closure_get_strategy = caml_named_value("get_strategy_double");
      |                          ^
src/bindings/tplib_double.c: In function 'apply_strategy':
src/bindings/tplib_double.c:302:28: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  302 |     closure_apply_strategy = caml_named_value("apply_strategy_double");
      |                            ^
src/bindings/tplib_double.c: In function 'of_cons':
src/bindings/tplib_double.c:315:21: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  315 |     closure_of_cons = caml_named_value("of_cons_double");
      |                     ^
src/bindings/tplib_double.c: In function 'of_gen':
src/bindings/tplib_double.c:329:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  329 |     closure_of_gen = caml_named_value("of_gen_double");
      |                    ^
src/bindings/tplib_double.c: In function 'to_cons':
src/bindings/tplib_double.c:344:21: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  344 |     closure_to_cons = caml_named_value("to_cons_double");
      |                     ^
src/bindings/tplib_double.c:340:7: warning: unused variable 'dim' [-Wunused-variable]
  340 |   int dim = dimension(x);
      |       ^~~
src/bindings/tplib_double.c: In function 'to_gen':
src/bindings/tplib_double.c:358:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  358 |     closure_to_gen = caml_named_value("to_gen_double");
      |                    ^
src/bindings/tplib_double.c:354:7: warning: unused variable 'dim' [-Wunused-variable]
  354 |   int dim = dimension(x);
      |       ^~~
src/bindings/tplib_double.c: In function 'is_leq':
src/bindings/tplib_double.c:370:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  370 |     closure_is_leq = caml_named_value("is_leq_double");
      |                    ^
src/bindings/tplib_double.c: In function 'sat_cons':
src/bindings/tplib_double.c:381:22: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  381 |     closure_sat_cons = caml_named_value("sat_cons_double");
      |                      ^
src/bindings/tplib_double.c: In function 'bottom':
src/bindings/tplib_double.c:394:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  394 |     closure_bottom = caml_named_value("bottom_double");
      |                    ^
src/bindings/tplib_double.c: In function 'is_bottom':
src/bindings/tplib_double.c:407:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  407 |     closure_is_bottom = caml_named_value("is_bottom_double");
      |                       ^
src/bindings/tplib_double.c: In function 'top':
src/bindings/tplib_double.c:419:17: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  419 |     closure_top = caml_named_value("top_double");
      |                 ^
src/bindings/tplib_double.c: In function 'is_top':
src/bindings/tplib_double.c:432:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  432 |     closure_is_top = caml_named_value("is_top_double");
      |                    ^
src/bindings/tplib_double.c: In function 'join':
src/bindings/tplib_double.c:444:18: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  444 |     closure_join = caml_named_value("join_double");
      |                  ^
src/bindings/tplib_double.c: In function 'meet_cons':
src/bindings/tplib_double.c:457:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  457 |     closure_meet_cons = caml_named_value("meet_cons_double");
      |                       ^
src/bindings/tplib_double.c: In function 'meet':
src/bindings/tplib_double.c:471:18: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  471 |     closure_meet = caml_named_value("meet_double");
      |                  ^
src/bindings/tplib_double.c: In function 'assign':
src/bindings/tplib_double.c:484:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  484 |     closure_assign = caml_named_value("assign_double");
      |                    ^
src/bindings/tplib_double.c: In function 'substitute':
src/bindings/tplib_double.c:499:24: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  499 |     closure_substitute = caml_named_value("substitute_double");
      |                        ^
src/bindings/tplib_double.c: In function 'add_dimensions':
src/bindings/tplib_double.c:515:28: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  515 |     closure_add_dimensions = caml_named_value("add_dimensions_double");
      |                            ^
src/bindings/tplib_double.c: In function 'remove_dimensions':
src/bindings/tplib_double.c:535:31: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  535 |     closure_remove_dimensions = caml_named_value("remove_dimensions_double");
      |                               ^
src/bindings/tplib_double.c: In function 'permute_dimensions':
src/bindings/tplib_double.c:551:32: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  551 |     closure_permute_dimensions = caml_named_value("permute_dimensions_double");
      |                                ^
src/bindings/tplib_double.c: In function 'widen':
src/bindings/tplib_double.c:568:19: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  568 |     closure_widen = caml_named_value("widen_double");
      |                   ^
src/bindings/tplib_double.c: In function 'widen_generators':
src/bindings/tplib_double.c:581:30: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  581 |     closure_widen_generators = caml_named_value("widen_generators_double");
      |                              ^
src/bindings/tplib_double.c: In function 'narrow':
src/bindings/tplib_double.c:594:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  594 |     closure_narrow = caml_named_value("narrow_double");
      |                    ^
src/bindings/tplib_double.c: In function 'remove_redundant_constraints':
src/bindings/tplib_double.c:605:42: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  605 |     closure_remove_redundant_constraints = caml_named_value("remove_redundant_constraints_double");
      |                                          ^
src/bindings/tplib_double.c: In function 'call_gc':
src/bindings/tplib_double.c:615:21: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  615 |     closure_call_gc = caml_named_value("call_gc_double");
      |                     ^
src/bindings/tplib_double.c: In function 'print_poly':
src/bindings/tplib_double.c:624:10: warning: unused variable 'j' [-Wunused-variable]
  624 |   int i, j;
      |          ^
src/bindings/tplib_double.c:624:7: warning: unused variable 'i' [-Wunused-variable]
  624 |   int i, j;
      |       ^
src/bindings/tplib_double.c:622:7: warning: unused variable 'dim' [-Wunused-variable]
  622 |   int dim;
      |       ^~~
At top level:
src/bindings/tplib_double.c:220:13: warning: 'modify_poly' defined but not used [-Wunused-function]
  220 | static void modify_poly(poly_t* x, value v)
      |             ^~~~~~~~~~~
cat /usr/lib64/ocaml/libasmrun_pic.a > _build/src/bindings/libtplib_double.a
ar rcs _build/src/bindings/libtplib_double.a _build/src/bindings/tplib_double_callback.obj.o _build/src/bindings/tplib_double.o
ranlib _build/src/bindings/libtplib_double.a
gcc -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  -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/ocaml -fPIC -Isrc/bindings -I"`ocamlfind query zarith`"  -c -o _build/src/bindings/tplib_rational.o src/bindings/tplib_rational.c
src/bindings/tplib_rational.c: In function 'to_c_vector_list':
src/bindings/tplib_rational.c:146:9: warning: unused variable 'x' [-Wunused-variable]
  146 |   mpq_t x;
      |         ^
src/bindings/tplib_rational.c: In function 'dimension':
src/bindings/tplib_rational.c:265:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  265 |     closure_dimension = caml_named_value("dimension_rational");
      |                       ^
src/bindings/tplib_rational.c: In function 'copy':
src/bindings/tplib_rational.c:278:18: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  278 |     closure_copy = caml_named_value("copy_rational");
      |                  ^
src/bindings/tplib_rational.c: In function 'normalize':
src/bindings/tplib_rational.c:291:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  291 |     closure_normalize = caml_named_value("normalize_rational");
      |                       ^
src/bindings/tplib_rational.c: In function 'set_strategy':
src/bindings/tplib_rational.c:303:26: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  303 |     closure_set_strategy = caml_named_value("set_strategy_rational");
      |                          ^
src/bindings/tplib_rational.c: In function 'get_strategy':
src/bindings/tplib_rational.c:315:26: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  315 |     closure_get_strategy = caml_named_value("get_strategy_rational");
      |                          ^
src/bindings/tplib_rational.c: In function 'apply_strategy':
src/bindings/tplib_rational.c:327:28: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  327 |     closure_apply_strategy = caml_named_value("apply_strategy_rational");
      |                            ^
src/bindings/tplib_rational.c: In function 'of_cons':
src/bindings/tplib_rational.c:340:21: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  340 |     closure_of_cons = caml_named_value("of_cons_rational");
      |                     ^
src/bindings/tplib_rational.c: In function 'of_gen':
src/bindings/tplib_rational.c:354:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  354 |     closure_of_gen = caml_named_value("of_gen_rational");
      |                    ^
src/bindings/tplib_rational.c: In function 'to_cons':
src/bindings/tplib_rational.c:369:21: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  369 |     closure_to_cons = caml_named_value("to_cons_rational");
      |                     ^
src/bindings/tplib_rational.c:365:7: warning: unused variable 'dim' [-Wunused-variable]
  365 |   int dim = dimension(x);
      |       ^~~
src/bindings/tplib_rational.c: In function 'to_gen':
src/bindings/tplib_rational.c:383:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  383 |     closure_to_gen = caml_named_value("to_gen_rational");
      |                    ^
src/bindings/tplib_rational.c:379:7: warning: unused variable 'dim' [-Wunused-variable]
  379 |   int dim = dimension(x);
      |       ^~~
src/bindings/tplib_rational.c: In function 'is_leq':
src/bindings/tplib_rational.c:395:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  395 |     closure_is_leq = caml_named_value("is_leq_rational");
      |                    ^
src/bindings/tplib_rational.c: In function 'sat_cons':
src/bindings/tplib_rational.c:406:22: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  406 |     closure_sat_cons = caml_named_value("sat_cons_rational");
      |                      ^
src/bindings/tplib_rational.c: In function 'bottom':
src/bindings/tplib_rational.c:419:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  419 |     closure_bottom = caml_named_value("bottom_rational");
      |                    ^
src/bindings/tplib_rational.c: In function 'is_bottom':
src/bindings/tplib_rational.c:432:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  432 |     closure_is_bottom = caml_named_value("is_bottom_rational");
      |                       ^
src/bindings/tplib_rational.c: In function 'top':
src/bindings/tplib_rational.c:444:17: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  444 |     closure_top = caml_named_value("top_rational");
      |                 ^
src/bindings/tplib_rational.c: In function 'is_top':
src/bindings/tplib_rational.c:457:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  457 |     closure_is_top = caml_named_value("is_top_rational");
      |                    ^
src/bindings/tplib_rational.c: In function 'join':
src/bindings/tplib_rational.c:469:18: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  469 |     closure_join = caml_named_value("join_rational");
      |                  ^
src/bindings/tplib_rational.c: In function 'meet_cons':
src/bindings/tplib_rational.c:482:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  482 |     closure_meet_cons = caml_named_value("meet_cons_rational");
      |                       ^
src/bindings/tplib_rational.c: In function 'meet':
src/bindings/tplib_rational.c:496:18: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  496 |     closure_meet = caml_named_value("meet_rational");
      |                  ^
src/bindings/tplib_rational.c: In function 'assign':
src/bindings/tplib_rational.c:509:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  509 |     closure_assign = caml_named_value("assign_rational");
      |                    ^
src/bindings/tplib_rational.c: In function 'substitute':
src/bindings/tplib_rational.c:524:24: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  524 |     closure_substitute = caml_named_value("substitute_rational");
      |                        ^
src/bindings/tplib_rational.c: In function 'add_dimensions':
src/bindings/tplib_rational.c:540:28: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  540 |     closure_add_dimensions = caml_named_value("add_dimensions_rational");
      |                            ^
src/bindings/tplib_rational.c: In function 'remove_dimensions':
src/bindings/tplib_rational.c:560:31: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  560 |     closure_remove_dimensions = caml_named_value("remove_dimensions_rational");
      |                               ^
src/bindings/tplib_rational.c: In function 'permute_dimensions':
src/bindings/tplib_rational.c:576:32: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  576 |     closure_permute_dimensions = caml_named_value("permute_dimensions_rational");
      |                                ^
src/bindings/tplib_rational.c: In function 'widen':
src/bindings/tplib_rational.c:593:19: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  593 |     closure_widen = caml_named_value("widen_rational");
      |                   ^
src/bindings/tplib_rational.c: In function 'widen_generators':
src/bindings/tplib_rational.c:606:30: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  606 |     closure_widen_generators = caml_named_value("widen_generators_rational");
      |                              ^
src/bindings/tplib_rational.c: In function 'narrow':
src/bindings/tplib_rational.c:619:20: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  619 |     closure_narrow = caml_named_value("narrow_rational");
      |                    ^
src/bindings/tplib_rational.c: In function 'remove_redundant_constraints':
src/bindings/tplib_rational.c:630:42: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  630 |     closure_remove_redundant_constraints = caml_named_value("remove_redundant_constraints_rational");
      |                                          ^
src/bindings/tplib_rational.c: In function 'call_gc':
src/bindings/tplib_rational.c:640:21: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
  640 |     closure_call_gc = caml_named_value("call_gc_rational");
      |                     ^
src/bindings/tplib_rational.c: In function 'print_poly':
src/bindings/tplib_rational.c:649:10: warning: unused variable 'j' [-Wunused-variable]
  649 |   int i, j;
      |          ^
src/bindings/tplib_rational.c:649:7: warning: unused variable 'i' [-Wunused-variable]
  649 |   int i, j;
      |       ^
src/bindings/tplib_rational.c:647:7: warning: unused variable 'dim' [-Wunused-variable]
  647 |   int dim;
      |       ^~~
At top level:
src/bindings/tplib_rational.c:245:13: warning: 'modify_poly' defined but not used [-Wunused-function]
  245 | static void modify_poly(poly_t* x, value v)
      |             ^~~~~~~~~~~
cat /usr/lib64/ocaml/libasmrun_pic.a > _build/src/bindings/libtplib_rational.a
ar rcs _build/src/bindings/libtplib_rational.a _build/src/bindings/tplib_rational_callback.obj.o _build/src/bindings/tplib_rational.o
ranlib _build/src/bindings/libtplib_rational.a
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.N22gUz
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x
++ dirname /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x
+ cd tplib-1.3
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/include
+ make install bindir=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin libdir=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64 includedir=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/include
ocamlfind install -destdir `ocamlfind printconf destdir` tplib src/META \
_build/src/tplib.a _build/src/numeric.mli _build/src/semiring.mli _build/src/vector.mli _build/src/halfspace.mli _build/src/hypergraph.mli _build/src/tplib_core.mli _build/src/tplib_abstract.mli _build/src/tplib.cmxa _build/src/numeric.cmi _build/src/semiring.cmi _build/src/vector.cmi _build/src/halfspace.cmi _build/src/hypergraph.cmi _build/src/tplib_core.cmi _build/src/tplib_abstract.cmi _build/src/numeric_plugins/zarith_plugin.cmxs _build/src/numeric_plugins/mlgmp_plugin.cmxs 
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/zarith_plugin.cmxs
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/tplib_abstract.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/tplib_core.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/hypergraph.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/halfspace.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/vector.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/semiring.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/numeric.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/tplib.cmxa
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/tplib_abstract.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/tplib_core.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/hypergraph.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/halfspace.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/vector.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/semiring.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/numeric.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/tplib.a
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/META
test -d /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin || install -d /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin
/usr/bin/install -c _build/src/compute_ext_rays _build/src/compute_ext_rays_polar _build/src/compute_halfspaces _build/src/compute_tangent_hypergraph _build/src/compute_minimal_external_representations _build/src/compute_tropical_complex /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin
ocamlbuild -cflag -g -lflag -g -classic-display -no-links -build-dir _build -use-ocamlfind src/tplib.mllib \
	src/numeric.cmi src/semiring.cmi src/vector.cmi src/halfspace.cmi src/hypergraph.cmi src/tplib_core.cmi src/tplib_abstract.cmi \
	src/numeric_plugins/zarith_plugin.cmxs src/numeric_plugins/mlgmp_plugin.cmxs \
	src/bindings/tplib_double_callback.obj.o src/bindings/tplib_rational_callback.obj.o \
	src/compute_ext_rays.native src/compute_ext_rays_polar.native src/compute_halfspaces.native src/compute_tangent_hypergraph.native src/compute_minimal_external_representations.native src/compute_tropical_complex.native	
ocamlfind ocamlopt -shared -g -linkpkg -package zarith -I src/numeric_plugins src/numeric_plugins/zarith_plugin.cmx -o src/numeric_plugins/zarith_plugin.cmxs
ocamlfind ocamlopt -shared -g -linkpkg -package gmp -I src/numeric_plugins src/numeric_plugins/mlgmp_plugin.cmx -o src/numeric_plugins/mlgmp_plugin.cmxs
cat /usr/lib64/ocaml/libasmrun_pic.a > _build/src/bindings/libtplib_double.a
ar rcs _build/src/bindings/libtplib_double.a _build/src/bindings/tplib_double_callback.obj.o _build/src/bindings/tplib_double.o
ranlib _build/src/bindings/libtplib_double.a
cat /usr/lib64/ocaml/libasmrun_pic.a > _build/src/bindings/libtplib_rational.a
ar rcs _build/src/bindings/libtplib_rational.a _build/src/bindings/tplib_rational_callback.obj.o _build/src/bindings/tplib_rational.o
ranlib _build/src/bindings/libtplib_rational.a
mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/include
/usr/bin/install -c -m 644 src/bindings/tplib_double.h src/bindings/tplib_rational.h /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/include
mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64
/usr/bin/install -c -m 644 _build/src/bindings/libtplib_double.a _build/src/bindings/libtplib_rational.a /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64
+ mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/man/man1
+ cp -p /builddir/build/SOURCES/compute_ext_rays.1 /builddir/build/SOURCES/compute_ext_rays_polar.1 /builddir/build/SOURCES/compute_halfspaces.1 /builddir/build/SOURCES/compute_minimal_external_representations.1 /builddir/build/SOURCES/compute_tangent_hypergraph.1 /builddir/build/SOURCES/compute_tropical_complex.1 /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/man/man1
+ /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 1.3-59.fc34 --unique-debug-suffix -1.3-59.fc34.s390x --unique-debug-src-base ocaml-tplib-1.3-59.fc34.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/tplib-1.3
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_ext_rays
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_ext_rays_polar
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_ext_rays
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_ext_rays_polar
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_halfspaces
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_minimal_external_representations
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_halfspaces
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_minimal_external_representations
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_tangent_hypergraph
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_tangent_hypergraph
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_tropical_complex
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/bin/compute_tropical_complex
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/zarith_plugin.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/lib64/ocaml/tplib/zarith_plugin.cmxs
original debug info size: 7196kB, size after compression: 7196kB
/usr/lib/rpm/sepdebugcrcfix: Updated 6 CRC32s, 2 CRC32s did match.
cpio: _build/big_int.ml: Cannot stat: No such file or directory
cpio: _build/hashtbl.ml: Cannot stat: No such file or directory
cpio: _build/list.ml: Cannot stat: No such file or directory
cpio: _build/mpq.ml: Cannot stat: No such file or directory
cpio: _build/mpz.ml: Cannot stat: No such file or directory
cpio: _build/otherlibs/dynlink/dynlink_common.ml: Cannot stat: No such file or directory
cpio: _build/random.ml: Cannot stat: No such file or directory
cpio: _build/scanf.ml: Cannot stat: No such file or directory
cpio: _build/string.ml: Cannot stat: No such file or directory
272 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.HAYJ0o
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ make test
ocamlbuild -cflag -g -lflag -g -classic-display -no-links -build-dir _build -use-ocamlfind src/tplib.mllib \
	src/numeric.cmi src/semiring.cmi src/vector.cmi src/halfspace.cmi src/hypergraph.cmi src/tplib_core.cmi src/tplib_abstract.cmi \
	src/numeric_plugins/zarith_plugin.cmxs src/numeric_plugins/mlgmp_plugin.cmxs \
	src/bindings/tplib_double_callback.obj.o src/bindings/tplib_rational_callback.obj.o \
	src/compute_ext_rays.native src/compute_ext_rays_polar.native src/compute_halfspaces.native src/compute_tangent_hypergraph.native src/compute_minimal_external_representations.native src/compute_tropical_complex.native	
ocamlfind ocamlopt -shared -g -linkpkg -package zarith -I src/numeric_plugins src/numeric_plugins/zarith_plugin.cmx -o src/numeric_plugins/zarith_plugin.cmxs
ocamlfind ocamlopt -shared -g -linkpkg -package gmp -I src/numeric_plugins src/numeric_plugins/mlgmp_plugin.cmx -o src/numeric_plugins/mlgmp_plugin.cmxs
cat /usr/lib64/ocaml/libasmrun_pic.a > _build/src/bindings/libtplib_double.a
ar rcs _build/src/bindings/libtplib_double.a _build/src/bindings/tplib_double_callback.obj.o _build/src/bindings/tplib_double.o
ranlib _build/src/bindings/libtplib_double.a
cat /usr/lib64/ocaml/libasmrun_pic.a > _build/src/bindings/libtplib_rational.a
ar rcs _build/src/bindings/libtplib_rational.a _build/src/bindings/tplib_rational_callback.obj.o _build/src/bindings/tplib_rational.o
ranlib _build/src/bindings/libtplib_rational.a
ocamlbuild -cflag -g -lflag -g -classic-display -no-links -build-dir _build -use-ocamlfind tests/test_core.native
ocamlfind ocamldep -modules tests/test_core.ml > tests/test_core.ml.depends
ocamlfind ocamlc -c -g -I tests -I src -o tests/test_core.cmo tests/test_core.ml
ocamlfind ocamlopt -c -g -I tests -I src -o tests/test_core.cmx tests/test_core.ml
ocamlfind ocamlopt -g -linkpkg -linkall -package findlib -package dynlink -package num -package unix -I src -I tests src/tplib.cmxa tests/test_core.cmx -o tests/test_core.native
cc -o _build/tests/test_tplib_double tests/test_tplib_double.c -Isrc/bindings -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  -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/ocaml -fPIC -Isrc/bindings -I"`ocamlfind query zarith`"  -L_build/src/bindings -ltplib_double -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld  -L/usr/lib64/ocaml -lm -ldl -lnums -L"`ocamlfind query zarith`" -lzarith  -lgmp 
tests/test_tplib_double.c: In function 'main':
tests/test_tplib_double.c:30:7: warning: unused variable 'i' [-Wunused-variable]
   30 |   int i, var[2] = {1,2}, dims[2] = {1,2}, dims2[3] = {0,2,4}, perm[5] = {1,0,4,2,3};
      |       ^
cc -o _build/tests/test_tplib_rational tests/test_tplib_rational.c -Isrc/bindings -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  -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/ocaml -fPIC -Isrc/bindings -I"`ocamlfind query zarith`"  -L_build/src/bindings -ltplib_rational -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld  -L/usr/lib64/ocaml -lm -ldl -lnums -L"`ocamlfind query zarith`" -lzarith  -lgmp 
tests/test_tplib_rational.c: In function 'main':
tests/test_tplib_rational.c:31:7: warning: unused variable 'i' [-Wunused-variable]
   31 |   int i, var[2] = {1,2}, dims[2] = {1,2}, dims2[3] = {0,2,4}, perm[5] = {1,0,4,2,3};
      |       ^
+ _build/tests/test_tplib_double
Registering...
...done
top:
dimension:
3
to_gen:
[0.000000,-inf,-inf]
[-inf,0.000000,-inf]
[-inf,-inf,0.000000]
of_gen:
to_cons:
[0.000000,-inf,-inf,0.000000,-inf,-inf]
[-inf,-inf,0.000000,-inf,-inf,0.000000]
[-inf,-inf,0.000000,-inf,-inf,-inf]
[-inf,0.000000,-inf,-inf,-inf,-inf]
[0.000000,-inf,-inf,-inf,-inf,-inf]
[-inf,0.000000,-inf,-inf,0.000000,-inf]
assign:
[0.000000,1.000000,5.000000]
[0.000000,1.000000,5.000000]
add_dimensions:
[0.000000,-inf,1.000000,-inf,5.000000]
remove_dimensions:
bottom
permute_dimensions (null argument):
[0.000000,-inf,1.000000,-inf,5.000000]
permute_dimensions (non-null argument):
[-inf,0.000000,5.000000,1.000000,-inf]
join:
[-inf,0.000000,5.000000,1.000000,-inf]
[0.000000,-inf,1.000000,-inf,5.000000]
copy:
[0.000000,-inf,1.000000,-inf,5.000000]
meet:
[0.000000,-inf,1.000000,-inf,5.000000]
sat_cons: 1
meet_cons:
[0.000000,-inf,1.000000,-inf,5.000000]
of_cons:
[0.000000,-6.000000,-1.000000]
[-inf,-inf,0.000000]
[-inf,0.000000,-3.000000]
+ _build/tests/test_tplib_rational
Registering...
...done
top:
dimension:
3
to_gen:
[0,-1/0,-1/0]
[-1/0,0,-1/0]
[-1/0,-1/0,0]
of_gen:
to_cons:
[0,-1/0,-1/0,0,-1/0,-1/0]
[-1/0,-1/0,0,-1/0,-1/0,0]
[-1/0,-1/0,0,-1/0,-1/0,-1/0]
[-1/0,0,-1/0,-1/0,-1/0,-1/0]
[0,-1/0,-1/0,-1/0,-1/0,-1/0]
[-1/0,0,-1/0,-1/0,0,-1/0]
assign:
[0,1,5]
[0,1,5]
add_dimensions:
[0,-1/0,1,-1/0,5]
remove_dimensions:
bottom
permute_dimensions (null argument):
[0,-1/0,1,-1/0,5]
permute_dimensions (non-null argument):
[-1/0,0,5,1,-1/0]
join:
[-1/0,0,5,1,-1/0]
[0,-1/0,1,-1/0,5]
copy:
[0,-1/0,1,-1/0,5]
meet:
[0,-1/0,1,-1/0,5]
sat_cons: 1
meet_cons:
[0,-1/0,1,-1/0,5]
of_cons:
[0,-6,-1]
[-1/0,-1/0,0]
[-1/0,0,-3]
Processing files: ocaml-tplib-1.3-59.fc34.s390x
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.0qHSzw
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/doc/ocaml-tplib
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/doc/ocaml-tplib
+ cp -pr README /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/doc/ocaml-tplib
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.M6OPLp
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/licenses/ocaml-tplib
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/licenses/ocaml-tplib
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x/usr/share/licenses/ocaml-tplib
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Bigarray) = ad4fe44c682424bd5f492014bb9fe029 ocaml(Gmp_random) = 6f2db867055993adb145d2ba04f0125d ocaml(Halfspace) = f128ad5a7356bbd93826b1c9e40e7e76 ocaml(Hypergraph) = b8eddddc3a3e9f4bc09f594a7cb0c361 ocaml(Mpq) = 45779d99aee535bc997c823115700e80 ocaml(Mpz) = d700c8fa424fb71b084dd13963abac73 ocaml(Numeric) = 934eb313c60dbac69eefeabf3e13c193 ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14 ocaml(Semiring) = 11f8b3e7c2e79fab2dcae1b1cfd5b111 ocaml(Tplib_abstract) = c886caf96fb561eb6a6c3d61675552a5 ocaml(Tplib_core) = ab15212fd26c4381f27a5b6f2159bbcf ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(UnixLabels) = c3f81f79287570b5c9f8b44db8b99357 ocaml(Vector) = 36549ec65dcaea6547e1edaa6443ca52 ocaml(Z) = de8952b68dbf67aa7be758a82283b20a ocaml(Zarith_version) = 3a848fab147550209660ca5c835419bf ocaml-tplib = 1.3-59.fc34 ocaml-tplib(s390-64) = 1.3-59.fc34 ocamlx(Bigarray) = 40d2f9074dc2bee58adf6b064dd4457f ocamlx(Gmp_random) = d611479763b4d2eb84f85c21089e5910 ocamlx(Mpq) = bd2670345fbe5af8e27a612c7defef61 ocamlx(Mpz) = cad9384f14022a6047ac239d2e1843b5 ocamlx(Q) = 6483b73d440389ab31c1988b94254ee7 ocamlx(Unix) = 95f571310501c5d99f2ecc3516a031ef ocamlx(UnixLabels) = 52083453e1e137b757926fa130c8fa3c ocamlx(Z) = f42eac9221d48085fc9d6ec9c9ff892d ocamlx(Zarith_version) = e2a1f07dacb6cf02b8a5db1fbab2dae3
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.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.2)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.9)(64bit) libgmp.so.10()(64bit) libmpfr.so.6()(64bit) ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(Gmp_random) = 6f2db867055993adb145d2ba04f0125d ocaml(Halfspace) = f128ad5a7356bbd93826b1c9e40e7e76 ocaml(Hypergraph) = b8eddddc3a3e9f4bc09f594a7cb0c361 ocaml(Mpf) = 6e2b7c38f30c83e343db3d1dc7f9e5a3 ocaml(Mpfr) = accbda4157abab6941e0bb9f8ddbf2fe ocaml(Mpq) = 45779d99aee535bc997c823115700e80 ocaml(Mpz) = d700c8fa424fb71b084dd13963abac73 ocaml(Numeric) = 934eb313c60dbac69eefeabf3e13c193 ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14 ocaml(Random_generator) = b08aa098d92b306af2730d55ff98c751 ocaml(Semiring) = 11f8b3e7c2e79fab2dcae1b1cfd5b111 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27 ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int) = 3fa10753598f76054469996ed2b8844e ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Vector) = 36549ec65dcaea6547e1edaa6443ca52 ocaml(Z) = de8952b68dbf67aa7be758a82283b20a ocaml(Zarith_version) = 3a848fab147550209660ca5c835419bf ocamlx(Gmp_random) = d611479763b4d2eb84f85c21089e5910 ocamlx(Mpq) = bd2670345fbe5af8e27a612c7defef61 ocamlx(Mpz) = cad9384f14022a6047ac239d2e1843b5 ocamlx(Q) = 6483b73d440389ab31c1988b94254ee7 ocamlx(Random_generator) = 6ffd83308d42dd794bc73ac4edb22bea ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__array) = 0dbd6c995df0b55845288210130d2cf1 ocamlx(Stdlib__bigarray) = 1f22f862949bcedaf8c6c407b228f6fb ocamlx(Stdlib__buffer) = 4e08194198b3750d52e44989a195f3c4 ocamlx(Stdlib__bytes) = 59a69083c35508725ddc08153a85b893 ocamlx(Stdlib__callback) = c05aefbb65b8d848e715e4c277b1a0ca ocamlx(Stdlib__filename) = c83f78513a541fb13e9e077304bf8987 ocamlx(Stdlib__format) = 7caa0fa599ee93634548c6c48721148c ocamlx(Stdlib__hashtbl) = 519d30b3ae6a668dd4e8be3c8388eb6c ocamlx(Stdlib__int) = 51ee5760576dc8aeef3c03b3524dff72 ocamlx(Stdlib__int64) = 02b7b393268ee7df12138125730d59dc ocamlx(Stdlib__list) = 616c01a522cf78b2637efb3a5984d62d ocamlx(Stdlib__printexc) = 4106b21150caad9eb23b7436927ed6f7 ocamlx(Stdlib__printf) = 94e798e054e1e7aba34b0d59e3b91bb9 ocamlx(Stdlib__string) = 8e5fb1cd329db4529805ab09817e8edb ocamlx(Stdlib__sys) = 6541879af5ad52472a968b6cf8a19616 ocamlx(Unix) = 95f571310501c5d99f2ecc3516a031ef ocamlx(Z) = f42eac9221d48085fc9d6ec9c9ff892d ocamlx(Zarith_version) = e2a1f07dacb6cf02b8a5db1fbab2dae3 rtld(GNU_HASH)
Processing files: ocaml-tplib-devel-1.3-59.fc34.s390x
Provides: ocaml(Config) = b3473e12acfcae7ca85ac8e3d84e979e ocaml(Halfspace) = f128ad5a7356bbd93826b1c9e40e7e76 ocaml(Hypergraph) = b8eddddc3a3e9f4bc09f594a7cb0c361 ocaml(Numeric) = 934eb313c60dbac69eefeabf3e13c193 ocaml(Random_generator) = b08aa098d92b306af2730d55ff98c751 ocaml(Semiring) = 11f8b3e7c2e79fab2dcae1b1cfd5b111 ocaml(Tplib_abstract) = c886caf96fb561eb6a6c3d61675552a5 ocaml(Tplib_core) = ab15212fd26c4381f27a5b6f2159bbcf ocaml(Union_find) = 3d006698a0c254d6d436e1da07ea5069 ocaml(Vector) = 36549ec65dcaea6547e1edaa6443ca52 ocaml-tplib-devel = 1.3-59.fc34 ocaml-tplib-devel(s390-64) = 1.3-59.fc34 ocaml-tplib-static = 1.3-59.fc34 ocamlx(Config) = 294ea49e7fc8c8ef98c11528fa52e683 ocamlx(Halfspace) = dd27f4bb17379d2ed59bad7100ad75b8 ocamlx(Hypergraph) = 7f433449c2555a8e0c664a7e5d4ebe21 ocamlx(Numeric) = a18ad5752d683f4d90b874e881b5d305 ocamlx(Random_generator) = 6ffd83308d42dd794bc73ac4edb22bea ocamlx(Semiring) = 40d782c0c11ac0057e3975f39ffab79b ocamlx(Tplib_abstract) = 4a2f84efb499d94815a87ce4d8f53155 ocamlx(Tplib_core) = 82d9d5839bbf845fae197f3c174a0c0e ocamlx(Union_find) = 05ec1c86fd0d617a5b9ee7930767999b ocamlx(Vector) = 07bf2daa364d2b907577d79d4df95c72
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(Config) = b3473e12acfcae7ca85ac8e3d84e979e ocaml(Dynlink) = 0694f9b593b92c83e7a267bfbe7b7737 ocaml(Findlib) = e1511e8e81af2b19a21356953cae1ff3 ocaml(Halfspace) = f128ad5a7356bbd93826b1c9e40e7e76 ocaml(Hypergraph) = b8eddddc3a3e9f4bc09f594a7cb0c361 ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807 ocaml(Numeric) = 934eb313c60dbac69eefeabf3e13c193 ocaml(Random_generator) = b08aa098d92b306af2730d55ff98c751 ocaml(Semiring) = 11f8b3e7c2e79fab2dcae1b1cfd5b111 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__digest) = f1b97f3e19af05cd4078e6503af92f71 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__nativeint) = 27bfaa776a5a329557cb5cebde7d21e0 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__random) = d289c1fd5c5e6a54a142ac3ffe05ae8a ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Tplib_core) = ab15212fd26c4381f27a5b6f2159bbcf ocaml(Union_find) = 3d006698a0c254d6d436e1da07ea5069 ocaml(Vector) = 36549ec65dcaea6547e1edaa6443ca52 ocamlx(Big_int) = 5ea4d9b7b66460b619917810f8e6b92f ocamlx(Config) = 294ea49e7fc8c8ef98c11528fa52e683 ocamlx(Dynlink) = c08c73005f56bd2af7bb429be3a91f6c ocamlx(Halfspace) = dd27f4bb17379d2ed59bad7100ad75b8 ocamlx(Hypergraph) = 7f433449c2555a8e0c664a7e5d4ebe21 ocamlx(Random_generator) = 6ffd83308d42dd794bc73ac4edb22bea ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__array) = 0dbd6c995df0b55845288210130d2cf1 ocamlx(Stdlib__digest) = 327b68ab79b49081c280d914a04c7aa7 ocamlx(Stdlib__format) = 7caa0fa599ee93634548c6c48721148c ocamlx(Stdlib__hashtbl) = 519d30b3ae6a668dd4e8be3c8388eb6c ocamlx(Stdlib__int64) = 02b7b393268ee7df12138125730d59dc ocamlx(Stdlib__list) = 616c01a522cf78b2637efb3a5984d62d ocamlx(Stdlib__random) = ab86e709116862876aba751e920954d7 ocamlx(Stdlib__string) = 8e5fb1cd329db4529805ab09817e8edb ocamlx(Tplib_core) = 82d9d5839bbf845fae197f3c174a0c0e ocamlx(Union_find) = 05ec1c86fd0d617a5b9ee7930767999b
Processing files: ocaml-tplib-tools-1.3-59.fc34.s390x
Provides: ocaml-tplib-tools = 1.3-59.fc34 ocaml-tplib-tools(s390-64) = 1.3-59.fc34
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.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2)(64bit) libm.so.6(GLIBC_2.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) rtld(GNU_HASH)
Processing files: ocaml-tplib-debugsource-1.3-59.fc34.s390x
Provides: ocaml-tplib-debugsource = 1.3-59.fc34 ocaml-tplib-debugsource(s390-64) = 1.3-59.fc34
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-tplib-debuginfo-1.3-59.fc34.s390x
Provides: debuginfo(build-id) = 4ffb2734a2c296d5e2027f91ff5dde5ca95d88a5 debuginfo(build-id) = b37953593cfe73e6b94adca05687f38d251a4859 ocaml-tplib-debuginfo = 1.3-59.fc34 ocaml-tplib-debuginfo(s390-64) = 1.3-59.fc34
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-tplib-debugsource(s390-64) = 1.3-59.fc34
Processing files: ocaml-tplib-tools-debuginfo-1.3-59.fc34.s390x
Provides: debuginfo(build-id) = 346d1b74ff8558c9642e9bad3f4531b1fcf4fe72 debuginfo(build-id) = 629db8fbd46c770177bf32772252a59fe5eb42a4 debuginfo(build-id) = 648b87f1f50c624e16511822301749e996fe3df9 debuginfo(build-id) = 9159c901974c0201abbefd479a9878018f5a604d debuginfo(build-id) = 9906f4f076ca2d60954c6190e82ba5359c96c4eb debuginfo(build-id) = f7451820cc6a7eb6f2f529db11543e2962c022c8 ocaml-tplib-tools-debuginfo = 1.3-59.fc34 ocaml-tplib-tools-debuginfo(s390-64) = 1.3-59.fc34
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-tplib-debugsource(s390-64) = 1.3-59.fc34
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x
Wrote: /builddir/build/RPMS/ocaml-tplib-devel-1.3-59.fc34.s390x.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-tools-debuginfo-1.3-59.fc34.s390x.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-1.3-59.fc34.s390x.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-debuginfo-1.3-59.fc34.s390x.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-debugsource-1.3-59.fc34.s390x.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-tools-1.3-59.fc34.s390x.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.q7CJQ4
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-tplib-1.3-59.fc34.s390x
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0