Build:
- 0
2026-07-24 14:41.37: New job: build frama-c.33.0~beta (d9b0a54e09d7) 2026-07-24 14:41.37: Waiting for resource in pool day11-builds 2026-07-24 14:52.05: Got resource from pool day11-builds 2026-07-24 14:52.05: [profile full] build frama-c.33.0~beta 2026-07-24 14:52.05: build frama-c.33.0~beta (d9b0a54e09d7) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 1115205a0fb3 astring.0.8.5 2a3aca332880 base.v0.17.3 423ea3917801 base-threads.base afe16a8e71c3 base-unix.base 73c0a5fdd34a bos.0.3.0 566e8a0448dd camlzip.1.14 ce3588de8c27 cmdliner.1.3.0 6c4a88273317 compiler-cloning.enabled 22a431860256 conf-autoconf.0.2 c64eba8be016 conf-gmp.5 be8168159001 conf-pkg-config.5 2c611009363a conf-zlib.1 9b96a8154eb2 cppo.1.8.0 4a096e8ded10 csexp.1.5.2 9b58e29a8bf1 ctypes.0.24.0 7b5a58116582 dune.3.24.1 0d2a3ba8bfb9 dune-build-info.3.24.1 e981e5288fd4 dune-configurator.3.24.1 29a4528f5159 dune-private-libs.3.24.1 7b5a413dcf1f dune-site.3.24.1 c6a2b0fb5e56 dyn.3.24.1 e090a8b00f05 fmt.0.11.0 403e631c7da1 fpath.0.7.3 bb7f3e0adede fs-io.3.24.1 2adf795a30c8 integers.0.8.0 62aece7f10dd jane-street-headers.v0.17.0 2c2dbbc37e04 jst-config.v0.17.0 42fedaf1a132 logs.0.10.0 f5b43fc00cf5 menhir.20260209 2793f077669c menhirCST.20260209 f3d31f558a85 menhirGLR.20260209 f23c6421a979 menhirLib.20260209 29d51cfce968 menhirSdk.20260209 32863c1d5978 num.1.6 2c9fca9035b8 ocaml.5.5.0 af24caade1d3 ocaml-base-compiler.5.5.0 5f93989ce6d7 ocaml-compiler.5.5.0 15edcf5138e5 ocaml-compiler-libs.v0.17.0 143ee4c05724 ocaml_intrinsics_kernel.v0.17.2 2b960c181309 ocamlbuild.0.16.1 ae35ea2527bb ocamlfind.1.9.8 86ca4a7260d8 ocamlgraph.2.2.0 fd4a77fd482b ocplib-simplex.0.4.1 ff56a83989af ordering.3.24.1 4416a759a587 pp.2.0.0 99781a199d87 ppx_assert.v0.17.0 01de86dcbfa9 ppx_base.v0.17.0 5c3136e524fc ppx_cold.v0.17.0 fcdc3979f010 ppx_compare.v0.17.0 428ea905bebc ppx_derivers.1.2.1 728b609b3158 ppx_deriving.6.1.2 70ac2bb89706 ppx_deriving_yaml.0.4.1 47704a665295 ppx_deriving_yojson.3.10.0 38cddb3a120b ppx_enumerate.v0.17.0 c594ea9bafee ppx_globalize.v0.17.2 9ff1c6d10a42 ppx_hash.v0.17.0 36fc9c341dd0 ppx_here.v0.17.0 698244294228 ppx_inline_test.v0.17.1 810fa94fe617 ppx_optcomp.v0.17.1 e11ffdafc9e5 ppx_sexp_conv.v0.17.1 b50aec938762 ppxlib.0.38.0 9f56b9c3a08f ppxlib_jane.v0.17.4 f06f346aac2f psmt2-frontend.0.4.0 5190a2ffd7bc rresult.0.7.0 393d8fa48965 seq.base ac039311c358 sexplib0.v0.17.0 2f6793719818 stdio.v0.17.0 15055871a7e8 stdlib-shims.0.3.0 4bbd4a6c7a07 stdune.3.24.1 5ddff25eccea store.0.2 376110ce5cfa time_now.v0.17.0 96ae110717e4 top-closure.3.24.1 3a196188afea topkg.1.1.1 ff0c2942c8aa unionFind.20260226 70c1eb9035b6 why3.1.8.2 da05be8c9857 yaml.3.2.0 08d797f6232f yojson.3.0.0 3ef23edaa3ca zarith.1.14 5911ceb2c01d === 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.0.2, 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.0.2: depends on autoconf - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-07-24 14:55.43: OK: build frama-c.33.0~beta (runc: 194.7s, disk: 21KB) 2026-07-24 14:55.43: Job succeeded