Build:
- 0
2026-10-21 17:13.12: New job: build frama-c.33.0 (2e58118f85ba) 2026-10-21 17:13.12: Waiting for resource in pool day11-builds 2026-10-21 17:13.28: Got resource from pool day11-builds 2026-10-21 17:13.28: [profile odoc-master-mini] build frama-c.33.0 2026-10-21 17:13.28: build frama-c.33.0 (2e58118f85ba) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 1b3832ccaa05 astring.0.8.5 a06b5a05d23a base.v0.17.3 57d9fcff0fd6 base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 bos.0.3.0 a2498b1cbedd camlzip.1.14 fc094076331b cmdliner.1.3.0 4a977b5562c9 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 c8c950977062 csexp.1.5.2 c7eb59735dbd ctypes.0.24.0 1b1ab72fa536 dune.3.24.2 26ca61ae030f dune-build-info.3.24.2 c3710312fa0b dune-configurator.3.24.2 06c3cdccfa86 dune-private-libs.3.24.2 de03409faf49 dune-site.3.24.2 50d59f617468 dyn.3.24.2 32594e25b1b6 fmt.0.11.0 76c83f0943a6 fpath.0.7.3 f2addfc5a938 fs-io.3.24.2 7b818ccf0dae integers.0.8.0 259e16f3b7d5 jane-street-headers.v0.17.0 d25922ce9c97 jst-config.v0.17.0 511582f9a919 logs.0.10.0 395e55b9109c menhir.20260209 d1ea8c88ec3b menhirCST.20260209 4b4695d97c26 menhirGLR.20260209 aaeea559bc5d menhirLib.20260209 b3ad34a1cc55 menhirSdk.20260209 0f7f4611a4ff num.1.6 88845f95ceed ocaml.5.5.1 b4ae7c74216a ocaml-base-compiler.5.5.1 cae593a5c5a1 ocaml-compiler.5.5.1 22179c97969c ocaml-compiler-libs.v0.17.0 596d9d0b2572 ocaml_intrinsics_kernel.v0.17.2 d8cfbbf2f825 ocamlbuild.0.16.1 4352af4257a3 ocamlfind.1.9.9~preview 27baeb7469d0 ocamlgraph.2.2.0 64b84f69e827 ocplib-simplex.0.4.1 c177eceb3dfc ordering.3.24.2 e19fec0ac7b7 pp.2.0.0 335077788a9d ppx_assert.v0.17.0 0cc5b628af33 ppx_base.v0.17.0 5d38e4a4ea04 ppx_cold.v0.17.0 c0b18817d58d ppx_compare.v0.17.0 425da9e6df28 ppx_derivers.1.2.1 5eb599f8af66 ppx_deriving.6.2.0 eaf878f28729 ppx_deriving_yaml.0.5.0 cf4512f11c96 ppx_deriving_yojson.3.10.0 2dd6767e042e ppx_enumerate.v0.17.0 9d60972ca627 ppx_globalize.v0.17.2 47d7709d87ed ppx_hash.v0.17.0 4dc48b19b068 ppx_here.v0.17.0 8e9c75153f7f ppx_inline_test.v0.17.1 a0aac72fddb9 ppx_optcomp.v0.17.1 12753cb27d1e ppx_sexp_conv.v0.17.1 d0e23396daac ppxlib.0.39.0 f671a9e391c2 ppxlib_jane.v0.17.4 2d0b23edb4ef psmt2-frontend.0.4.0 68c31a2a496b rresult.0.7.0 9b69fb417afa seq.base 30a7c709b8c3 sexplib0.v0.17.0 db7a30dcb806 stdio.v0.17.0 d685c1dc40fe stdlib-shims.0.3.0 13e82099cf4a stdune.3.24.2 6b4129068eb9 store.0.2 ce943ca331f5 time_now.v0.17.0 9fa55467cf0c top-closure.3.24.2 1bb5b5b1d853 topkg.1.1.1 0676723358a8 unionFind.20260226 6eca4aad6d18 why3.1.8.2 a446b61d8bf7 yaml.3.2.0 0669e653c4c6 yojson.3.0.0 d59788801ef1 zarith.1.14 bddddc68b0d9 === 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-21 17:18.18: OK: build frama-c.33.0 (runc: 227.7s, disk: 21KB) 2026-10-21 17:18.18: Job succeeded