ocaml-docs-ci

Build:
2026-06-20 15:52.38: New job: build ocaml-buddy.0.6.1 (3946333b1db4)
2026-06-20 15:52.38: Waiting for resource in pool day11-builds
2026-06-20 15:59.50: Got resource from pool day11-builds
2026-06-20 15:59.50: [profile full] build ocaml-buddy.0.6.1
2026-06-20 15:59.50: build ocaml-buddy.0.6.1 (3946333b1db4)
=== DEPENDENCIES (6 transitive) ===
  compiler-cloning.enabled                           0d2606125f88
  ocaml.5.5.0                                        1b4132bddf48
  ocaml-base-compiler.5.5.0                          1901c3a760c1
  ocaml-compiler.5.5.0                               5f593a0b4a8c
  ocamlbuild.0.16.1                                  b485a4f69c01
  ocamlfind.1.9.8                                    5b46f9d92bbd
=== STDOUT ===
Processing: [default: loading data]

The following system packages will first need to be installed:
    libbdd-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libbdd-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libbdd0c2.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18247 files and directories currently installed.)
- Preparing to unpack .../libbdd0c2_2.4+dfsg-1_amd64.deb ...
- Unpacking libbdd0c2 (2.4+dfsg-1) ...
- Selecting previously unselected package libbdd-dev.
- Preparing to unpack .../libbdd-dev_2.4+dfsg-1_amd64.deb ...
- Unpacking libbdd-dev (2.4+dfsg-1) ...
- Setting up libbdd0c2 (2.4+dfsg-1) ...
- Setting up libbdd-dev (2.4+dfsg-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u14) ...
[ocaml-buddy.0.6.1: dl]
[ocaml-buddy.0.6.1: extract]
-> retrieved ocaml-buddy.0.6.1  (https://opam.ocaml.org/cache)
[ocaml-buddy: make all]
+ /usr/bin/make "all" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-buddy.0.6.1)
- ocamlbuild -classic-display -use-ocamlfind buddy.cma
- + ocamlfind ocamlc -config
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + 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: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -cc gcc -ccopt -fPIC -c libbuddy_stubs.c
- + ocamlfind ocamlc -cc gcc -ccopt -fPIC -c libbuddy_stubs.c
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- libbuddy_stubs.c: In function '_makebdd':
- libbuddy_stubs.c:91:11: warning: implicit declaration of function 'alloc_custom'; did you mean 'caml_alloc_custom'? [-Wimplicit-function-declaration]
-    91 |   *vptr = alloc_custom(&bddops, sizeof (BDD), used, wrapper_ocamlgc_max);
-       |           ^~~~~~~~~~~~
-       |           caml_alloc_custom
- libbuddy_stubs.c: In function 'stream_of_channel':
- libbuddy_stubs.c:149:5: warning: implicit declaration of function 'caml_failwith' [-Wimplicit-function-declaration]
-   149 |     caml_failwith("failed to duplicate caml channel");
-       |     ^~~~~~~~~~~~~
- libbuddy_stubs.c: In function 'wrapper_bdd_save':
- libbuddy_stubs.c:239:5: warning: implicit declaration of function 'caml_raise_constant' [-Wimplicit-function-declaration]
-   239 |     caml_raise_constant(*caml_named_value("buddy_exn_IOError"));
-       |     ^~~~~~~~~~~~~~~~~~~
- libbuddy_stubs.c: In function 'wrapper_bdd_allsat':
- libbuddy_stubs.c:319:14: warning: initialization discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
-   319 |   value* f = caml_named_value("__allsat_handler");
-       |              ^~~~~~~~~~~~~~~~
- In file included from libbuddy_stubs.c:16:
- libbuddy_stubs.c: In function 'wrapper_bdd_createset':
- libbuddy_stubs.c:359:20: warning: implicit declaration of function 'callback'; did you mean 'calloc'? [-Wimplicit-function-declaration]
-   359 |       if (Bool_val(callback(f, Val_int(v))))
-       |                    ^~~~~~~~
- /home/opam/.opam/default/lib/ocaml/caml/mlvalues.h:80:27: note: in definition of macro 'Long_val'
-    80 | #define Long_val(x)     ((x) >> 1)
-       |                           ^
- /home/opam/.opam/default/lib/ocaml/caml/mlvalues.h:464:21: note: in expansion of macro 'Int_val'
-   464 | #define Bool_val(x) Int_val(x)
-       |                     ^~~~~~~
- libbuddy_stubs.c:359:11: note: in expansion of macro 'Bool_val'
-   359 |       if (Bool_val(callback(f, Val_int(v))))
-       |           ^~~~~~~~
- + ocamlfind ocamlmklib -o buddy_stubs -lbdd libbuddy_stubs.o
- + ocamlfind ocamlmklib -o buddy_stubs -lbdd libbuddy_stubs.o
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- /usr/bin/ld: warning: libbuddy_stubs.o: requires executable stack (because the .note.GNU-stack section is executable)
- + ocamlfind ocamldep -modules buddy.mli > buddy.mli.depends
- + ocamlfind ocamlc -c -ccopt -O9 -o buddy.cmi buddy.mli
- + ocamlfind ocamlc -c -ccopt -O9 -o buddy.cmi buddy.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules buddy.ml > buddy.ml.depends
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -ccopt -O9 -o buddy.cmo buddy.ml
- + ocamlfind ocamlc -c -ccopt -O9 -o buddy.cmo buddy.ml
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -a -dllib -lbuddy_stubs buddy.cmo -o buddy.cma
- + ocamlfind ocamlc -a -dllib -lbuddy_stubs buddy.cmo -o buddy.cma
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + 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: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
[ocaml-buddy: make opt]
+ /usr/bin/make "opt" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-buddy.0.6.1)
- ocamlbuild -classic-display -use-ocamlfind buddy.cmxa
- + ocamlfind ocamlc -config
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -config
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlopt -c -ccopt -O9 -o buddy.cmx buddy.ml
- + ocamlfind ocamlopt -c -ccopt -O9 -o buddy.cmx buddy.ml
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlopt -a -cclib -lbdd -cclib -lbuddy_stubs buddy.cmx -o buddy.cmxa
- + ocamlfind ocamlopt -a -cclib -lbdd -cclib -lbuddy_stubs buddy.cmx -o buddy.cmxa
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- ocamlbuild -classic-display -use-ocamlfind buddy.cmxs
- + ocamlfind ocamlc -config
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -config
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlopt -shared libbuddy_stubs.a buddy.cmx -o buddy.cmxs
- + ocamlfind ocamlopt -shared libbuddy_stubs.a buddy.cmx -o buddy.cmxs
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- /usr/bin/ld: warning: libbuddy_stubs.o: requires executable stack (because the .note.GNU-stack section is executable)
-> compiled  ocaml-buddy.0.6.1
[ocaml-buddy: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-buddy.0.6.1)
- test -d //home/opam/.opam/default/lib/ocaml || mkdir -p //home/opam/.opam/default/lib/ocaml
- ocamlfind install -ldconf ignore -patch-version 0.1 buddy META _build/buddy.cma _build/buddy.cmxa _build/buddy.a _build/libbuddy_stubs.a _build/buddy.cmi buddy.mli _build/buddy.cmx _build/dllbuddy_stubs.so
- Installed /home/opam/.opam/default/lib/buddy/buddy.cmx
- Installed /home/opam/.opam/default/lib/buddy/buddy.mli
- Installed /home/opam/.opam/default/lib/buddy/buddy.cmi
- Installed /home/opam/.opam/default/lib/buddy/libbuddy_stubs.a
- Installed /home/opam/.opam/default/lib/buddy/buddy.a
- Installed /home/opam/.opam/default/lib/buddy/buddy.cmxa
- Installed /home/opam/.opam/default/lib/buddy/buddy.cma
- Installed /home/opam/.opam/default/lib/stublibs/dllbuddy_stubs.so
- Installed /home/opam/.opam/default/lib/stublibs/dllbuddy_stubs.so.owner
- Installed /home/opam/.opam/default/lib/buddy/META
-> installed ocaml-buddy.0.6.1

=== STDERR ===

2026-06-20 15:59.58: OK: build ocaml-buddy.0.6.1 (runc: 4.7s, disk: 0KB)
2026-06-20 15:59.58: Job succeeded