2026-10-07 21:19.56: New job: build tplib.1.3-1 (282883336476)
2026-10-07 21:19.56: Waiting for resource in pool day11-builds
2026-10-07 21:21.50: Got resource from pool day11-builds
2026-10-07 21:21.50: [profile oxcaml-odoc-master] build tplib.1.3-1
2026-10-07 21:21.50: build tplib.1.3-1 (282883336476)
=== DEPENDENCIES (11 transitive) ===
  conf-autoconf.1                                    8ee1e3913008
  conf-gmp.5                                         c2adbec9a470
  conf-which.1                                       65c43ca119c3
  num.1.6                                            7a36ed3a3fba
  ocaml.5.2.0                                        b8c350f4f1ad
  ocaml-config.3                                     2c72b422dfc3
  ocaml-variants.5.2.0+ox                            60cb73ac7801
  ocamlbuild.0.16.1+ox                               de5a5462a208
  ocamlfind.1.9.8+ox                                 70bd5761d4de
  oxcaml-compiler.5.2.0minus39                       c47b62237187
  zarith.1.12+ox3                                    306ab9da56c7
=== STDOUT ===
Processing: [default: loading data]
[tplib.1.3-1: dl]
[tplib.1.3-1: extract]
[tplib.1.3-1/fix-bindings-install.patch: dl]
[tplib.1.3-1/fix-makefile.patch: dl]
-> retrieved tplib.1.3-1  (https://opam.ocaml.org/cache)
[tplib: patch] applying fix-makefile.patch
[tplib: patch] applying fix-bindings-install.patch
[tplib: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/tplib.1.3-1/./configure "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/tplib.1.3-1)
- checking for 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 ocamlc... ocamlc
- OCaml version is 5.2.0+ox
- OCaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking for ocamlc.opt... ocamlc.opt
- checking for ocamlopt.opt... ocamlopt.opt
- checking for ocaml... ocaml
- checking for ocamldep... ocamldep
- checking for ocamlmktop... ocamlmktop
- checking for ocamlmklib... ocamlmklib
- checking for ocamldoc... ocamldoc
- 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 ranlib... ranlib
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for gawk... no
- checking for mawk... mawk
- checking for ocamlfind... ocamlfind
- checking for OCaml findlib package dynlink... found
- checking for OCaml findlib package zarith... found
- checking for OCaml findlib package gmp... not found
- checking for caml_startup in -lasmrun... 
- no
- 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
[tplib: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/tplib.1.3-1)
- ocamlbuild -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/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 ocamlc -config
- + ocamlfind ocamlopt -I +unix unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- + 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 -I src -o src/numeric_plugin.cmi src/numeric_plugin.mli
- + ocamlfind ocamlc -c -I src -o src/numeric.cmi src/numeric.mli
- + ocamlfind ocamldep -modules src/semiring.mli > src/semiring.mli.depends
- + ocamlfind ocamlc -c -I src -o src/semiring.cmi src/semiring.mli
- + ocamlfind ocamldep -modules src/vector.mli > src/vector.mli.depends
- + ocamlfind ocamlc -c -I src -o src/vector.cmi src/vector.mli
- + ocamlfind ocamldep -modules src/halfspace.mli > src/halfspace.mli.depends
- + ocamlfind ocamlc -c -I src -o src/halfspace.cmi src/halfspace.mli
- + ocamlfind ocamldep -modules src/hypergraph.mli > src/hypergraph.mli.depends
- + ocamlfind ocamlc -c -I src -o src/hypergraph.cmi src/hypergraph.mli
- + ocamlfind ocamldep -modules src/tplib_core.mli > src/tplib_core.mli.depends
- + ocamlfind ocamlc -c -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 -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 -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 -I src -o src/random_generator.cmi src/random_generator.mli
- + ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/numeric_plugin.cmx src/numeric_plugin.ml
- + ocamlfind ocamlopt -c -package findlib -package dynlink -package num -package unix -I src -o src/random_generator.cmx src/random_generator.ml
- + ocamlfind ocamlopt -c -package zarith -I src/numeric_plugins -I src -o src/numeric_plugins/zarith_plugin.cmx src/numeric_plugins/zarith_plugin.ml
- + ocamlfind ocamlopt -c -package zarith -I src/numeric_plugins -I src -o src/numeric_plugins/zarith_plugin.cmx src/numeric_plugins/zarith_plugin.ml
- File "src/numeric_plugins/zarith_plugin.ml", line 68, characters 49-59:
- 68 |   Numeric_plugin.add_module "zarith_rat" (module Zarith_rat: Numeric_plugin.T)
-                                                       ^^^^^^^^^^
- Error: Signature mismatch:
-        ...
-        Values do not match:
-          val compare : t @ local -> t @ local -> int
-        is not included in
-          val compare : t -> t -> int
-        The type "t @ local -> t @ local -> int" is not compatible with the type
-          "t -> t -> int"
-        File "src/numeric_plugin.mli", line 33, characters 2-29:
-          Expected declaration
-        File "q.mli", line 114, characters 0-42: Actual declaration
- Command exited with code 2.
- make: *** [Makefile:135: ocaml-all] Error 10
[ERROR] The compilation of tplib.1.3-1 failed at "make".
build failed... 

=== STDERR ===

2026-10-07 21:22.02: FAILED: build tplib.1.3-1
2026-10-07 21:22.02: Job failed: build failed: tplib.1.3-1