Build:
- 0
2026-09-04 01:25.37: New job: build frama-c-typestates.0.0 (7ed82aac7108) 2026-09-04 01:25.37: Waiting for resource in pool day11-builds 2026-09-04 01:35.20: Got resource from pool day11-builds 2026-09-04 01:35.20: [profile full] build frama-c-typestates.0.0 2026-09-04 01:35.20: build frama-c-typestates.0.0 (7ed82aac7108) === DEPENDENCIES (80 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 frama-c.33.0 4268d0e6c155 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-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-04 01:35.36: OK: build frama-c-typestates.0.0 (runc: 8.1s, disk: 14KB) 2026-09-04 01:35.36: Job succeeded