Build:
- 0
2026-09-04 19:21.25: New job: build frama-c.33.0~beta (973336a05b45) 2026-09-04 19:21.25: Waiting for resource in pool day11-builds 2026-09-04 19:27.58: Got resource from pool day11-builds 2026-09-04 19:27.58: [profile full] build frama-c.33.0~beta 2026-09-04 19:27.58: build frama-c.33.0~beta (973336a05b45) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 ce2815a2476e astring.0.8.5 dd9bc4900cb4 base.v0.17.3 88b199545512 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 aab778a56da5 camlzip.1.14 680aa1cb2b96 cmdliner.1.3.0 1ca5e2b52587 compiler-cloning.enabled 966a2e6839f0 conf-autoconf.1 788c5c60b51c conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-zlib.1 26591fa9352c cppo.1.8.0 3a29ac6f7bab csexp.1.5.2 8c096e7de322 ctypes.0.24.0 df76887af7b0 dune.3.24.2 25fbaa318de6 dune-build-info.3.24.2 12225e340a6d dune-configurator.3.24.2 517e3f9cad4b dune-private-libs.3.24.2 7c265b9be835 dune-site.3.24.2 9a481ee29cf0 dyn.3.24.2 5dada6330501 fmt.0.11.0 4ca72d98e2d4 fpath.0.7.3 313c8edc1b30 fs-io.3.24.2 060f101561ad integers.0.8.0 9e0dce9e7394 jane-street-headers.v0.17.0 f18028c937c5 jst-config.v0.17.0 37eb02483155 logs.0.10.0 45f87d5ce2c4 menhir.20260209 c1f23eb38523 menhirCST.20260209 0c0a8e122478 menhirGLR.20260209 55b8cfc3f8b3 menhirLib.20260209 e790c6b1b683 menhirSdk.20260209 5256bfaa72f1 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 235024900ef6 ocaml_intrinsics_kernel.v0.17.2 10a82d6157c1 ocamlbuild.0.16.1 e25cf731aeb5 ocamlfind.1.9.9~preview 5e0261154b58 ocamlgraph.2.2.0 c8e04eceddc9 ocplib-simplex.0.4.1 6a350905e3c2 ordering.3.24.2 a9318a614b10 pp.2.0.0 7dbe7ecc6edb ppx_assert.v0.17.0 82f34672b596 ppx_base.v0.17.0 9c31b43f583d ppx_cold.v0.17.0 ec043906a439 ppx_compare.v0.17.0 80e0df88ac09 ppx_derivers.1.2.1 8d5f777c17ee ppx_deriving.6.1.3 39452778e8ff ppx_deriving_yaml.0.4.1 65e74cd13c62 ppx_deriving_yojson.3.10.0 b7591e0b1ee4 ppx_enumerate.v0.17.0 970b405dbc8b ppx_globalize.v0.17.2 f10cd28a39ed ppx_hash.v0.17.0 2ed6f4eb522a ppx_here.v0.17.0 8857ff0d96d1 ppx_inline_test.v0.17.1 ef55758fcaf7 ppx_optcomp.v0.17.1 183524b02a4e ppx_sexp_conv.v0.17.1 0740e0c56f6f ppxlib.0.38.0 ac854f4fbd20 ppxlib_jane.v0.17.4 7ffd450ab5af psmt2-frontend.0.4.0 44000097d65c rresult.0.7.0 bd921cc3de54 seq.base 06af5ac9d1a8 sexplib0.v0.17.0 055934f8e366 stdio.v0.17.0 d79f7548eed3 stdlib-shims.0.3.0 cc542b70be6c stdune.3.24.2 6817312bfecb store.0.2 6f7b560d5c23 time_now.v0.17.0 2f4e048c687f top-closure.3.24.2 b79e077e20ae topkg.1.1.1 2919b4412ec4 unionFind.20260226 bd3e88adde47 why3.1.8.2 86bf33519346 yaml.3.2.0 0ac694871695 yojson.3.0.0 7ef0eaa5587b zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [frama-c.33.0~beta: dl] [frama-c.33.0~beta: extract] -> retrieved frama-c.33.0~beta (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.33.0~beta) - (cd _build/default/src/plugins/e-acsl/contrib/libdlmalloc && /usr/bin/make) > _build/default/src/plugins/e-acsl/libeacsl-dlmalloc.log - ar: `u' modifier ignored since `D' is the default (see `U') -> compiled frama-c.33.0~beta [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.33.0~beta) - 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.33.0~beta/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/signals - [server-tsc] Package frama-c/plugins/eva/api/callstack - [server-tsc] Package frama-c/plugins/eva/api/values - [server-tsc] Package frama-c/plugins/eva/api/taint - [server-tsc] Package frama-c/plugins/eva/api/stats - [server-tsc] Package frama-c/plugins/eva/api/mthread - [server-tsc] Package frama-c/plugins/eva/api/ast - [server-tsc] Package frama-c/plugins/eva/api/analysis - [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/slicing/api/slicing - [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 - [server-tsc] Package frama-c/plugins/wp/api/strategydebugger - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/frama-c.33.0~beta/ivette' - Installing Ivette to /home/opam/.opam/default -> installed frama-c.33.0~beta [WARNING] Opam packages conf-autoconf.1, conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libgmp-dev zlib1g-dev - conf-autoconf.1: depends on autoconf - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 19:35.41: OK: build frama-c.33.0~beta (runc: 445.4s, disk: 21KB) 2026-09-04 19:35.41: Job succeeded