Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-tplib.spec'], chrootPath='/var/lib/mock/f37-build-643570-72113/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 0x3f8cd454f0>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-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: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1658448000
Wrote: /builddir/build/SRPMS/ocaml-tplib-1.3-70.fc37.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-tplib.spec'], chrootPath='/var/lib/mock/f37-build-643570-72113/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 0x3f8cd454f0>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-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: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1658448000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.eKyvea
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf tplib-1.3
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/tplib-1.3.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd tplib-1.3
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ echo 'Patch #0 (ocaml-tplib-ocamlbuild.patch):'
Patch #0 (ocaml-tplib-ocamlbuild.patch):
+ /usr/bin/patch --no-backup-if-mismatch -f -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 -f -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.TBFtIy
+ umask 022
+ cd /builddir/build/BUILD
+ 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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ 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  -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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ 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 riscv64-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 riscv64-redhat-linux-gnu-ocamlc... no
checking for ocamlc... ocamlc
OCaml version is 4.14.0
OCaml library path is /usr/lib64/ocaml
checking for riscv64-redhat-linux-gnu-ocamlopt... no
checking for ocamlopt... ocamlopt
checking for riscv64-redhat-linux-gnu-ocamlc.opt... no
checking for ocamlc.opt... ocamlc.opt
checking for riscv64-redhat-linux-gnu-ocamlopt.opt... no
checking for ocamlopt.opt... ocamlopt.opt
checking for riscv64-redhat-linux-gnu-ocaml... no
checking for ocaml... ocaml
checking for riscv64-redhat-linux-gnu-ocamldep... no
checking for ocamldep... ocamldep
checking for riscv64-redhat-linux-gnu-ocamlmktop... no
checking for ocamlmktop... ocamlmktop
checking for riscv64-redhat-linux-gnu-ocamlmklib... no
checking for ocamlmklib... ocamlmklib
checking for riscv64-redhat-linux-gnu-ocamldoc... no
checking for ocamldoc... ocamldoc
checking for riscv64-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 riscv64-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 riscv64-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-var]: 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-var]: 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  -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;
      |       ^~~
src/bindings/tplib_double.c: 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  -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;
      |       ^~~
src/bindings/tplib_rational.c: 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.z4Dipq
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64
++ dirname /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64
+ 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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd tplib-1.3
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/include
+ make install bindir=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin libdir=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64 includedir=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/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-70.fc37.riscv64/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/zarith_plugin.cmxs
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/tplib_abstract.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/tplib_core.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/hypergraph.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/halfspace.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/vector.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/semiring.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/numeric.cmi
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/tplib.cmxa
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/tplib_abstract.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/tplib_core.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/hypergraph.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/halfspace.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/vector.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/semiring.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/numeric.mli
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/tplib.a
Installed /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/META
test -d /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin || install -d /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/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-70.fc37.riscv64/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-70.fc37.riscv64/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-70.fc37.riscv64/usr/include
mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/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-70.fc37.riscv64/usr/lib64
+ mkdir -p /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/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-70.fc37.riscv64/usr/share/man/man1
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.3-70.fc37 --unique-debug-suffix -1.3-70.fc37.riscv64 --unique-debug-src-base ocaml-tplib-1.3-70.fc37.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/tplib-1.3
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin/compute_halfspaces
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin/compute_ext_rays_polar
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin/compute_ext_rays
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin/compute_minimal_external_representations
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin/compute_tangent_hypergraph
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/bin/compute_tropical_complex
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/lib64/ocaml/tplib/zarith_plugin.cmxs
original debug info size: 8304kB, size after compression: 8308kB
/usr/bin/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/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.vNGzVK
+ umask 022
+ cd /builddir/build/BUILD
+ 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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ 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
gcc -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  -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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  -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};
      |       ^
gcc -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  -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 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  -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]
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: ocaml-tplib-1.3-70.fc37.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.4NVfLR
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/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-70.fc37.riscv64/usr/share/doc/ocaml-tplib
+ cp -pr README /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/share/doc/ocaml-tplib
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.bnNyA0
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/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-70.fc37.riscv64/usr/share/licenses/ocaml-tplib
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64/usr/share/licenses/ocaml-tplib
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Halfspace) = b95f0a121113d9270a9204614a4869c0 ocaml(Hypergraph) = fb64dff761b53e9e98d4fd28729cd1f7 ocaml(Numeric) = 2d8e0553899cd491054e6c1183c31253 ocaml(Semiring) = 7459a6c85d05ae6962e9383fadc1e9b0 ocaml(Tplib_abstract) = b5e9f241d37d6f9e65d0363eecf1aff4 ocaml(Tplib_core) = b6a31c3dd082b31a381ac42bfd61bdf8 ocaml(Vector) = 459f4a8e974ff1c246a3f8c8802505ae ocaml-tplib = 1.3-70.fc37 ocaml-tplib(riscv-64) = 1.3-70.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.33)(64bit) libgmp.so.10()(64bit) libmpfr.so.6()(64bit) ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Halfspace) = b95f0a121113d9270a9204614a4869c0 ocaml(Hypergraph) = fb64dff761b53e9e98d4fd28729cd1f7 ocaml(Numeric) = 2d8e0553899cd491054e6c1183c31253 ocaml(Semiring) = 7459a6c85d05ae6962e9383fadc1e9b0 ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Vector) = 459f4a8e974ff1c246a3f8c8802505ae rtld(GNU_HASH)
Processing files: ocaml-tplib-devel-1.3-70.fc37.riscv64
Provides: ocaml(Config) = a49725d5de8e076ca5df2b4af2164a4a ocaml(Halfspace) = b95f0a121113d9270a9204614a4869c0 ocaml(Hypergraph) = fb64dff761b53e9e98d4fd28729cd1f7 ocaml(Numeric) = 2d8e0553899cd491054e6c1183c31253 ocaml(Random_generator) = 1d314123e406411b44c94f585a6ff651 ocaml(Semiring) = 7459a6c85d05ae6962e9383fadc1e9b0 ocaml(Tplib_abstract) = b5e9f241d37d6f9e65d0363eecf1aff4 ocaml(Tplib_core) = b6a31c3dd082b31a381ac42bfd61bdf8 ocaml(Union_find) = 9358bf410d5790733d8b34a0b3ca7eec ocaml(Vector) = 459f4a8e974ff1c246a3f8c8802505ae ocaml-tplib-devel = 1.3-70.fc37 ocaml-tplib-devel(riscv-64) = 1.3-70.fc37 ocaml-tplib-static = 1.3-70.fc37 ocamlx(Config) = c6ea179fce619af79c09152366984654 ocamlx(Halfspace) = 1edf649b85e564466a4696d1697c3716 ocamlx(Hypergraph) = 1b3e987811c6929b574b8897ad92f3df ocamlx(Numeric) = a6b5d9ff6ac5cdf6442634d22bbecae1 ocamlx(Random_generator) = ad8d66b0452a6532c6eae24d5928d803 ocamlx(Semiring) = 3d4f404ff61d06d1d8cfaccc460d01fa ocamlx(Tplib_abstract) = aa6ba77547b52982ca2b105d9eb4353e ocamlx(Tplib_core) = db45409b6b9bfe3e10fbd59029d772b7 ocamlx(Union_find) = 7cbd1715c1bbb81e0c77d36b0cd7fdbc ocamlx(Vector) = 3f0552b490fad003835063c31bb5108c
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Config) = a49725d5de8e076ca5df2b4af2164a4a ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 ocaml(Findlib) = d44b73d9d87aa8a2a740a3e7f738599b ocaml(Halfspace) = b95f0a121113d9270a9204614a4869c0 ocaml(Hypergraph) = fb64dff761b53e9e98d4fd28729cd1f7 ocaml(Nat) = cf53074211ea56c636ac753b3faa2286 ocaml(Numeric) = 2d8e0553899cd491054e6c1183c31253 ocaml(Random_generator) = 1d314123e406411b44c94f585a6ff651 ocaml(Semiring) = 7459a6c85d05ae6962e9383fadc1e9b0 ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Tplib_core) = b6a31c3dd082b31a381ac42bfd61bdf8 ocaml(Union_find) = 9358bf410d5790733d8b34a0b3ca7eec ocaml(Vector) = 459f4a8e974ff1c246a3f8c8802505ae ocamlx(Big_int) = 431112b2e7463349ad30cf0e3ea4d6e7 ocamlx(Config) = c6ea179fce619af79c09152366984654 ocamlx(Dynlink) = 5ab64fd106535213a32e68c26e194c87 ocamlx(Halfspace) = 1edf649b85e564466a4696d1697c3716 ocamlx(Hypergraph) = 1b3e987811c6929b574b8897ad92f3df ocamlx(Random_generator) = ad8d66b0452a6532c6eae24d5928d803 ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996 ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc ocamlx(Stdlib__Digest) = 7d577dae6edeadfbfb103d3b9b8931ba ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd ocamlx(Stdlib__Hashtbl) = c60c5e9b84ec15b69584c299944d0abb ocamlx(Stdlib__Int64) = 371b761429600b4a3480435d7bb83c8a ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 ocamlx(Stdlib__Random) = bd6cc79123202b55fdf31fc087aa06eb ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df ocamlx(Tplib_core) = db45409b6b9bfe3e10fbd59029d772b7 ocamlx(Union_find) = 7cbd1715c1bbb81e0c77d36b0cd7fdbc
Processing files: ocaml-tplib-tools-1.3-70.fc37.riscv64
Provides: ocaml-tplib-tools = 1.3-70.fc37 ocaml-tplib-tools(riscv-64) = 1.3-70.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Processing files: ocaml-tplib-debugsource-1.3-70.fc37.riscv64
Provides: ocaml-tplib-debugsource = 1.3-70.fc37 ocaml-tplib-debugsource(riscv-64) = 1.3-70.fc37
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-70.fc37.riscv64
Provides: debuginfo(build-id) = 04ab297d7659b0238bcb6977967dd0b7c5d1c486 debuginfo(build-id) = b3a953ce2a0c9dfaf839c092ea7e38967098d954 ocaml-tplib-debuginfo = 1.3-70.fc37 ocaml-tplib-debuginfo(riscv-64) = 1.3-70.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-tplib-debugsource(riscv-64) = 1.3-70.fc37
Processing files: ocaml-tplib-tools-debuginfo-1.3-70.fc37.riscv64
Provides: debuginfo(build-id) = 6df4d72c8e3388f5035706345218ce84542911df debuginfo(build-id) = 76e2b33e0c1a72f680b21473dcb34306d498aa91 debuginfo(build-id) = 9da4e45981545b5499a2da4db557f4e73c9c2a13 debuginfo(build-id) = a06ff20024d28ff5eceb686b5e64b5ceca88a1d8 debuginfo(build-id) = e83ab5f77c1c9574d688c4128f86d714b9822bd4 debuginfo(build-id) = fcb54727f01df0c9a30c9f97828e2bbb89d97e71 ocaml-tplib-tools-debuginfo = 1.3-70.fc37 ocaml-tplib-tools-debuginfo(riscv-64) = 1.3-70.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-tplib-debugsource(riscv-64) = 1.3-70.fc37
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64
Wrote: /builddir/build/RPMS/ocaml-tplib-1.3-70.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-debuginfo-1.3-70.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-debugsource-1.3-70.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-tools-debuginfo-1.3-70.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-tools-1.3-70.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-tplib-devel-1.3-70.fc37.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.N0J3cb
+ umask 022
+ cd /builddir/build/BUILD
+ cd tplib-1.3
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-tplib-1.3-70.fc37.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.HDZD2e
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf tplib-1.3 tplib-1.3.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0