Build:
- 0
2026-10-22 04:05.37: New job: build frama-c.30.0 (530001913794) 2026-10-22 04:05.37: Waiting for resource in pool day11-builds 2026-10-22 05:36.02: Got resource from pool day11-builds 2026-10-22 05:36.02: [profile full] build frama-c.30.0 2026-10-22 05:36.04: build frama-c.30.0 (530001913794) === DEPENDENCIES (68 transitive) === alt-ergo-free.2.4.3 ee09cd2b0d03 astring.0.8.5 d494cd16bcda base-bigarray.base af90e15e33c9 base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 bos.0.3.0 2729ce029dd5 cairo2.0.6.5 0f73a47919c6 camlp-streams.5.0.1 d89641322931 camlzip.1.14 ac0484cf4928 cmdliner.1.3.0 9593c76ba0c4 conf-autoconf.1 5ab3ab11f357 conf-cairo.1 86f959ec30fa conf-gmp.5 d0211a82c71f conf-gtk3.18 af2b3a6823e6 conf-gtksourceview3.0+2 198996bbebc5 conf-pkg-config.5 26be2768a637 conf-zlib.1 1bee7a3e7aa2 cppo.1.8.0 3a5cd1a8832e csexp.1.5.2 64363d7c0e68 ctypes.0.24.0 6ef1aeaa5297 dune.3.23.1 c5f39b929bc8 dune-build-info.3.23.1 a012da1ed661 dune-configurator.3.23.1 1f14014cd34f dune-private-libs.3.23.1 a400d5d4d7d2 dune-site.3.23.1 3e8aac870a76 dyn.3.23.1 ef2a8f6b7716 fmt.0.11.0 245c07236fee fpath.0.7.3 6a54b8a1d016 fs-io.3.23.1 37383ea763b3 integers.0.8.0 92b469a22a8c lablgtk3.3.1.5 fa091385265c lablgtk3-sourceview3.3.1.5 d739fdbcd505 logs.0.10.0 4a5a3778f5a8 menhir.20260209 032c04b6d404 menhirCST.20260209 543128089183 menhirGLR.20260209 ecb94159275f menhirLib.20260209 851c39234f16 menhirSdk.20260209 ab4208b3d597 num.1.6 b92e78478629 ocaml.5.3.0 92450889936d ocaml-base-compiler.5.3.0 cdfe4719bb80 ocaml-compiler.5.3.0 c2fd8a2e2b36 ocaml-compiler-libs.v0.17.0 5e544d15822b ocaml-config.3 8168bc07a451 ocamlbuild.0.16.1 62fb1a194cf7 ocamlfind.1.9.8 3f8ff7716be7 ocamlgraph.2.2.0 2fab564c5649 ocplib-simplex.0.4.1 f91df1190916 ordering.3.23.1 fd957f81ef85 pp.2.0.0 1e9461e18c38 ppx_derivers.1.2.1 cb7de1415c69 ppx_deriving.6.2.0 916265922c8b ppx_deriving_yaml.0.5.0 413c960de97f ppx_deriving_yojson.3.10.0 3e79ea07c2b6 ppxlib.0.39.0 680c8b494183 psmt2-frontend.0.4.0 8c02beb4adc8 rresult.0.7.0 3e854bdaaed6 seq.base 5d1f26dc9dba sexplib0.v0.17.0 a9aec357df59 stdlib-shims.0.3.0 cb63cc1c41e6 stdune.3.23.1 dcb719c107e8 top-closure.3.23.1 f11e3305c7fd topkg.1.1.1 f53d1edc1273 unionFind.20250818 bd1952f600cc why3.1.7.2 2903608417fa yaml.3.2.0 da98a29baaec yojson.3.0.0 58082f357f29 zarith.1.14 afef9a1c1f73 === STDOUT === Processing: [default: loading data] [frama-c.30.0: dl] [frama-c.30.0: extract] -> retrieved frama-c.30.0 (https://opam.ocaml.org/cache) [frama-c: dune build] + /home/opam/.opam/default/bin/dune "build" "-j39" "-p" "frama-c" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.30.0) - File "src/dune", line 55, characters 52-69: - 55 | (preprocess (pps ppx_deriving.eq ppx_deriving.ord ppx_deriving_yaml)) - ^^^^^^^^^^^^^^^^^ - Error: Library "ppx_deriving_yaml" not found. - -> required by library "frama-c.kernel" in _build/default/src - -> required by executable empty_file in src/init/boot/dune:45 - -> required by _build/default/src/init/boot/empty_file.exe - -> required by _build/install/default/bin/frama-c - -> required by _build/default/frama-c.install - -> required by alias install [ERROR] The compilation of frama-c.30.0 failed at "dune build -j39 -p frama-c --promote-install-files=false @install". build failed... === STDERR === 2026-10-22 05:37.06: FAILED: build frama-c.30.0 2026-10-22 05:37.06: Job failed: build failed: frama-c.30.0