Build:
- 0
2026-09-04 18:15.21: New job: build jasmin.2025.06.0 (6bf2f735e03c) 2026-09-04 18:15.21: Waiting for resource in pool day11-builds 2026-09-04 18:35.51: Got resource from pool day11-builds 2026-09-04 18:35.51: [profile full] build jasmin.2025.06.0 2026-09-04 18:35.51: build jasmin.2025.06.0 (6bf2f735e03c) === DEPENDENCIES (37 transitive) === angstrom.0.16.1 b7da2c05a431 apron.v0.9.15 f84a8565ae7a base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e batteries.3.11.0 626a72e5061a bigarray-compat.1.1.0 d56b8910e911 bigstringaf.0.10.0 377d6f8fb17f camlidl.1.13-1 8c211eeae032 camlp-streams.5.0.1 922664744f95 cmdliner.2.1.1 e5dd77e6708d compiler-cloning.enabled 966a2e6839f0 conf-findutils.1 ae9b487ad27c conf-gmp.5 eac5259e412f conf-gmp-paths.1 8d5a94b1b687 conf-mpfr-paths.1 1723a3b8d0d1 conf-perl.2 f520f20c9658 conf-pkg-config.5 74f50f3cfe72 conf-ppl.1 2f9125906853 csexp.1.5.2 8c096e7de322 dune.3.24.2 25fbaa318de6 dune-configurator.3.24.2 517e3f9cad4b ez-conf-lib.2 f9d67b076038 menhir.20260209 c1f23eb38523 menhirCST.20260209 0c0a8e122478 menhirGLR.20260209 55b8cfc3f8b3 menhirLib.20260209 e790c6b1b683 menhirSdk.20260209 5256bfaa72f1 mlgmpidl.1.3.0 1123eeec720c num.1.6 244eeeb7f1b4 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocaml-syntax-shims.1.0.0 609f8309a47d ocamlbuild.0.16.1 e25cf731aeb5 ocamlfind.1.9.9~preview 5e0261154b58 yojson.3.0.0 7ef0eaa5587b zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [jasmin.2025.06.0: dl] [jasmin.2025.06.0: extract] -> retrieved jasmin.2025.06.0 (https://opam.ocaml.org/cache) [jasmin: make compiler] + /usr/bin/make "-C" "compiler" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0/compiler' - rm -f jasminc jasmin2tex jasmin-ct jasmin2ec - dune build @check @install - for p in _build/install/default/bin/*; do ln -sf $p $(basename $p); done - make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0/compiler' -> compiled jasmin.2025.06.0 [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) [jasmin: cp] + /usr/bin/cp "-L" "compiler/_build/install/default/bin/jasminc" "/home/opam/.opam/default/bin/jasminc" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) [jasmin: cp] + /usr/bin/cp "-L" "compiler/_build/install/default/bin/jasmin2tex" "/home/opam/.opam/default/bin/jasmin2tex" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) [jasmin: cp] + /usr/bin/cp "-L" "compiler/_build/install/default/bin/jasmin-ct" "/home/opam/.opam/default/bin/jasmin-ct" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) [jasmin: cp] + /usr/bin/cp "-L" "compiler/_build/install/default/bin/jasmin2ec" "/home/opam/.opam/default/bin/jasmin2ec" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) [jasmin: sh] + /usr/bin/sh "-c" "cp eclib/*.ec \"/home/opam/.opam/default/lib/jasmin/easycrypt/\"" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.0) -> installed jasmin.2025.06.0 [WARNING] Opam packages conf-mpfr-paths.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libmpfr-dev pkg-config - conf-mpfr-paths.1: depends on libmpfr-dev - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-09-04 18:37.26: OK: build jasmin.2025.06.0 (runc: 84.8s, disk: 12KB) 2026-09-04 18:37.26: Job succeeded