Build:
- 0
2026-10-09 04:09.23: New job: build frama-c.32.0 (27ebc44b6e92) 2026-10-09 04:09.23: Waiting for resource in pool day11-builds 2026-10-09 05:13.57: Got resource from pool day11-builds 2026-10-09 05:13.57: [profile full] build frama-c.32.0 2026-10-09 05:13.57: build frama-c.32.0 (27ebc44b6e92) === DEPENDENCIES (87 transitive) === alt-ergo-free.2.4.3 3223149cedac astring.0.8.5 893b91d8cea3 base.v0.17.3 24b1ecd4b4a8 base-bigarray.base dce7dd6b7cf9 base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 bos.0.3.0 922505a56bb5 cairo2.0.6.5 0ac12de20eb2 camlp-streams.5.0.1 9de90511f42e camlzip.1.14 93e9f561c8a0 cmdliner.1.3.0 d8f0e7ae1626 compiler-cloning.enabled a13866103a7b conf-autoconf.1 8ee1e3913008 conf-cairo.1 4ac6c3832bbf conf-gmp.5 c2adbec9a470 conf-gtk3.18 6eedff6ed0e0 conf-gtksourceview3.0+2 89c25806d439 conf-pkg-config.5 e39f7209b38f conf-zlib.1 ef4bfe5217f4 cppo.1.8.0 84afa4affaf1 csexp.1.5.2 724641caf139 ctypes.0.24.0 12136dce14b2 dune.3.23.1 d67395337ac5 dune-build-info.3.23.1 f9b69b63f2b2 dune-configurator.3.23.1 2a2f7c5bf61e dune-private-libs.3.23.1 c2926bd96eed dune-site.3.23.1 453b29e6ddf4 dyn.3.23.1 9ef549bd8061 fmt.0.11.0 8edb736031b7 fpath.0.7.3 d8a6be7e9e10 fs-io.3.23.1 f9260ce2da97 integers.0.8.0 77384fe28e9e jane-street-headers.v0.17.0 a5d25ce923fb jst-config.v0.17.0 97c705005031 lablgtk3.3.1.5 53af508b452a lablgtk3-sourceview3.3.1.5 509746861fba logs.0.10.0 69c9356f4cb9 menhir.20260209 f0db861b0c42 menhirCST.20260209 28d2327dd56d menhirGLR.20260209 a1d423a8cc08 menhirLib.20260209 2c9fffa3b66c menhirSdk.20260209 d3819654dd76 num.1.6 018b8cf38592 ocaml.5.5.1 3d940b39ad2d ocaml-base-compiler.5.5.1 5cf781414aed ocaml-compiler.5.5.1 9ea90032811f ocaml-compiler-libs.v0.17.0 325d6f094888 ocaml_intrinsics_kernel.v0.17.2 99be6d89cf29 ocamlbuild.0.16.1 68333e4a0ef3 ocamlfind.1.9.9~preview 0f9da898bc9e ocamlgraph.2.2.0 ab8f838c481d ocplib-simplex.0.4.1 8456874258e2 ordering.3.23.1 6d35ddebfaf2 pp.2.0.0 205d8c1ba025 ppx_assert.v0.17.0 8d312f884717 ppx_base.v0.17.0 54edc72a3c65 ppx_cold.v0.17.0 6d6168cd83da ppx_compare.v0.17.0 989dee87c5a9 ppx_derivers.1.2.1 199a47fcccb4 ppx_deriving.6.2.0 851cec7127ba ppx_deriving_yaml.0.5.0 897b22ac1f4b ppx_deriving_yojson.3.10.0 c7cdb00a29ac ppx_enumerate.v0.17.0 53f61cb4bb15 ppx_globalize.v0.17.2 117efa91f34d ppx_hash.v0.17.0 668f6483d106 ppx_here.v0.17.0 8aae51ac010a ppx_inline_test.v0.17.1 e8f720ed8d95 ppx_optcomp.v0.17.1 49a6a5c28133 ppx_sexp_conv.v0.17.1 23207d9fd5b6 ppxlib.0.39.0 a7a72602b39d ppxlib_jane.v0.17.4 6222b4bb3c7d psmt2-frontend.0.4.0 00e8a91994b1 rresult.0.7.0 0e7d621cbb72 seq.base 4e10dd8ee191 sexplib0.v0.17.0 7efc6adf5832 stdio.v0.17.0 518598a262f3 stdlib-shims.0.3.0 f1f348e75367 stdune.3.23.1 541663efcf46 store.0.2 3cc24e84091b time_now.v0.17.0 4469a35c23a9 top-closure.3.23.1 29ad4688d39e topkg.1.1.1 52bd81f92c7a unionFind.20260226 776f59b76ed1 why3.1.8.2 38ce2dde0b5f yaml.3.2.0 0e6ecf199c75 yojson.3.0.0 30593e35eaf1 zarith.1.14 6c7ed2d54016 === STDOUT === Processing: [default: loading data] [frama-c.32.0: dl] [frama-c.32.0: extract] -> retrieved frama-c.32.0 (https://opam.ocaml.org/cache) [frama-c: dune build] + /home/opam/.opam/default/bin/dune "build" "-j39" "--release" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.32.0) - File "src/dune", line 53, characters 70-85: - 53 | (preprocess (pps ppx_deriving.eq ppx_deriving.ord ppx_deriving_yaml ppx_inline_test)) - ^^^^^^^^^^^^^^^ - Error: Library "ppx_inline_test" not found. - -> required by library "frama-c.kernel" in _build/default/src - -> required by executable empty_file in src/init/boot/dune:31 - -> 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 - (cd _build/default/src/plugins/e-acsl/contrib/libdlmalloc && /usr/bin/make) - CC dlmalloc.c - AR libeacsl-dlmalloc.a - RANLIB libeacsl-dlmalloc.a - ar: `u' modifier ignored since `D' is the default (see `U') [ERROR] The compilation of frama-c.32.0 failed at "dune build -j39 --release --promote-install-files=false @install". build failed... === STDERR === 2026-10-09 05:17.18: FAILED: build frama-c.32.0 2026-10-09 05:17.18: Job failed: build failed: frama-c.32.0