Build:
- 0
2026-06-26 10:19.52: New job: build yices2_bindings.0.2 (3e1d2ee25272) 2026-06-26 10:19.52: Waiting for resource in pool day11-builds 2026-06-26 10:59.31: Got resource from pool day11-builds 2026-06-26 10:59.31: [profile full] build yices2_bindings.0.2 2026-06-26 10:59.31: build yices2_bindings.0.2 (3e1d2ee25272) === DEPENDENCIES (37 transitive) === base.v0.16.5 2f44546ccab2 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb bigarray-compat.1.1.0 b77790fdb90b conf-gmp.5 be11edf77089 conf-libffi.2.0.0 61d8d9bdb420 conf-pkg-config.5 d5de2c6a88f9 containers.3.17 76eb27912547 cppo.1.8.0 2d5b598feb5e csexp.1.5.2 0d959b3daabd ctypes.0.24.0 9a5656c18ecc ctypes-foreign.0.24.0 8205bbb83f65 ctypes-zarith.0.2.0 469178735e93 dune.3.23.1 db6fce3d1d3d dune-configurator.3.23.1 0dbbd35b53c7 either.1.0.0 92ff028cb2da integers.0.8.0 2af1b23359d2 num.1.6 e4a7a6e0ddbc ocaml.5.0.0 bf52e7fc3967 ocaml-base-compiler.5.0.0 8a45cc139786 ocaml-compiler-libs.v0.12.4 71197762bbb4 ocaml-config.3 814dad1b05c3 ocamlbuild.0.16.1 75321383b65a ocamlfind.1.9.8 075d2a928b3c parsexp.v0.16.0 01dc76baf183 ppx_cstubs.0.7.0 a6ceb8fff6e2 ppx_derivers.1.2.1 61fc16828bdc ppx_deriving.6.0.3 2bf16ae729b6 ppx_optcomp.v0.16.0 67b3bd7fc6cc ppxlib.0.35.0 5f6edf028cc1 re.1.14.0 8231e61c406a result.1.5 0ee9d7c0f6df sexplib.v0.16.0 c8ab2a139c8f sexplib0.v0.16.0 70e2b2881b90 stdio.v0.16.0 79e0f07df150 stdlib-shims.0.3.0 79e061defc35 zarith.1.14 fd9009e5d689 === 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-26 11:00.16: OK: build yices2_bindings.0.2 (runc: 32.6s, disk: 21KB) 2026-06-26 11:00.16: Job succeeded