← Back to PR #29225
Build Log: kind2.2.0.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[kind2.2.0.0: http]
[kind2.2.0.0: extract]
-> retrieved kind2.2.0.0 (https://github.com/kind2-mc/kind2/archive/refs/tags/v2.0.0.tar.gz)
[kind2: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "kind2" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/kind2.2.0.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zmq -cmi-file src/.kind2dev.objs/byte/messaging.cmi -no-alias-deps -o src/.kind2dev.objs/native/messaging.cmx -c -impl src/messaging.ml)
- File "src/messaging.ml", line 974, characters 14-25:
- 974 | Thread.exit ()
- ^^^^^^^^^^^
- Alert deprecated: Thread.exit
- Use 'raise Thread.Exit' instead.
-> compiled kind2.2.0.0
-> installed kind2.2.0.0
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"conf-zmq.0.1" -> "conf-pkg-config.4";
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.4.0"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.4.0"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.4.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.4.0"}
"kind2.2.0.0" -> {"dune.3.20.2" "dune-build-info.3.20.2" "menhir.20250912" "num.1.6" "ocaml.5.4.0" "yojson.2.2.2" "zmq.5.3.0"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.4.0"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"num.1.6" -> "ocaml.5.4.0";
"ocaml.5.4.0" -> {"ocaml-base-compiler.5.4.0" "ocaml-config.3"}
"ocaml-base-compiler.5.4.0" -> "ocaml-compiler.5.4.0";
"ocaml-config.3" -> "ocaml-base-compiler.5.4.0";
"seq.base" -> "ocaml.5.4.0";
"yojson.2.2.2" -> {"dune.3.20.2" "ocaml.5.4.0" "seq.base"}
"zmq.5.3.0" -> {"conf-zmq.0.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.4.0"}
}