Build:
- 0
2026-07-10 08:13.06: New job: build frama-c.33.0~beta (8f9e9f075137) 2026-07-10 08:13.06: Waiting for resource in pool day11-builds 2026-07-10 08:31.29: Got resource from pool day11-builds 2026-07-10 08:31.29: [profile full] build frama-c.33.0~beta 2026-07-10 08:31.29: build frama-c.33.0~beta (8f9e9f075137) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 51e2ccb019ca astring.0.8.5 f6be5eb4b38e base.v0.17.3 2554b8a38b64 base-threads.base 44df48f3da5c base-unix.base 4103cdc1c2b0 bos.0.3.0 3cda57515139 camlzip.1.14 7c19d6cc5ed9 cmdliner.1.3.0 3b4a11f1b4e2 compiler-cloning.enabled 66bfb9f05f4a conf-autoconf.0.2 884b92aa0e26 conf-gmp.5 28650a0c2a50 conf-pkg-config.5 f20b8fd18442 conf-zlib.1 22029c4a9272 cppo.1.8.0 84fdf8484404 csexp.1.5.2 ff64121cd3d2 ctypes.0.24.0 b8f281bec3f5 dune.3.24.0 a6f8cb91c5a0 dune-build-info.3.24.0 9c3dcf72af91 dune-configurator.3.24.0 a70654ffc3a4 dune-private-libs.3.24.0 c902e9ea6e04 dune-site.3.24.0 ccc4c725e832 dyn.3.24.0 03bfa42d0773 fmt.0.11.0 d518e35a5687 fpath.0.7.3 c855f4d631a4 fs-io.3.24.0 e8b2f5011b10 integers.0.8.0 25c7a2dfdf18 jane-street-headers.v0.17.0 c4f2caa82084 jst-config.v0.17.0 1ae75e52b908 logs.0.10.0 8454544a5499 menhir.20260209 e8fe63578553 menhirCST.20260209 49b3eb176a54 menhirGLR.20260209 3cbe12a2a804 menhirLib.20260209 7761f6a26b40 menhirSdk.20260209 259ab1f537a6 num.1.6 7c6c385e6016 ocaml.5.5.0 86e14e3aea8d ocaml-base-compiler.5.5.0 1bf93bba4295 ocaml-compiler.5.5.0 eb7e9cf1c298 ocaml-compiler-libs.v0.17.0 2bebd1fafcb3 ocaml_intrinsics_kernel.v0.17.2 6a6997dc63a6 ocamlbuild.0.16.1 c30dabfcec04 ocamlfind.1.9.8 a7666fb12940 ocamlgraph.2.2.0 5569063d32b6 ocplib-simplex.0.4.1 82ebf841d524 ordering.3.24.0 4f9f9dda0681 pp.2.0.0 012f0d797d46 ppx_assert.v0.17.0 58a0aeb8f046 ppx_base.v0.17.0 7fda55214e1a ppx_cold.v0.17.0 a58d6272a382 ppx_compare.v0.17.0 0f272116ad03 ppx_derivers.1.2.1 50ae8dcd1067 ppx_deriving.6.1.2 9085ae78123b ppx_deriving_yaml.0.4.1 969e687fee9a ppx_deriving_yojson.3.10.0 583c734e974f ppx_enumerate.v0.17.0 a711c726183b ppx_globalize.v0.17.2 69988e78ac79 ppx_hash.v0.17.0 c20459450fe2 ppx_here.v0.17.0 e48d21a4625f ppx_inline_test.v0.17.1 714b01668f85 ppx_optcomp.v0.17.1 f8ec4d0aa0fb ppx_sexp_conv.v0.17.1 89d0ea0cd0fd ppxlib.0.38.0 d1504d9c0e37 ppxlib_jane.v0.17.4 1bf35f8e8a68 psmt2-frontend.0.4.0 d5817536aa31 rresult.0.7.0 31ac33b224e2 seq.base b6cfa8cedf6b sexplib0.v0.17.0 fba3f4796f64 stdio.v0.17.0 8df3c48fa99d stdlib-shims.0.3.0 4cecf6455df6 stdune.3.24.0 9b12f8114c67 store.0.2 907a33afcbe5 time_now.v0.17.0 76163d40ef56 top-closure.3.24.0 5dfeb7cafdd8 topkg.1.1.1 bd61c1c58bce unionFind.20260226 77eeb0fdbe45 why3.1.8.2 fa0d5fbc2bae yaml.3.2.0 663858beadda yojson.3.0.0 015f2934e521 zarith.1.14 faef4a0b5444 === 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-10 08:43.27: OK: build frama-c.33.0~beta (runc: 709.0s, disk: 21KB) 2026-07-10 08:43.27: Job succeeded