Build:
- 0
2026-06-23 19:02.10: New job: build yices2_bindings.0.2 (a2231e1345a7) 2026-06-23 19:02.10: Waiting for resource in pool day11-builds 2026-06-23 20:09.32: Got resource from pool day11-builds 2026-06-23 20:09.32: [profile full] build yices2_bindings.0.2 2026-06-23 20:09.32: build yices2_bindings.0.2 (a2231e1345a7) === DEPENDENCIES (37 transitive) === base.v0.16.5 3e7389dae345 base-threads.base b7164ff76afe base-unix.base 839dc585f12d bigarray-compat.1.1.0 9fec226c8943 conf-gmp.5 61e3c79e0ddf conf-libffi.2.0.0 b59b18e08302 conf-pkg-config.5 4b60827fc174 containers.3.17 1831f4d15067 cppo.1.8.0 c5a885643f9a csexp.1.5.2 8db572c4e843 ctypes.0.24.0 f021eaa542e7 ctypes-foreign.0.24.0 00ef60305fd4 ctypes-zarith.0.2.0 7dfacb5eecd8 dune.3.23.1 7aa7b6307691 dune-configurator.3.23.1 a269fa41101b either.1.0.0 1ac7786517e4 integers.0.8.0 e63496c1da0e num.1.6 00cf837a54c9 ocaml.5.0.0 4e3432802b74 ocaml-base-compiler.5.0.0 7f40a02edec0 ocaml-compiler-libs.v0.12.4 c2a301b8aa75 ocaml-config.3 a4e7663ae3be ocamlbuild.0.16.1 f9309a5b5c3c ocamlfind.1.9.8 b41546e756d9 parsexp.v0.16.0 e3da6ae09650 ppx_cstubs.0.7.0 276052670d6e ppx_derivers.1.2.1 f530c29f04bf ppx_deriving.6.0.3 4f4b5ae1e6db ppx_optcomp.v0.16.0 3ad0c40205f5 ppxlib.0.35.0 3e896a557aee re.1.14.0 a506808b9a57 result.1.5 8b5fd419231e sexplib.v0.16.0 7401eaabb5fa sexplib0.v0.16.0 3a8682299c8e stdio.v0.16.0 ca8368df4b35 stdlib-shims.0.3.0 d91a2df537b6 zarith.1.14 3389fe505cb5 === STDOUT === Processing: [default: loading data] [yices2_bindings.0.2: dl] [yices2_bindings.0.2: extract] -> retrieved yices2_bindings.0.2 (https://opam.ocaml.org/cache) [yices2_bindings: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/yices2_bindings.0.2) - ocamlbuild -use-ocamlfind test_gmp src/yices2_bindings.cma src/yices2_bindings.cmxa src/META - + 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 ocamlc -g -c gmp.c - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_header.ml > src/yices2_header.ml.depends - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_low_types.ml > src/yices2_low_types.ml.depends - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_high_types.ml > src/yices2_high_types.ml.depends - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_low.mli > src/yices2_low.mli.depends - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_low_types.cmo src/yices2_low_types.ml - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_low.cmi src/yices2_low.mli - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_low.ml > src/yices2_low.ml.depends - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_header.cmo src/yices2_header.ml - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_high.mli > src/yices2_high.mli.depends - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_high_types.cmo src/yices2_high_types.ml - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_high.cmi src/yices2_high.mli - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_high.ml > src/yices2_high.ml.depends - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_ext_bindings.mli > src/yices2_ext_bindings.mli.depends - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_ext_bindings.cmi src/yices2_ext_bindings.mli - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_ext_bindings.ml > src/yices2_ext_bindings.ml.depends - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_SMT2.mli > src/yices2_SMT2.mli.depends - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_SMT2.cmi src/yices2_SMT2.mli - + ocamlfind ocamldep -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -modules src/yices2_SMT2.ml > src/yices2_SMT2.ml.depends - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_low.cmo src/yices2_low.ml - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_high.cmo src/yices2_high.ml - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_ext_bindings.cmo src/yices2_ext_bindings.ml - + ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src -o src/yices2_SMT2.cmo src/yices2_SMT2.ml - + ocamlfind ocamlc -a -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src src/yices2_header.cmo src/yices2_low_types.cmo src/yices2_low.cmo src/yices2_high_types.cmo src/yices2_high.cmo src/yices2_ext_bindings.cmo src/yices2_SMT2.cmo -o src/yices2_bindings.cma - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_header.cmx src/yices2_header.ml - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_low_types.cmx src/yices2_low_types.ml - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_low.cmx src/yices2_low.ml - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_high_types.cmx src/yices2_high_types.ml - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_high.cmx src/yices2_high.ml - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_ext_bindings.cmx src/yices2_ext_bindings.ml - + ocamlfind ocamlopt -c -g -annot -bin-annot -unbox-closures -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -O3 -I src -o src/yices2_SMT2.cmx src/yices2_SMT2.ml - + ocamlfind ocamlopt -a -package zarith -package ctypes-zarith -package ctypes -package ctypes.foreign -package sexplib -package containers -package ppx_deriving.std -package ppx_optcomp -I src src/yices2_header.cmx src/yices2_low_types.cmx src/yices2_low.cmx src/yices2_high_types.cmx src/yices2_high.cmx src/yices2_ext_bindings.cmx src/yices2_SMT2.cmx -o src/yices2_bindings.cmxa - + cp src/META_gmp src/META -> compiled yices2_bindings.0.2 [yices2_bindings: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/yices2_bindings.0.2) - ocamlbuild -use-ocamlfind test_gmp src/yices2_bindings.cma src/yices2_bindings.cmxa src/META - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - ocamlfind install yices2_bindings _build/src/META\ - _build/src/yices2_header.cmx _build/src/yices2_header.cmo _build/src/yices2_header.cmi\ - _build/src/yices2_low_types.cmx _build/src/yices2_low_types.cmo _build/src/yices2_low_types.cmi\ - _build/src/yices2_high_types.cmx _build/src/yices2_high_types.cmo _build/src/yices2_high_types.cmi\ - _build/src/yices2_low.cmx _build/src/yices2_low.cmo _build/src/yices2_low.cmi\ - _build/src/yices2_high.cmx _build/src/yices2_high.cmo _build/src/yices2_high.cmi\ - _build/src/yices2_SMT2.cmx _build/src/yices2_SMT2.cmo _build/src/yices2_SMT2.cmi\ - _build/src/yices2_ext_bindings.cmx _build/src/yices2_ext_bindings.cmo _build/src/yices2_ext_bindings.cmi\ - _build/src/yices2_bindings.cma\ - _build/src/yices2_bindings.cmxa\ - _build/src/yices2_bindings.a - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_bindings.a - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_bindings.cmxa - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_bindings.cma - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_ext_bindings.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_ext_bindings.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_ext_bindings.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_SMT2.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_SMT2.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_SMT2.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_high.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_high.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_high.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_low.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_low.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_low.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_high_types.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_high_types.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_high_types.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_low_types.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_low_types.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_low_types.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_header.cmi - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_header.cmo - Installed /home/opam/.opam/default/lib/yices2_bindings/yices2_header.cmx - Installed /home/opam/.opam/default/lib/yices2_bindings/META -> installed yices2_bindings.0.2 [WARNING] Opam packages conf-gmp.5 and conf-libffi.2.0.0 depend on the following system packages that are no longer installed: libffi-dev libgmp-dev - conf-gmp.5: depends on libgmp-dev - conf-libffi.2.0.0: depends on libffi-dev === STDERR === 2026-06-23 20:10.13: OK: build yices2_bindings.0.2 (runc: 24.6s, disk: 21KB) 2026-06-23 20:10.13: Job succeeded