Build:
- 0
2026-09-20 05:41.53: New job: build frama-c-typestates.0.0 (6b583c03d779) 2026-09-20 05:41.53: Waiting for resource in pool day11-builds 2026-09-20 06:12.29: Got resource from pool day11-builds 2026-09-20 06:12.29: [profile full] build frama-c-typestates.0.0 2026-09-20 06:12.29: build frama-c-typestates.0.0 (6b583c03d779) === DEPENDENCIES (80 transitive) === alt-ergo-free.2.4.3 a37bbe3d06d1 astring.0.8.5 1080fe0a852f base.v0.17.3 775793919d5d base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 bos.0.3.0 d3476ff283e3 camlzip.1.14 eefa70804b0c cmdliner.1.3.0 6e6294672942 compiler-cloning.enabled 9ab6e8146b48 conf-autoconf.1 43fe4a407b7a conf-gmp.5 00570d20295f conf-pkg-config.5 5bc8297bba82 conf-zlib.1 87393a303e89 cppo.1.8.0 44b3058823dc csexp.1.5.2 6dfd0b7165bf ctypes.0.24.0 1ee81f3475f3 dune.3.24.2 fc1180f13f25 dune-build-info.3.24.2 4fd44d67b76f dune-configurator.3.24.2 85add40e4d98 dune-private-libs.3.24.2 dba6bddd0dca dune-site.3.24.2 f0220b308fb3 dyn.3.24.2 553ab742836b fmt.0.11.0 30965e0d7f04 fpath.0.7.3 95241e3ea2cb frama-c.33.0 3fabc83ca566 fs-io.3.24.2 6d94822ed134 integers.0.8.0 59cb553a1092 jane-street-headers.v0.17.0 b82b3fe4776d jst-config.v0.17.0 f3157d1e20a0 logs.0.10.0 a25ca6f2961f menhir.20260209 a3a90bbed78d menhirCST.20260209 7d9adb88b35a menhirGLR.20260209 a81ab5c05e7a menhirLib.20260209 59afbc2de3f8 menhirSdk.20260209 112027019747 num.1.6 6b9e767870cc ocaml.5.5.1 62cb7e73ffb1 ocaml-base-compiler.5.5.1 3187d6d6f452 ocaml-compiler.5.5.1 3af2e5d33cd9 ocaml-compiler-libs.v0.17.0 97197ebac9c5 ocaml_intrinsics_kernel.v0.17.2 b3d0417154f6 ocamlbuild.0.16.1 8d3df99eafcd ocamlfind.1.9.9~preview 7593ab790e0d ocamlgraph.2.2.0 c5d7d47df431 ocplib-simplex.0.4.1 43b556cab0af ordering.3.24.2 9c9bbd35871a pp.2.0.0 4e87ec054012 ppx_assert.v0.17.0 6a7073d3ab80 ppx_base.v0.17.0 b769f061b652 ppx_cold.v0.17.0 ef154577ba8a ppx_compare.v0.17.0 5882588b193c ppx_derivers.1.2.1 943a6854ce40 ppx_deriving.6.2.0 5935efe8b183 ppx_deriving_yaml.0.4.1 40c6a8e8792b ppx_deriving_yojson.3.10.0 986ceaaf00d0 ppx_enumerate.v0.17.0 4f41e40178cf ppx_globalize.v0.17.2 16201f2dc269 ppx_hash.v0.17.0 74ded5b9132f ppx_here.v0.17.0 0a70b567ee6a ppx_inline_test.v0.17.1 8443a5907597 ppx_optcomp.v0.17.1 7501fcfe3085 ppx_sexp_conv.v0.17.1 a352228be915 ppxlib.0.38.0 8334b285b58e ppxlib_jane.v0.17.4 0d3140ec3b84 psmt2-frontend.0.4.0 8a9da5fd6a2c rresult.0.7.0 60f0d8260daa seq.base 92d1e54ab78e sexplib0.v0.17.0 a3540be0a3a9 stdio.v0.17.0 b53a3af2065d stdlib-shims.0.3.0 1941f34b811d stdune.3.24.2 1a034e0ff6e0 store.0.2 d6b7154eb0d1 time_now.v0.17.0 23c0da123472 top-closure.3.24.2 484bfee92fe8 topkg.1.1.1 7da6df9c9f9d unionFind.20260226 bb54a8bd80f5 why3.1.8.2 7e893a5c8477 yaml.3.2.0 441208d9eb79 yojson.3.0.0 71121ce72997 zarith.1.14 7dd741cbd805 === STDOUT === Processing: [default: loading data] [frama-c-typestates.0.0: dl] [frama-c-typestates.0.0: extract] -> retrieved frama-c-typestates.0.0 (https://opam.ocaml.org/cache) [frama-c-typestates: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "frama-c-typestates" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-typestates.0.0) [frama-c-typestates: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "frama-c-typestates" "--create-install-files" "frama-c-typestates" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-typestates.0.0) -> compiled frama-c-typestates.0.0 -> installed frama-c-typestates.0.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-20 06:13.27: OK: build frama-c-typestates.0.0 (runc: 12.2s, disk: 14KB) 2026-09-20 06:13.27: Job succeeded