Build:
- 1
- 0
2026-09-03 20:28.45: New job: build acgtk.2.1.0 (ce02def3ea9c) 2026-09-03 20:28.45: Waiting for resource in pool day11-builds 2026-09-03 22:32.00: Got resource from pool day11-builds 2026-09-03 22:32.00: [profile full] build acgtk.2.1.0 2026-09-03 22:32.00: build acgtk.2.1.0 (ce02def3ea9c) === DEPENDENCIES (39 transitive) === ANSITerminal.0.8.5 13e8bcec8259 base-bigarray.base 31ac6860ef52 base-bytes.base a07bc30a9819 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e cairo2.0.6.5 a817af124b35 cmdliner.1.3.0 c8a741506821 compiler-cloning.enabled 966a2e6839f0 conf-cairo.1 9e32499642c2 conf-pkg-config.5 74f50f3cfe72 conf-readline.1 670d33f00dcf csexp.1.5.2 58b250503765 dune.3.24.2 ec704e062ad3 dune-configurator.3.24.2 183455f65a68 fmt.0.9.0 3309cb510506 gen.1.1 e1a5ad389f76 logs.0.10.0 2d8017353ef0 menhir.20260209 381a2138ba97 menhirCST.20260209 2274e41bb75f menhirGLR.20260209 dc2d20aa75ca menhirLib.20260209 aca3f0b58574 menhirSdk.20260209 fb69c1928809 mtime.2.2.0 b61638d6c486 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocaml-compiler-libs.v0.17.0 5bb965f7a9b8 ocamlbuild.0.16.1 ccce18256717 ocamlfind.1.9.9~preview 6a4c70487cf9 ocamlgraph.2.2.0 ac6fd62ecb86 ppx_derivers.1.2.1 b98ec33f5664 ppxlib.0.38.0 3ee699583a7b readline.0.2 71c02a73ad80 sedlex.3.7 8b8ba28d7500 seq.base 28d30f6112ac sexplib0.v0.17.0 ff60a3c976cf stdlib-shims.0.3.0 8ab1e1c44699 topkg.1.1.1 3bd227743fbd yojson.3.0.0 27388ba4dc9e === STDOUT === Processing: [default: loading data] [acgtk.2.1.0: dl] [acgtk.2.1.0: extract] -> retrieved acgtk.2.1.0 (https://opam.ocaml.org/cache) [acgtk: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "acgtk" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/acgtk.2.1.0) - (cd _build/default/src/scripting && /home/opam/.opam/default/bin/menhir ./parser.mly --compile-errors ./parserMessages.messages) > _build/default/src/scripting/parserMessages.ml - Read 33 sample input sentences and 33 error messages. - (cd _build/default/src/grammars && /home/opam/.opam/default/bin/menhir --base data_parser ./file_parser.mly ./lex_parser.mly ./sig_parser.mly ./term_type_parser.mly ./bound_term_parser.mly --compile-errors ./data_parser.messages) > _build/default/src/grammars/messages.ml - Read 127 sample input sentences and 74 error messages. - (cd _build/default/src/datalog.prover && /home/opam/.opam/default/bin/menhir ./dl_parser.mly --compile-errors ./dl_parser.messages) > _build/default/src/datalog.prover/messages.ml - Read 24 sample input sentences and 11 error messages. -> compiled acgtk.2.1.0 [acgtk: dune install] + /home/opam/.opam/default/bin/dune "install" (CWD=/home/opam/.opam/default/.opam-switch/build/acgtk.2.1.0) -> installed acgtk.2.1.0 [WARNING] Opam packages conf-cairo.1 and conf-readline.1 depend on the following system packages that are no longer installed: libcairo2-dev libreadline-dev - conf-cairo.1: depends on libcairo2-dev - conf-readline.1: depends on libreadline-dev === STDERR === 2026-09-03 22:32.24: OK: build acgtk.2.1.0 (runc: 20.1s, disk: 11KB) 2026-09-03 22:32.24: Job succeeded