Build:
- 0
2026-09-04 18:10.55: New job: build jasmin.2023.06.3 (4950ea2d768a) 2026-09-04 18:10.55: Waiting for resource in pool day11-builds 2026-09-04 18:32.13: Got resource from pool day11-builds 2026-09-04 18:32.13: [profile full] build jasmin.2023.06.3 2026-09-04 18:32.13: build jasmin.2023.06.3 (4950ea2d768a) === DEPENDENCIES (32 transitive) === apron.v0.9.15 f84a8565ae7a base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e batteries.3.11.0 626a72e5061a bigarray-compat.1.1.0 d56b8910e911 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 dune.3.24.2 25fbaa318de6 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 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.2023.06.3: dl] [jasmin.2023.06.3: extract] -> retrieved jasmin.2023.06.3 (https://opam.ocaml.org/cache) [jasmin: make compiler] + /usr/bin/make "-C" "compiler" "build" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3/compiler' - rm -f jasminc jazz2tex jazzct - dune build @check entry/jasminc.exe entry/jazz2tex.exe entry/jazzct.exe - ln -sf "_build/default/entry/jasminc.exe" jasminc - ln -sf "_build/default/entry/jazz2tex.exe" jazz2tex - ln -sf "_build/default/entry/jazzct.exe" jazzct - make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3/compiler' -> compiled jasmin.2023.06.3 [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [jasmin: cp] + /usr/bin/cp "compiler/_build/default/entry/jasminc.exe" "/home/opam/.opam/default/bin/jasminc" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [jasmin: cp] + /usr/bin/cp "compiler/_build/default/entry/jazz2tex.exe" "/home/opam/.opam/default/bin/jazz2tex" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [jasmin: cp] + /usr/bin/cp "compiler/_build/default/entry/jazzct.exe" "/home/opam/.opam/default/bin/jazzct" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [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.2023.06.3) -> installed jasmin.2023.06.3 [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:33.21: OK: build jasmin.2023.06.3 (runc: 64.7s, disk: 11KB) 2026-09-04 18:33.21: Job succeeded