← Back to PR #28929
Build Log: goblint-cil.2.0.9
Status: SUCCESS
Log Output
Processing: [default: loading data]
[goblint-cil.2.0.9: http]
[goblint-cil.2.0.9: extract]
-> retrieved goblint-cil.2.0.9 (https://github.com/goblint/cil/releases/download/2.0.9/goblint-cil-2.0.9.tbz)
[goblint-cil: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "goblint-cil" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint-cil.2.0.9)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlyacc src/frontc/cparser.mly)
- 1 shift/reduce conflict, 1 reduce/reduce conflict.
- (cd _build/default/src && /home/opam/.opam/default/bin/cppo -V OCAML:5.4.0 machdep.cppo.ml -x machdep:./machdep-ml.exe -o machdep.ml)
- Generating machine dependency information for CIL
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -linkall -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I src/.goblintCil.objs/byte -I src/.goblintCil.objs/native -cmi-file src/.main.eobjs/byte/dune__exe__MainFeature.cmi -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__MainFeature.cmx -c -impl src/mainFeature.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The str subdirectory has been
- automatically added to the search path, but you should add -I +str to the
- command-line to silence this alert (e.g. by adding str to the list of
- libraries in your dune file, or adding use_str to your _tags file for
- ocamlbuild, or using -package str for ocamlfind).
-> compiled goblint-cil.2.0.9
[WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev
-> installed goblint-cil.2.0.9
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.4.0"}
"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-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.4.0"}
"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.4.0" "ppx_deriving_yojson.3.10.0" "stdlib-shims.0.3.0" "yojson.3.0.0" "zarith.1.14"}
"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-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.4.0";
"ocamlfind.1.9.8" -> "ocaml.5.4.0";
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.4.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_deriving_yojson.3.10.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.3.0.0"}
"ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.4.0" "ocamlfind.1.9.8"}
}