Build:
- 0
2026-09-04 19:13.13: New job: build frama-c-lannotate.0.2.4 (f3e6e7bd6296) 2026-09-04 19:13.13: Waiting for resource in pool day11-builds 2026-09-04 19:22.02: Got resource from pool day11-builds 2026-09-04 19:22.02: [profile full] build frama-c-lannotate.0.2.4 2026-09-04 19:22.02: build frama-c-lannotate.0.2.4 (f3e6e7bd6296) === DEPENDENCIES (70 transitive) === alt-ergo-free.2.4.3 b68804c0f159 astring.0.8.5 dd9bc4900cb4 base-bigarray.base 31ac6860ef52 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 aab778a56da5 cairo2.0.6.5 4ab6e76472a5 camlp-streams.5.0.1 64e37c711deb camlzip.1.14 680aa1cb2b96 cmdliner.1.3.0 1ca5e2b52587 compiler-cloning.enabled 966a2e6839f0 conf-autoconf.1 788c5c60b51c conf-cairo.1 9e32499642c2 conf-gmp.5 eac5259e412f conf-gtk3.18 29bc2ce5fb33 conf-gtksourceview3.0+2 89f7273ce96d conf-pkg-config.5 74f50f3cfe72 conf-zlib.1 26591fa9352c cppo.1.8.0 13f8a6a9db93 csexp.1.5.2 9a2d2be1d04b ctypes.0.24.0 64748d311e7b dune.3.23.1 22cf6d1ea22c dune-build-info.3.23.1 4624a6ebd68c dune-configurator.3.23.1 b5f9b391f631 dune-private-libs.3.23.1 3459e7a09fb9 dune-site.3.23.1 2a5f9d895b5f dyn.3.23.1 748629c25f9d fmt.0.11.0 4ca72d98e2d4 fpath.0.7.3 313c8edc1b30 frama-c.31.0 7ab6db8e6bc1 fs-io.3.23.1 fb54d9dccb25 integers.0.8.0 cf7736a60bfc lablgtk3.3.1.5 61e6946809db lablgtk3-sourceview3.3.1.5 34802f529576 logs.0.10.0 45f87d5ce2c4 menhir.20260209 9be735011329 menhirCST.20260209 beab0009db07 menhirGLR.20260209 fc4ad5882c68 menhirLib.20260209 e6853991719c menhirSdk.20260209 fcdf98fe2e0f num.1.6 244eeeb7f1b4 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocaml-compiler-libs.v0.17.0 7f471ce172cd ocamlbuild.0.16.1 e25cf731aeb5 ocamlfind.1.9.9~preview 5e0261154b58 ocamlgraph.2.2.0 1019a1f4d717 ocplib-simplex.0.4.1 6a350905e3c2 ordering.3.23.1 f87c8a8e49ea pp.2.0.0 2b5a9fdf95a9 ppx_derivers.1.2.1 9eb1f6071ff7 ppx_deriving.6.1.3 c5531709bec1 ppx_deriving_yaml.0.4.1 c2f401ceb2cc ppx_deriving_yojson.3.10.0 07754b9ef366 ppxlib.0.38.0 0364b65424cf psmt2-frontend.0.4.0 58f8b9bc23a5 rresult.0.7.0 bd921cc3de54 seq.base 06af5ac9d1a8 sexplib0.v0.17.0 ae041225f584 stdlib-shims.0.3.0 5203a7d1e59d stdune.3.23.1 ea9680fac3da store.0.2 e52317c78f83 top-closure.3.23.1 285f9e48d41e topkg.1.1.1 2919b4412ec4 unionFind.20260226 21fcc8929b9e why3.1.8.2 50a12535a264 yaml.3.2.0 bfe4163c47f5 yojson.3.0.0 e8771a1c82bd zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [frama-c-lannotate.0.2.4: dl] [frama-c-lannotate.0.2.4: extract] -> retrieved frama-c-lannotate.0.2.4 (https://opam.ocaml.org/cache) [frama-c-lannotate: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "frama-c-lannotate" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-lannotate.0.2.4) [frama-c-lannotate: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "frama-c-lannotate" "--create-install-files" "frama-c-lannotate" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-lannotate.0.2.4) -> compiled frama-c-lannotate.0.2.4 -> installed frama-c-lannotate.0.2.4 [WARNING] Opam packages conf-autoconf.1, conf-cairo.1, conf-gmp.5, conf-gtk3.18, conf-gtksourceview3.0+2 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev zlib1g-dev - conf-autoconf.1: depends on autoconf - conf-cairo.1: depends on libcairo2-dev - conf-gmp.5: depends on libgmp-dev - conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev - conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 19:22.17: OK: build frama-c-lannotate.0.2.4 (runc: 9.1s, disk: 14KB) 2026-09-04 19:22.17: Job succeeded