Build:
- 0
2026-09-04 01:04.17: New job: build frama-c.33.0 (4268d0e6c155) 2026-09-04 01:04.17: Waiting for resource in pool day11-builds 2026-09-04 01:19.39: Got resource from pool day11-builds 2026-09-04 01:19.39: [profile full] build frama-c.33.0 2026-09-04 01:19.39: build frama-c.33.0 (4268d0e6c155) === DEPENDENCIES (79 transitive) === alt-ergo-free.2.4.3 e7e82ee84de2 astring.0.8.5 51ee6d00b649 base.v0.17.3 82edd6e178f2 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 32083f292088 camlzip.1.14 55fbe9282a52 cmdliner.1.3.0 c8a741506821 compiler-cloning.enabled 966a2e6839f0 conf-autoconf.1 788c5c60b51c conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-zlib.1 26591fa9352c cppo.1.8.0 83351009e21e csexp.1.5.2 58b250503765 ctypes.0.24.0 0932749f0814 dune.3.24.2 ec704e062ad3 dune-build-info.3.24.2 d32d17fa583c dune-configurator.3.24.2 183455f65a68 dune-private-libs.3.24.2 a52a388cf52f dune-site.3.24.2 08715653f819 dyn.3.24.2 1c2bf8e55a8a fmt.0.11.0 473393a87136 fpath.0.7.3 2344c0b7c451 fs-io.3.24.2 8942cd991497 integers.0.8.0 39f28989dadd jane-street-headers.v0.17.0 31f6aaaf1e09 jst-config.v0.17.0 9557db850975 logs.0.10.0 b7bdf8f44e3b menhir.20260209 381a2138ba97 menhirCST.20260209 2274e41bb75f menhirGLR.20260209 dc2d20aa75ca menhirLib.20260209 aca3f0b58574 menhirSdk.20260209 fb69c1928809 num.1.6 805d35561ae4 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocaml-compiler-libs.v0.17.0 5bb965f7a9b8 ocaml_intrinsics_kernel.v0.17.2 73ed8f7cbaaf ocamlbuild.0.16.1 ccce18256717 ocamlfind.1.9.9~preview 6a4c70487cf9 ocamlgraph.2.2.0 ac6fd62ecb86 ocplib-simplex.0.4.1 2349c442e6d4 ordering.3.24.2 441c1dd362e1 pp.2.0.0 20e117254b86 ppx_assert.v0.17.0 00c1faf15503 ppx_base.v0.17.0 b43b2edb8713 ppx_cold.v0.17.0 6e27a14fc665 ppx_compare.v0.17.0 187fb43bfd2c ppx_derivers.1.2.1 b98ec33f5664 ppx_deriving.6.1.3 f42e5829c88b ppx_deriving_yaml.0.4.1 ff072cbcb2d3 ppx_deriving_yojson.3.10.0 0965f20fe6c3 ppx_enumerate.v0.17.0 e7122a280248 ppx_globalize.v0.17.2 5f7ef8f4aa60 ppx_hash.v0.17.0 bc0fe0c11ba6 ppx_here.v0.17.0 60f73c5d441a ppx_inline_test.v0.17.1 f2d88e24f68f ppx_optcomp.v0.17.1 ed5d91490cec ppx_sexp_conv.v0.17.1 34b096a879f3 ppxlib.0.38.0 3ee699583a7b ppxlib_jane.v0.17.4 4b7b40a77119 psmt2-frontend.0.4.0 cb99c9f8a825 rresult.0.7.0 02fffb5a5b61 seq.base 28d30f6112ac sexplib0.v0.17.0 ff60a3c976cf stdio.v0.17.0 9ec1dce368f8 stdlib-shims.0.3.0 8ab1e1c44699 stdune.3.24.2 f8cf2da025f5 store.0.2 71e073f10604 time_now.v0.17.0 f57db7dbecaf top-closure.3.24.2 78a849887718 topkg.1.1.1 3bd227743fbd unionFind.20260226 9224a7e7f8e5 why3.1.8.2 b3e549b8d2dc yaml.3.2.0 702521341743 yojson.3.0.0 27388ba4dc9e zarith.1.14 bd527d6656b5 === 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-09-04 01:25.37: OK: build frama-c.33.0 (runc: 332.9s, disk: 21KB) 2026-09-04 01:25.37: Job succeeded