2026-09-03 22:10.28: New job: build yices2_bindings.0.2 (1e8f9f3eaaec)
2026-09-03 22:10.28: Waiting for resource in pool day11-builds
2026-09-03 22:57.37: Got resource from pool day11-builds
2026-09-03 22:57.37: [profile full] build yices2_bindings.0.2
2026-09-03 22:57.37: build yices2_bindings.0.2 (1e8f9f3eaaec)
=== DEPENDENCIES (37 transitive) ===
  base.v0.16.5                                       6cca1eae8b54
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  bigarray-compat.1.1.0                              44d85fdfa949
  conf-gmp.5                                         eac5259e412f
  conf-libffi.2.0.0                                  32cf20b5f065
  conf-pkg-config.5                                  74f50f3cfe72
  containers.3.17                                    cecaea4f781c
  cppo.1.8.0                                         944ded0a89d5
  csexp.1.5.2                                        5e87c8154b21
  ctypes.0.24.0                                      f4deb7207fce
  ctypes-foreign.0.24.0                              bfa55b6ff9f0
  ctypes-zarith.0.2.0                                25c78ac50156
  dune.3.24.2                                        5163a8c8378a
  dune-configurator.3.24.2                           ed839d9cc527
  either.1.0.0                                       d7223a615084
  integers.0.8.0                                     2610f77af385
  num.1.6                                            12b282ec4146
  ocaml.5.0.0                                        3b2ae07b112c
  ocaml-base-compiler.5.0.0                          e3db6b41f84b
  ocaml-compiler-libs.v0.12.4                        882967a019f8
  ocaml-config.3                                     916d48d26793
  ocamlbuild.0.16.1                                  8b241451808e
  ocamlfind.1.9.8                                    be139ea51990
  parsexp.v0.16.0                                    992355866a7a
  ppx_cstubs.0.7.0                                   444dfa022a36
  ppx_derivers.1.2.1                                 15705098352a
  ppx_deriving.6.0.3                                 e49b1ccc3720
  ppx_optcomp.v0.16.0                                e294e19fdd16
  ppxlib.0.35.0                                      744650e651f4
  re.1.14.0                                          0af1ba5b0bcf
  result.1.5                                         85637bb9989e
  sexplib.v0.16.0                                    315abd5ff13a
  sexplib0.v0.16.0                                   51c3080041af
  stdio.v0.16.0                                      1b9ced526653
  stdlib-shims.0.3.0                                 9878a8869eac
  zarith.1.14                                        383b8f3695c3
=== 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-09-03 22:58.12: OK: build yices2_bindings.0.2 (runc: 26.6s, disk: 21KB)
2026-09-03 22:58.12: Job succeeded