Build:
- 0
2026-07-26 10:52.59: New job: build ocaml-buddy.0.6.1 (d1cd07172931)
2026-07-26 10:52.59: Waiting for resource in pool day11-builds
2026-07-26 10:58.41: Got resource from pool day11-builds
2026-07-26 10:58.41: [profile full] build ocaml-buddy.0.6.1
2026-07-26 10:58.41: build ocaml-buddy.0.6.1 (d1cd07172931)
=== DEPENDENCIES (6 transitive) ===
compiler-cloning.enabled 22a431860256
ocaml.5.5.0 af24caade1d3
ocaml-base-compiler.5.5.0 5f93989ce6d7
ocaml-compiler.5.5.0 15edcf5138e5
ocamlbuild.0.16.1 ae35ea2527bb
ocamlfind.1.9.9~preview c75d6f48ab10
=== 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"
- 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 ... 20108 files and directories currently installed.)
- Preparing to unpack .../libbdd0c2_2.4+dfsg-2_amd64.deb ...
- Unpacking libbdd0c2 (2.4+dfsg-2) ...
- Selecting previously unselected package libbdd-dev.
- Preparing to unpack .../libbdd-dev_2.4+dfsg-2_amd64.deb ...
- Unpacking libbdd-dev (2.4+dfsg-2) ...
- Setting up libbdd0c2 (2.4+dfsg-2) ...
- Setting up libbdd-dev (2.4+dfsg-2) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[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 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 -cc gcc -ccopt -fPIC -c libbuddy_stubs.c
- + ocamlfind ocamlc -cc gcc -ccopt -fPIC -c libbuddy_stubs.c
- libbuddy_stubs.c: In function '_makebdd':
- libbuddy_stubs.c:91:11: error: 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: error: 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: error: 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: error: 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))))
- | ^~~~~~~~
- Command exited with code 2.
- make: *** [Makefile:41: _build/buddy.cma] Error 10
[ERROR] The compilation of ocaml-buddy.0.6.1 failed at "make all".
build failed...
=== STDERR ===
2026-07-26 10:59.08: FAILED: build ocaml-buddy.0.6.1
2026-07-26 10:59.08: Job failed: build failed: ocaml-buddy.0.6.1