Build:
- 0
2026-07-23 20:57.52: New job: build frama-c.33.0~beta (319f537090cf) 2026-07-23 20:57.52: Waiting for resource in pool day11-builds 2026-07-23 21:10.06: Got resource from pool day11-builds 2026-07-23 21:10.06: [profile full] build frama-c.33.0~beta 2026-07-23 21:10.06: build frama-c.33.0~beta (319f537090cf) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 0784eac15a3b astring.0.8.5 4fc85b1b7986 base.v0.17.3 cf5df9954252 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 604e3e87d661 csexp.1.5.2 8c8feb97dfec ctypes.0.24.0 560c2e2c7cfd dune.3.24.1 0238686ab208 dune-build-info.3.24.1 cdccd4846549 dune-configurator.3.24.1 a054e66521fa dune-private-libs.3.24.1 9f003df753b1 dune-site.3.24.1 815323b46da0 dyn.3.24.1 0e647b0041f2 fmt.0.11.0 6ce7efe4fc2a fpath.0.7.3 ec9f6a68c75c fs-io.3.24.1 0b438f7d9781 integers.0.8.0 5ba3a73033ae jane-street-headers.v0.17.0 5154f8de9f0a jst-config.v0.17.0 25dc5a10b07f logs.0.10.0 71033de95497 menhir.20260209 7ad13572e633 menhirCST.20260209 9b7075712d81 menhirGLR.20260209 4815d3589f17 menhirLib.20260209 ee94f929746f menhirSdk.20260209 12724cb74914 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 95a0037ef5b8 ocaml_intrinsics_kernel.v0.17.2 9e70172a769f ocamlbuild.0.16.1 699ceab44989 ocamlfind.1.9.8 e349f5c7ccdf ocamlgraph.2.2.0 32f089038543 ocplib-simplex.0.4.1 8556a2565e63 ordering.3.24.1 f80e953b2d18 pp.2.0.0 e024bc4d9694 ppx_assert.v0.17.0 bc8aab03d841 ppx_base.v0.17.0 75bec4c24374 ppx_cold.v0.17.0 ac17f1a7ef02 ppx_compare.v0.17.0 00cb9795fc57 ppx_derivers.1.2.1 70840f9ddb36 ppx_deriving.6.1.2 7f3b63960677 ppx_deriving_yaml.0.4.1 20d5f1eb82a1 ppx_deriving_yojson.3.10.0 0f35304a0068 ppx_enumerate.v0.17.0 c27e71a6701d ppx_globalize.v0.17.2 ff92cb387002 ppx_hash.v0.17.0 6292384c5c2d ppx_here.v0.17.0 ad3c415e0b4f ppx_inline_test.v0.17.1 94b022a0c8ae ppx_optcomp.v0.17.1 7383ff93a186 ppx_sexp_conv.v0.17.1 f3068d1908b0 ppxlib.0.38.0 0ca8cc08a8a2 ppxlib_jane.v0.17.4 01e5df22dd92 psmt2-frontend.0.4.0 3550163ab244 rresult.0.7.0 cfbf7e163190 seq.base 43b2adc9a54d sexplib0.v0.17.0 feaee67a57e7 stdio.v0.17.0 ae70b37b8e76 stdlib-shims.0.3.0 b88d94a41906 stdune.3.24.1 69702f408ee7 store.0.2 d675f3dfeafa time_now.v0.17.0 e321f04d406d top-closure.3.24.1 05f76f2e4a8f topkg.1.1.1 903545d11ff9 unionFind.20260226 59e58dce8d6d why3.1.8.2 b0f4f0bfce61 yaml.3.2.0 45bfcae25eec yojson.3.0.0 4eeb801cbedd 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-23 21:13.52: OK: build frama-c.33.0~beta (runc: 204.4s, disk: 21KB) 2026-07-23 21:13.52: Job succeeded