Build:
- 0
2026-10-24 15:17.47: New job: build frama-c.33.0 (003575b36d7f) 2026-10-24 15:17.47: Waiting for resource in pool day11-builds 2026-10-24 15:17.47: Got resource from pool day11-builds 2026-10-24 15:17.47: [profile odoc-master-mini] build frama-c.33.0 2026-10-24 15:17.47: build frama-c.33.0 (003575b36d7f) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 56611dfe2514 astring.0.8.5 cd1ffc8114c1 base.v0.17.3 b1ff527613aa base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 bos.0.3.0 73f3008af847 camlzip.1.14 caef950026c4 cmdliner.1.3.0 74f7b1e91f04 compiler-cloning.enabled 1aa529c962c5 conf-autoconf.1 5ab3ab11f357 conf-gmp.5 d0211a82c71f conf-pkg-config.5 26be2768a637 conf-zlib.1 1bee7a3e7aa2 cppo.1.8.0 a85675566f9f csexp.1.5.2 a054117ec731 ctypes.0.24.0 47f10cccd00f dune.3.24.2 6cd6abc0b8c5 dune-build-info.3.24.2 337477dae781 dune-configurator.3.24.2 bd4df6cc6c29 dune-private-libs.3.24.2 9cb629f04ccf dune-site.3.24.2 34e2b2ecacf4 dyn.3.24.2 b14292db5e5d fmt.0.11.0 465bcaba3dc5 fpath.0.7.3 0ca154020857 fs-io.3.24.2 4cd42c2a2b4c integers.0.8.0 4941a7183be6 jane-street-headers.v0.17.0 e79285e744ad jst-config.v0.17.0 f78069049fd4 logs.0.10.0 e54efe0bd7cc menhir.20260209 b784793c0b4e menhirCST.20260209 58a366acf4d5 menhirGLR.20260209 6a70f24d2935 menhirLib.20260209 161f2871718d menhirSdk.20260209 412307911f98 num.1.6 bf79e8a7f25b ocaml.5.5.2 3d66d99b0b38 ocaml-base-compiler.5.5.2 546a7f1026cd ocaml-compiler.5.5.2 956e368db607 ocaml-compiler-libs.v0.17.0 5140a7724d3b ocaml_intrinsics_kernel.v0.17.3 6750f7305423 ocamlbuild.0.16.1 2941453b8670 ocamlfind.1.9.9~preview 36cecca1627b ocamlgraph.2.2.0 19894572d80d ocplib-simplex.0.4.1 78ea51a70a9d ordering.3.24.2 e6546f318ae4 pp.2.0.0 5c056e9f41af ppx_assert.v0.17.0 2b2db77b0d87 ppx_base.v0.17.0 20e034b9fbc4 ppx_cold.v0.17.0 261b0f80c6d2 ppx_compare.v0.17.0 6e659291557d ppx_derivers.1.2.1 c9a64fb6bb7b ppx_deriving.6.2.0 cc4473bb884e ppx_deriving_yaml.0.5.0 f499bd054d6e ppx_deriving_yojson.3.10.0 93acd0d258c0 ppx_enumerate.v0.17.0 e653471255d1 ppx_globalize.v0.17.2 843ce1ff3f3a ppx_hash.v0.17.0 d305db3c515d ppx_here.v0.17.0 2e177c680685 ppx_inline_test.v0.17.1 bbe143ce8aca ppx_optcomp.v0.17.1 c04fb7c9788b ppx_sexp_conv.v0.17.1 ccedb445c027 ppxlib.0.39.0 4a1e195cb09b ppxlib_jane.v0.17.4 d6c773a3be23 psmt2-frontend.0.4.0 c377b653cc0e rresult.0.7.0 16211bc6b2d0 seq.base f73890a757db sexplib0.v0.17.0 759f5d626115 stdio.v0.17.0 6dd3d8d58b97 stdlib-shims.0.3.0 a055673b5749 stdune.3.24.2 6a2f73e32fa7 store.0.2 736b37a1d138 time_now.v0.17.0 b33ac00874a1 top-closure.3.24.2 0039a2520a4f topkg.1.1.1 466156d28400 unionFind.20260226 b7e588e1fde3 why3.1.8.2 afaca5207967 yaml.3.2.0 4d9b44643d71 yojson.3.0.0 4e4194d0512b zarith.1.14 cbecd38aadee === STDOUT === Processing: [default: loading data] [frama-c.33.0: dl] [frama-c.33.0: extract] -> retrieved frama-c.33.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.33.0) - (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 [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) - 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/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/ivette' - Installing Ivette to /home/opam/.opam/default -> installed frama-c.33.0 [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-10-24 15:21.50: OK: build frama-c.33.0 (runc: 206.2s, disk: 21KB) 2026-10-24 15:21.50: Job succeeded