Build:
- 0
2026-06-24 16:58.29: New job: build jasmin.2024.07.2 (bf86c743e5da) 2026-06-24 16:58.29: Waiting for resource in pool day11-builds 2026-06-24 17:41.42: Got resource from pool day11-builds 2026-06-24 17:41.42: [profile full] build jasmin.2024.07.2 2026-06-24 17:41.42: build jasmin.2024.07.2 (bf86c743e5da) === DEPENDENCIES (37 transitive) === angstrom.0.16.1 3f3b54e13eee apron.v0.9.15 a628e691374b base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb batteries.3.10.0 4588a8f55d48 bigarray-compat.1.1.0 59042aba4016 bigstringaf.0.10.0 bccf4834efa9 camlidl.1.13-1 38408a718a64 camlp-streams.5.0.1 d48629cb1d21 cmdliner.2.1.1 131a57bdc3b4 conf-findutils.1 26549b564faf conf-gmp.5 be11edf77089 conf-gmp-paths.1 98aa84d4f379 conf-mpfr-paths.1 8a5d9dfe1b44 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 conf-ppl.1 cd883ed32ff1 csexp.1.5.2 daa725d901fe dune.3.23.1 dc7ac21ea3be dune-configurator.3.23.1 e27f781e405b ez-conf-lib.2 7a1d5bb954df menhir.20260209 33fcc346f20f menhirCST.20260209 b78f18598292 menhirGLR.20260209 14503fb187dd menhirLib.20260209 b8ed5f168c3f menhirSdk.20260209 997f6d4de9b4 mlgmpidl.1.3.0 151fb793d734 num.1.6 3d665f14515a ocaml.5.4.1 71fed6f83b21 ocaml-base-compiler.5.4.1 4b8cbe74bda9 ocaml-compiler.5.4.1 df07189447bd ocaml-config.3 e4a06a221f09 ocaml-syntax-shims.1.0.0 319b2c0da184 ocamlbuild.0.16.1 17067329c57b ocamlfind.1.9.8 567e34ecf540 yojson.3.0.0 08149c2c002d zarith.1.14 442c15edac63 === STDOUT === Processing: [default: loading data] [jasmin.2024.07.2: dl] [jasmin.2024.07.2: extract] -> retrieved jasmin.2024.07.2 (https://opam.ocaml.org/cache) [jasmin: make compiler] + /usr/bin/make "-C" "compiler" "build" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2024.07.2) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2024.07.2/compiler' - rm -f jasminc jasmin2tex jasmin-ct - 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.2024.07.2/compiler' -> compiled jasmin.2024.07.2 [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2024.07.2) [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.2024.07.2) [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.2024.07.2) [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.2024.07.2) [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2024.07.2) [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.2024.07.2) -> installed jasmin.2024.07.2 [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-06-24 17:42.47: OK: build jasmin.2024.07.2 (runc: 50.2s, disk: 11KB) 2026-06-24 17:42.47: Job succeeded