← Back to PR #28979
Build Log: goblint.2.7.1
Status: SUCCESS
Log Output
Processing: [default: loading data]
[goblint.2.7.1: http]
[goblint.2.7.1: extract]
-> retrieved goblint.2.7.1 (https://github.com/goblint/analyzer/releases/download/v2.7.1/goblint-2.7.1.tbz)
[goblint: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "goblint" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint.2.7.1)
- (cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_71ef5b_dune/dune-pipe-action-_2f98d5_.stdout
- fatal: not a git repository (or any of the parent directories): .git
[goblint: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "goblint" "--create-install-files" "goblint" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint.2.7.1)
-> compiled goblint.2.7.1
-> installed goblint.2.7.1
[WARNING] Opam packages conf-autoconf.0.2 and conf-gmp.5 depend on the following system packages that are no longer installed: autoconf libgmp-dev
- conf-autoconf.0.2: depends on autoconf
- conf-gmp.5: depends on libgmp-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.3.0" "ocaml-syntax-shims.1.0.0"}
"arg-complete.0.2.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.3.0"}
"astring.0.8.5" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"batteries.3.10.0" -> {"camlp-streams.5.0.1" "dune.3.20.2" "num.1.6" "ocaml.5.3.0" "ocamlfind.1.9.8"}
"bigstringaf.0.10.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0"}
"bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"catapult.0.2" -> {"base-threads.base" "base-unix.base" "dune.3.20.2" "ocaml.5.3.0"}
"catapult-file.0.2" -> {"catapult.0.2" "dune.3.20.2" "ocaml.5.3.0"}
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.3.0"}
"cpu.2.0.0" -> {"conf-autoconf.0.2" "dune.3.20.2" "ocaml.5.3.0"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"cstruct.6.2.0" -> {"dune.3.20.2" "fmt.0.11.0" "ocaml.5.3.0"}
"ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.5.3.0"}
"domain-local-await.1.0.1" -> {"dune.3.20.2" "ocaml.5.3.0" "thread-table.1.0.0"}
"domain_shims.0.1.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "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"}
"fileutils.0.6.6" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.3.0"}
"fmt.0.11.0" -> {"base-unix.base" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"goblint.2.7.1" -> {"arg-complete.0.2.1" "batteries.3.10.0" "catapult.0.2" "catapult-file.0.2" "conf-gcc.1.0" "conf-gmp.5" "cpu.2.0.0" "domain-local-await.1.0.1" "domain_shims.0.1.0" "dune.3.20.2" "dune-build-info.3.20.2" "dune-site.3.20.2" "fileutils.0.6.6" "fpath.0.7.3" "goblint-cil.2.0.9" "json-data-encoding.1.0.1" "jsonrpc.1.24.0" "ocaml.5.3.0" "ppx_blob.0.9.0" "ppx_deriving.6.1.1" "ppx_deriving_hash.0.1.3" "ppx_deriving_yojson.3.10.0" "ppxlib.0.37.0" "qcheck-core.0.27" "sha.1.15.4" "uuidm.0.9.10" "yaml.3.2.0" "yojson.2.2.2" "zarith.1.14"}
"goblint-cil.2.0.9" -> {"conf-gcc.1.0" "conf-perl.2" "cppo.1.8.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ppx_deriving_yojson.3.10.0" "stdlib-shims.0.3.0" "yojson.2.2.2" "zarith.1.14"}
"hex.1.5.0" -> {"cstruct.6.2.0" "dune.3.20.2" "ocaml.5.3.0"}
"integers.0.7.0" -> {"dune.3.20.2" "ocaml.5.3.0" "stdlib-shims.0.3.0"}
"json-data-encoding.1.0.1" -> {"dune.3.20.2" "hex.1.5.0" "ocaml.5.3.0" "uri.4.4.0"}
"jsonrpc.1.24.0" -> {"dune.3.20.2" "ocaml.5.3.0" "yojson.2.2.2"}
"logs.0.10.0" -> {"base-threads.base" "fmt.0.11.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"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-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.3.0";
"ocaml-syntax-shims.1.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocamlbuild.0.16.1" -> "ocaml.5.3.0";
"ocamlfind.1.9.8" -> "ocaml.5.3.0";
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ppx_blob.0.9.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.3.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_deriving_hash.0.1.3" -> {"dune.3.20.2" "ppx_deriving.6.1.1" "ppxlib.0.37.0"}
"ppx_deriving_yojson.3.10.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.2.2.2"}
"ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"qcheck-core.0.27" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.3.0"}
"rresult.0.7.0" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"seq.base" -> "ocaml.5.3.0";
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"sha.1.15.4" -> {"dune.3.20.2" "ocaml.5.3.0" "stdlib-shims.0.3.0"}
"stdlib-shims.0.3.0" -> {"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"}
"stringext.1.6.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"thread-table.1.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"topkg.1.1.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"uri.4.4.0" -> {"angstrom.0.16.1" "dune.3.20.2" "ocaml.5.3.0" "stringext.1.6.0"}
"uuidm.0.9.10" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0"}
"yojson.2.2.2" -> {"dune.3.20.2" "ocaml.5.3.0" "seq.base"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.3.0" "ocamlfind.1.9.8"}
}