Build:
- 1
- 0
2026-09-03 21:41.44: New job: build jasmin.2023.06.1 (1ecb9f246729) 2026-09-03 21:41.44: Waiting for resource in pool day11-builds 2026-09-03 22:41.04: Got resource from pool day11-builds 2026-09-03 22:41.04: [profile full] build jasmin.2023.06.1 2026-09-03 22:41.04: build jasmin.2023.06.1 (1ecb9f246729) === DEPENDENCIES (31 transitive) === apron.v0.9.15 38d5f253a933 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e batteries.3.11.0 406960c0fc70 bigarray-compat.1.1.0 3f4e163c0195 camlidl.1.13-1 edea9bcfba62 camlp-streams.5.0.1 4c58a1da28ba cmdliner.2.1.1 73e54961174b conf-findutils.1 ae9b487ad27c conf-gmp.5 eac5259e412f conf-gmp-paths.1 f3d496219617 conf-mpfr-paths.1 277e80717c8e conf-perl.2 f520f20c9658 conf-pkg-config.5 74f50f3cfe72 conf-ppl.1 2f9125906853 dune.3.24.2 bf83cdf0a904 ez-conf-lib.2 a3a1cd5f4109 menhir.20260209 b5ea77665ed0 menhirCST.20260209 fdf00709dc1b menhirGLR.20260209 e8065dac32e6 menhirLib.20260209 588b502bc771 menhirSdk.20260209 8571405b07e4 mlgmpidl.1.3.0 c5c47dc54b92 num.1.6 fe036226102b ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-config.2 85edea6ac168 ocamlbuild.0.16.1 5ae5ab4d19bf ocamlfind.1.9.8 3cae95bed0a0 yojson.3.0.0 74cfe9abd4f0 zarith.1.14 fc3f7a60e6b3 === STDOUT === Processing: [default: loading data] [jasmin.2023.06.1: dl] [jasmin.2023.06.1: extract] -> retrieved jasmin.2023.06.1 (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.1) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1/compiler' - rm -f jasminc jazz2tex - dune build entry/jasminc.exe - dune build entry/jazz2tex.exe - ln -sf "_build/default/entry/jasminc.exe" jasminc - ln -sf "_build/default/entry/jazz2tex.exe" jazz2tex - make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1/compiler' -> compiled jasmin.2023.06.1 [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1) [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.1) [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.1) [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1) [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.1) -> installed jasmin.2023.06.1 [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-03 22:41.40: OK: build jasmin.2023.06.1 (runc: 30.7s, disk: 10KB) 2026-09-03 22:41.40: Job succeeded