Build:
- 0
2026-10-07 21:20.45: New job: build dolmen.0.10 (3611d0ab3919) 2026-10-07 21:20.45: Waiting for resource in pool day11-builds 2026-10-07 21:22.02: Got resource from pool day11-builds 2026-10-07 21:22.02: [profile oxcaml-odoc-master] build dolmen.0.10 2026-10-07 21:22.02: build dolmen.0.10 (3611d0ab3919) === DEPENDENCIES (20 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 cmdliner.1.3.0 7b680d20f6ec conf-autoconf.1 8ee1e3913008 conf-which.1 65c43ca119c3 dune.3.22.2+ox 32ff52c6657f fmt.0.11.0 9cb0f1e0f132 hmap.0.8.1 8b6bf54a4a5c menhir.20250912 052d8d8ce922 menhirCST.20250912 e57ef077a5ea menhirLib.20250912 24bcc5163690 menhirSdk.20250912 352de3570758 ocaml.5.2.0 af0590f41c06 ocaml-config.3 652553152315 ocaml-variants.5.2.0+ox cb60d024b20c ocamlbuild.0.16.1+ox 486707329b23 ocamlfind.1.9.8+ox 252ac26d02be oxcaml-compiler.5.2.0minus25 1356a22c5761 seq.base 213db8c3f54a topkg.1.1.1+ox aa20e633dff5 === STDOUT === Processing: [default: loading data] [dolmen.0.10: dl] [dolmen.0.10: extract] -> retrieved dolmen.0.10 (https://opam.ocaml.org/cache) [dolmen: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "dolmen" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/dolmen.0.10) - (cd _build/default/src/languages/dimacs && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/dimacs/syntax_messages.ml - Read 18 sample input sentences and 18 error messages. - (cd _build/default/src/languages/icnf && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/icnf/syntax_messages.ml - Read 20 sample input sentences and 20 error messages. - (cd _build/default/src/languages/zf && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/zf/syntax_messages.ml - Read 128 sample input sentences and 128 error messages. - (cd _build/default/src/languages/smtlib2/v2.6/response && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/response/syntax_messages.ml - Read 109 sample input sentences and 109 error messages. - (cd _build/default/src/languages/ae && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/ae/syntax_messages.ml - Read 241 sample input sentences and 241 error messages. - (cd _build/default/src/languages/smtlib2/poly && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/poly/syntax_messages.ml - Read 321 sample input sentences and 321 error messages. - (cd _build/default/src/languages/smtlib2/v2.6/script && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/script/syntax_messages.ml - Read 255 sample input sentences and 255 error messages. - (cd _build/default/src/languages/tptp/v6.3.0 && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/tptp/v6.3.0/syntax_messages.ml - Read 342 sample input sentences and 342 error messages. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/standard/.dolmen_std.objs/byte -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/hmap -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I src/interface/.dolmen_intf.objs/byte -I src/languages/line/.dolmen_line.objs/byte -cmi-file src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.cmi -no-alias-deps -open Dolmen_std -o src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.cmo -c -impl src/standard/loc.ml) - File "src/standard/loc.ml", line 70, characters 2-27: - 70 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3 -g -O3 -I src/standard/.dolmen_std.objs/byte -I src/standard/.dolmen_std.objs/native -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/hmap -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I src/interface/.dolmen_intf.objs/byte -I src/interface/.dolmen_intf.objs/native -I src/languages/line/.dolmen_line.objs/byte -I src/languages/line/.dolmen_line.objs/native -cmi-file src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.cmi -no-alias-deps -open Dolmen_std -o src/standard/.dolmen_std.objs/native/dolmen_std__Loc.cmx -c -impl src/standard/loc.ml) - File "src/standard/loc.ml", line 70, characters 2-27: - 70 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. -> compiled dolmen.0.10 -> installed dolmen.0.10 === STDERR === 2026-10-07 21:24.35: OK: build dolmen.0.10 (runc: 138.8s, disk: 12KB) 2026-10-07 21:24.35: Job succeeded