← Back to PR #0
Build Log: binsec.0.7.4
Status: SUCCESS
Log Output
Processing: [default: loading data]
[binsec.0.7.4: http]
[binsec.0.7.4: extract]
-> retrieved binsec.0.7.4 (https://github.com/binsec/binsec/releases/download/0.7.4/binsec-0.7.4.tbz)
[binsec: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "binsec" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.7.4)
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/smtlib/smtlib_parser.mly --base src/smtlib/smtlib_parser --infer-read-reply src/smtlib/smtlib_parser__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 9 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/dbacsl_parser.mly --base src/parser/dbacsl_parser --infer-read-reply src/parser/dbacsl_parser__mock.mli.inferred)
- Warning: 7 states have shift/reduce conflicts.
- Warning: 94 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-read-reply src/parser/parser__mock.mli.inferred)
- Warning: 6 states have shift/reduce conflicts.
- Warning: 34 shift/reduce conflicts were arbitrarily resolved.
[binsec: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "binsec" "--create-install-files" "binsec" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.7.4)
-> compiled binsec.0.7.4
-> installed binsec.0.7.4
[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 {
"binsec.0.7.4" -> {"dune.3.21.0" "dune-site.3.21.0" "menhir.20250912" "ocaml.4.09.1" "ocamlgraph.2.2.0" "toml.7.1.0" "zarith.1.14"}
"csexp.1.5.2" -> {"dune.3.21.0" "ocaml.4.09.1"}
"dune.3.21.0" -> {"base-threads.base" "base-unix.base" "ocaml.4.09.1"}
"dune-private-libs.3.21.0" -> {"csexp.1.5.2" "dune.3.21.0" "dyn.3.21.0" "ocaml.4.09.1" "pp.2.0.0" "stdune.3.21.0"}
"dune-site.3.21.0" -> {"dune.3.21.0" "dune-private-libs.3.21.0"}
"dyn.3.21.0" -> {"dune.3.21.0" "ocaml.4.09.1" "ordering.3.21.0" "pp.2.0.0"}
"fs-io.3.21.0" -> {"base-unix.base" "dune.3.21.0" "ocaml.4.09.1"}
"ISO8601.0.2.6" -> {"base-unix.base" "dune.3.21.0" "ocaml.4.09.1"}
"menhir.20250912" -> {"dune.3.21.0" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.4.09.1"}
"menhirCST.20250912" -> {"dune.3.21.0" "ocaml.4.09.1"}
"menhirLib.20250912" -> {"dune.3.21.0" "ocaml.4.09.1"}
"menhirSdk.20250912" -> {"dune.3.21.0" "ocaml.4.09.1"}
"ocaml.4.09.1" -> {"ocaml-base-compiler.4.09.1" "ocaml-config.1"}
"ocaml-config.1" -> "ocaml-base-compiler.4.09.1";
"ocamlfind.1.9.8" -> "ocaml.4.09.1";
"ocamlgraph.2.2.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"ordering.3.21.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"pp.2.0.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"stdune.3.21.0" -> {"base-unix.base" "csexp.1.5.2" "dune.3.21.0" "dyn.3.21.0" "fs-io.3.21.0" "ocaml.4.09.1" "ordering.3.21.0" "pp.2.0.0" "top-closure.3.21.0"}
"toml.7.1.0" -> {"dune.3.21.0" "ISO8601.0.2.6" "menhir.20250912" "ocaml.4.09.1"}
"top-closure.3.21.0" -> {"dune.3.21.0" "ocaml.4.09.1"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.09.1" "ocamlfind.1.9.8"}
}