← Back to PR #29124
Build Log: libsail.0.20.1
Status: SUCCESS
Log Output
Processing: [default: loading data]
[libsail.0.20.1: http]
[libsail.0.20.1: extract]
-> retrieved libsail.0.20.1 (https://github.com/rems-project/sail/releases/download/0.20.1/sail-0.20.1.tbz)
[libsail: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "libsail" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/libsail.0.20.1)
- (cd _build/default/src/lib && /home/opam/.opam/default/bin/ott -sort false -generate_aux_rules true -o jib.ml -picky_multiple_parses true ../../language/jib.ott)
- Ott version 0.34 distribution of Mon Dec 30 10:12:45 GMT 2024
[libsail: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "libsail" "--create-install-files" "libsail" (CWD=/home/opam/.opam/default/.opam-switch/build/libsail.0.20.1)
-> compiled libsail.0.20.1
-> installed libsail.0.20.1
[WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.3.0" "pp.2.0.0" "stdune.3.20.2"}
"dune-site.3.20.2" -> {"dune.3.20.2" "dune-private-libs.3.20.2"}
"dyn.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0" "ordering.3.20.2" "pp.2.0.0"}
"lem.2025-03-13" -> {"conf-findutils.1" "num.1.6" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "zarith.1.14"}
"libsail.0.20.1" -> {"conf-gmp.5" "dune.3.20.2" "dune-site.3.20.2" "lem.2025-03-13" "linksem.0.8" "menhir.20250912" "ott.0.34" "pprint.20230830" "yojson.3.0.0"}
"linksem.0.8" -> {"lem.2025-03-13" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.3.0"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"num.1.6" -> "ocaml.5.3.0";
"ocaml.5.3.0" -> {"ocaml-base-compiler.5.3.0" "ocaml-config.3"}
"ocaml-base-compiler.5.3.0" -> "ocaml-compiler.5.3.0";
"ocaml-config.3" -> "ocaml-base-compiler.5.3.0";
"ocamlbuild.0.16.1" -> "ocaml.5.3.0";
"ocamlfind.1.9.8" -> "ocaml.5.3.0";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ott.0.34" -> {"ocaml.5.3.0" "ocamlfind.1.9.8" "ocamlgraph.2.2.0"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"pprint.20230830" -> {"dune.3.20.2" "ocaml.5.3.0"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.3.0" "ordering.3.20.2" "pp.2.0.0"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.3.0" "ocamlfind.1.9.8"}
}