Build:
- 0
2026-10-15 16:42.47: New job: build frama-c.33.0 (2b0d57f08d25) 2026-10-15 16:42.47: Waiting for resource in pool day11-builds 2026-10-15 16:43.02: Got resource from pool day11-builds 2026-10-15 16:43.02: [profile odoc-master-mini] build frama-c.33.0 2026-10-15 16:43.02: build frama-c.33.0 (2b0d57f08d25) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 531d50956bd3 astring.0.8.5 893b91d8cea3 base.v0.17.3 8b98f375007f base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 bos.0.3.0 922505a56bb5 camlzip.1.14 93e9f561c8a0 cmdliner.1.3.0 d8f0e7ae1626 compiler-cloning.enabled a13866103a7b conf-autoconf.1 8ee1e3913008 conf-gmp.5 c2adbec9a470 conf-pkg-config.5 e39f7209b38f conf-zlib.1 ef4bfe5217f4 cppo.1.8.0 2b3dfd3df17b csexp.1.5.2 b96efdeb2d5f ctypes.0.24.0 910d909c5832 dune.3.24.2 99dad2c0d74f dune-build-info.3.24.2 cdb020c56c3d dune-configurator.3.24.2 7520decaab4b dune-private-libs.3.24.2 d0379afb186c dune-site.3.24.2 b1be78850591 dyn.3.24.2 c5d2c71ea4cf fmt.0.11.0 8edb736031b7 fpath.0.7.3 d8a6be7e9e10 fs-io.3.24.2 773f4d7f5418 integers.0.8.0 972bbe4acdaf jane-street-headers.v0.17.0 4247a96d72eb jst-config.v0.17.0 1e36085ae1b3 logs.0.10.0 69c9356f4cb9 menhir.20260209 6b72f2d991cf menhirCST.20260209 a445cc603682 menhirGLR.20260209 2a99c4d7f310 menhirLib.20260209 76d3baf864a6 menhirSdk.20260209 67dcb7a22c41 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 36d946ae0c60 ocaml_intrinsics_kernel.v0.17.2 559f7a681726 ocamlbuild.0.16.1 68333e4a0ef3 ocamlfind.1.9.9~preview 0f9da898bc9e ocamlgraph.2.2.0 fb5990b396d9 ocplib-simplex.0.4.1 8456874258e2 ordering.3.24.2 374bb3d62956 pp.2.0.0 a5cbef7084cf ppx_assert.v0.17.0 a71aa60d9580 ppx_base.v0.17.0 eca7d311bba9 ppx_cold.v0.17.0 0a11b1dc6088 ppx_compare.v0.17.0 608ee7fda56b ppx_derivers.1.2.1 44a67ab5a411 ppx_deriving.6.2.0 096fdb8d29e4 ppx_deriving_yaml.0.5.0 7ec448077050 ppx_deriving_yojson.3.10.0 f5224c195fef ppx_enumerate.v0.17.0 b5853d01cf9e ppx_globalize.v0.17.2 433906859b98 ppx_hash.v0.17.0 4241eaf96bcc ppx_here.v0.17.0 75b7a0c4dad8 ppx_inline_test.v0.17.1 b4039bc77606 ppx_optcomp.v0.17.1 63160a8271ab ppx_sexp_conv.v0.17.1 03c271404d47 ppxlib.0.39.0 3302a1063e64 ppxlib_jane.v0.17.4 81db0f55c78b psmt2-frontend.0.4.0 2e4d1555d0e9 rresult.0.7.0 0e7d621cbb72 seq.base 4e10dd8ee191 sexplib0.v0.17.0 4ce90ffe3c98 stdio.v0.17.0 5a340f84e022 stdlib-shims.0.3.0 d3a31a7e6bc1 stdune.3.24.2 c5dc985f5123 store.0.2 36f474d41918 time_now.v0.17.0 bce240fe7dd1 top-closure.3.24.2 d158c80b1dbd topkg.1.1.1 52bd81f92c7a unionFind.20260226 4cc84b25a4de why3.1.8.2 b5f243132ca8 yaml.3.2.0 2558dadb81bb yojson.3.0.0 e7f2da0109c8 zarith.1.14 6c7ed2d54016 === 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-15 16:46.53: OK: build frama-c.33.0 (runc: 214.7s, disk: 21KB) 2026-10-15 16:46.53: Job succeeded