← Back to PR #28932
Build Log: jasmin.2025.06.2
Status: SUCCESS
Log Output
Processing: [default: loading data]
[jasmin.2025.06.2: http]
[jasmin.2025.06.2: extract]
-> retrieved jasmin.2025.06.2 (https://github.com/jasmin-lang/jasmin/releases/download/v2025.06.2/jasmin-compiler-v2025.06.2.tar.bz2)
[jasmin: make all]
+ /usr/bin/make "all" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2)
- /usr/bin/make -C compiler
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2/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[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2/compiler'
-> compiled jasmin.2025.06.2
[jasmin: make install]
+ /usr/bin/make "install" "PREFIX=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2)
- /usr/bin/make -C compiler install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2/compiler'
- dune install --prefix /home/opam/.opam/default
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2/compiler'
- /usr/bin/make -C eclib install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2/eclib'
- # DO NOT MODIFY
- # This file is generated and may be silently overwritten
- [general]
- idirs=Jasmin:/home/opam/.opam/default/lib/easycrypt/jasmin
- install -m 0755 -d /home/opam/.opam/default/lib/easycrypt/jasmin
- install -m 0644 *.ec /home/opam/.opam/default/lib/easycrypt/jasmin/
- install -m 0755 -d /home/opam/.opam/default/lib/easycrypt/config
- install -m 0644 *.conf /home/opam/.opam/default/lib/easycrypt/config/
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.2/eclib'
-> installed jasmin.2025.06.2
[WARNING] Opam packages conf-pkg-config.4 and conf-ppl.1 depend on the following system packages that are no longer installed: libppl-dev pkg-config
- conf-pkg-config.4: depends on pkg-config
- conf-ppl.1: depends on libppl-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"angstrom.0.16.1" -> {"bigstringaf.0.10.0" "dune.3.20.2" "ocaml.5.2.1" "ocaml-syntax-shims.1.0.0"}
"apron.v0.9.15" -> {"camlidl.1.13" "conf-perl.2" "conf-ppl.1" "mlgmpidl.1.3.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"batteries.3.10.0" -> {"camlp-streams.5.0.1" "dune.3.20.2" "num.1.6" "ocaml.5.2.1" "ocamlfind.1.9.8"}
"bigarray-compat.1.1.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"bigstringaf.0.10.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.2.1"}
"camlidl.1.13" -> "ocaml.5.2.1";
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.2.1"}
"cmdliner.2.0.0" -> "ocaml.5.2.1";
"conf-gmp-paths.1" -> "ez-conf-lib.2";
"conf-mpfr-paths.1" -> {"conf-gmp-paths.1" "ez-conf-lib.2"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.2.1"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.2.1"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.2.1"}
"ez-conf-lib.2" -> {"conf-findutils.1" "ocaml.5.2.1"}
"jasmin.2025.06.2" -> {"angstrom.0.16.1" "apron.v0.9.15" "batteries.3.10.0" "camlidl.1.13" "cmdliner.2.0.0" "conf-ppl.1" "dune.3.20.2" "menhir.20250912" "menhirLib.20250912" "ocaml.5.2.1" "ocamlfind.1.9.8" "yojson.3.0.0" "zarith.1.14"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.2.1"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.2.1"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.2.1"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.2.1"}
"mlgmpidl.1.3.0" -> {"bigarray-compat.1.1.0" "camlidl.1.13" "conf-gmp-paths.1" "conf-mpfr-paths.1" "conf-perl.2" "ocaml.5.2.1" "ocamlfind.1.9.8"}
"num.1.6" -> "ocaml.5.2.1";
"ocaml.5.2.1" -> {"ocaml-base-compiler.5.2.1" "ocaml-config.3"}
"ocaml-config.3" -> "ocaml-base-compiler.5.2.1";
"ocaml-syntax-shims.1.0.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"ocamlbuild.0.16.1" -> "ocaml.5.2.1";
"ocamlfind.1.9.8" -> "ocaml.5.2.1";
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.2.1" "ocamlfind.1.9.8"}
}