Build:
- 0
2026-09-04 00:23.20: New job: build frama-c.31.0 (146f8c682111) 2026-09-04 00:23.20: Waiting for resource in pool day11-builds 2026-09-04 00:50.49: Got resource from pool day11-builds 2026-09-04 00:50.49: [profile full] build frama-c.31.0 2026-09-04 00:50.50: build frama-c.31.0 (146f8c682111) === DEPENDENCIES (70 transitive) === alt-ergo-free.2.4.3 cc68a8aac59d astring.0.8.5 79621710c180 base-bigarray.base 31ac6860ef52 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 591d757ce531 cairo2.0.6.5 17963b6f0b90 camlp-streams.5.0.1 92562b7948d6 camlzip.1.14 84e26f7ae143 cmdliner.1.3.0 194b6d1271c0 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 ec7740b1e4c4 csexp.1.5.2 5f475050b55c ctypes.0.24.0 790ae9dc9a3d dune.3.23.1 337b5aa650a5 dune-build-info.3.23.1 7a4433b116bc dune-configurator.3.23.1 43620f3bdeff dune-private-libs.3.23.1 0eebc06728ef dune-site.3.23.1 7421451dca58 dyn.3.23.1 a7c978d3a81b fmt.0.11.0 1588bbb30c25 fpath.0.7.3 82bf6b1d1146 fs-io.3.23.1 3e05fa5c992c integers.0.8.0 49a080ce40cd lablgtk3.3.1.5 2c282ab0a473 lablgtk3-sourceview3.3.1.5 4dfb16e67d85 logs.0.10.0 c61522078f47 menhir.20260209 10f2ac6bc604 menhirCST.20260209 344207c6a3bc menhirGLR.20260209 e6ff3e91c3ea menhirLib.20260209 123c2b8f08f4 menhirSdk.20260209 b5b1382cd4d5 num.1.6 c9b6c2a04dcf ocaml.5.3.0 6ff460273d57 ocaml-base-compiler.5.3.0 ab889490af4f ocaml-compiler.5.3.0 a36aaaa91913 ocaml-compiler-libs.v0.17.0 c572e21ee58e ocaml-config.3 c2e80612d111 ocamlbuild.0.16.1 21bfaf9ec475 ocamlfind.1.9.8 8c4f353d7b71 ocamlgraph.2.2.0 bcf48d872d66 ocplib-simplex.0.4.1 51d40761f37f ordering.3.23.1 51aca347ffc1 parsexp.v0.17.0 225f9ffcc51f pp.2.0.0 399ffbe6801f ppx_derivers.1.2.1 6bc57e5d6ff1 ppx_deriving.6.1.3 35f77a7c6978 ppx_deriving_yaml.0.4.1 6ab7d36f09a6 ppx_deriving_yojson.3.10.0 ee9b5f58b53b ppxlib.0.38.0 c22b8af5cc64 psmt2-frontend.0.4.0 5f9622aefd96 rresult.0.7.0 fb60ace6b91d seq.base 5444851aa742 sexplib.v0.17.0 f82ff31cccb9 sexplib0.v0.17.0 1cce1a555ce8 stdlib-shims.0.3.0 0f8781264d2d stdune.3.23.1 77d9b62e2196 top-closure.3.23.1 071961481be8 topkg.1.1.1 58cf4512c849 unionFind.20250818 301a96a3f617 why3.1.8.2 3d3b55ba4d4b yaml.3.2.0 dda2c531f388 yojson.3.0.0 8825b6a18b7d zarith.1.14 787bc5ecf3ea === STDOUT === Processing: [default: loading data] [frama-c.31.0: dl] [frama-c.31.0: extract] -> retrieved frama-c.31.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.31.0) - (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') -> compiled frama-c.31.0 [frama-c: make install] + /usr/bin/make "RELEASE=yes" "PREFIX=/home/opam/.opam/default" "MANDIR=/home/opam/.opam/default/man" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.31.0) - Installing Frama-C to current Opam switch - Copying and relocating files... - (done) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/frama-c.31.0/ivette' - [Ivette] Generating TypeScript API - ./api.sh src - [server-tsc] Package frama-c/kernel/api/data - [server-tsc] Package frama-c/kernel/api/ast - [server-tsc] Package frama-c/kernel/api/properties - [server-tsc] Package frama-c/kernel/api/project - [server-tsc] Package frama-c/kernel/api/parameters - [server-tsc] Package frama-c/kernel/api/services - [server-tsc] Package frama-c/plugins/callgraph/api - [server-tsc] Package frama-c/plugins/dive/api - [server-tsc] Package frama-c/plugins/eva/api/general - [server-tsc] Package frama-c/plugins/eva/api/values - [server-tsc] Package frama-c/plugins/impact/api/impact - [server-tsc] Package frama-c/plugins/pivot/api/general - [server-tsc] Package frama-c/plugins/region/api - [server-tsc] Package frama-c/plugins/studia/api/studia - [server-tsc] Package frama-c/plugins/wp/api - [server-tsc] Package frama-c/plugins/wp/api/tip - [server-tsc] Package frama-c/plugins/wp/api/tac - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/frama-c.31.0/ivette' - Installing Ivette to /home/opam/.opam/default -> installed frama-c.31.0 [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 00:55.54: OK: build frama-c.31.0 (runc: 282.2s, disk: 21KB) 2026-09-04 00:55.54: Job succeeded