Build:
- 0
2026-07-15 00:49.24: New job: build frama-c.33.0~beta (9aa85270009e) 2026-07-15 00:49.24: Waiting for resource in pool day11-builds 2026-07-15 01:04.54: Got resource from pool day11-builds 2026-07-15 01:04.54: [profile full] build frama-c.33.0~beta 2026-07-15 01:04.54: build frama-c.33.0~beta (9aa85270009e) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 fc5ec7f08c15 astring.0.8.5 4fc85b1b7986 base.v0.17.3 1a97d9a4ae0d base-threads.base afe16a8e71c3 base-unix.base 73c0a5fdd34a bos.0.3.0 1c3d52935798 camlzip.1.14 1d3ae71a4f93 cmdliner.1.3.0 6bb6a1f5e657 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 c1802d5a6a91 csexp.1.5.2 7401e567af07 ctypes.0.24.0 1c95c3d26a42 dune.3.24.0 e560b9225410 dune-build-info.3.24.0 97c869a44b2a dune-configurator.3.24.0 5d5ba511eb88 dune-private-libs.3.24.0 4705fe55ed23 dune-site.3.24.0 6d4e6355a6fe dyn.3.24.0 c7957bf0d491 fmt.0.11.0 6ce7efe4fc2a fpath.0.7.3 ec9f6a68c75c fs-io.3.24.0 117994f5b1d7 integers.0.8.0 7a1b3d239b29 jane-street-headers.v0.17.0 8f6709216d18 jst-config.v0.17.0 27ec8de7cdb5 logs.0.10.0 71033de95497 menhir.20260209 209c5eb5f068 menhirCST.20260209 ea58c373fb95 menhirGLR.20260209 caa90701fdb6 menhirLib.20260209 73f9ba1b400e menhirSdk.20260209 88542ba9d7ea num.1.6 cf13c64d4950 ocaml.5.5.0 7f4ed97746d4 ocaml-base-compiler.5.5.0 90499340edf4 ocaml-compiler.5.5.0 0ffda1968820 ocaml-compiler-libs.v0.17.0 1181b9f3196d ocaml_intrinsics_kernel.v0.17.2 0e86ffc6e154 ocamlbuild.0.16.1 699ceab44989 ocamlfind.1.9.8 e349f5c7ccdf ocamlgraph.2.2.0 145c0d3e5c45 ocplib-simplex.0.4.1 8556a2565e63 ordering.3.24.0 89405f4ad70e pp.2.0.0 aa7210353934 ppx_assert.v0.17.0 1278d934eaad ppx_base.v0.17.0 8e91fb293e4b ppx_cold.v0.17.0 bd2b4454bec4 ppx_compare.v0.17.0 a4ac64569da3 ppx_derivers.1.2.1 0ff3b4d77433 ppx_deriving.6.1.2 8751ee212700 ppx_deriving_yaml.0.4.1 4889ec8cbf03 ppx_deriving_yojson.3.10.0 87d07332124f ppx_enumerate.v0.17.0 606037560dde ppx_globalize.v0.17.2 84e21089fa4a ppx_hash.v0.17.0 238929eeaa1b ppx_here.v0.17.0 e85c7941f9b6 ppx_inline_test.v0.17.1 ff672891785c ppx_optcomp.v0.17.1 46904efed7d3 ppx_sexp_conv.v0.17.1 23d6a05abe58 ppxlib.0.38.0 f732ff36c979 ppxlib_jane.v0.17.4 fd37b1fc38e1 psmt2-frontend.0.4.0 7f51c8333c2f rresult.0.7.0 cfbf7e163190 seq.base 43b2adc9a54d sexplib0.v0.17.0 96ddaf7acfaa stdio.v0.17.0 fd7f5b9c67ea stdlib-shims.0.3.0 b1b0d87df8c2 stdune.3.24.0 32299fe24c06 store.0.2 77604453b7eb time_now.v0.17.0 597e4c2db743 top-closure.3.24.0 2b497bd21d0d topkg.1.1.1 903545d11ff9 unionFind.20260226 fdb1eb375348 why3.1.8.2 4f8cadbb180a yaml.3.2.0 1276f529546d yojson.3.0.0 076111056727 zarith.1.14 a92a3d0a3bd5 === 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-15 01:10.39: OK: build frama-c.33.0~beta (runc: 310.8s, disk: 21KB) 2026-07-15 01:10.39: Job succeeded