← Back to PR #0

Build Log: caisar.4.0

Status: SUCCESS

Log Output

Processing: [default: loading data] [caisar.4.0: http] [caisar.4.0: extract] -> retrieved caisar.4.0 (https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/4.0/caisar-4.0.tbz) [caisar: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "caisar" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/caisar.4.0) [caisar: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "caisar" "--create-install-files" "caisar" (CWD=/home/opam/.opam/default/.opam-switch/build/caisar.4.0) -> compiled caisar.4.0 -> installed caisar.4.0 [WARNING] Opam packages conf-gmp.5 and conf-pkg-config.4 depend on the following system packages that are no longer installed: libgmp-dev pkg-config - conf-gmp.5: depends on libgmp-dev - conf-pkg-config.4: depends on pkg-config

Dependency Graph

Loading graph...
View raw DOT format
digraph opam { "astring.0.8.5" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "base.v0.17.3" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.1.1" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"} "base-bytes.base" -> {"ocaml.5.1.1" "ocamlfind.1.9.8"} "base64.3.5.2" -> {"dune.3.20.2" "ocaml.5.1.1"} "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.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"} "caisar.4.0" -> {"base.v0.17.3" "cmdliner.2.1.0" "csv.2.4" "dune.3.20.2" "dune-site.3.20.2" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "menhirLib.20250912" "ocaml.5.1.1" "ocaml-protoc-plugin.6.2.0" "ocamlgraph.2.2.0" "ocplib-endian.1.2" "ppx_deriving.6.0.3" "ppx_deriving_yaml.0.4.0" "ppx_deriving_yojson.3.9.1" "ppx_inline_test.v0.17.0" "re.1.14.0" "stdio.v0.17.0" "why3.1.7.2" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"} "cmdliner.2.1.0" -> "ocaml.5.1.1"; "cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.1.1"} "csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.1.1"} "csv.2.4" -> {"base-bytes.base" "base-unix.base" "dune.3.20.2" "ocaml.5.1.1"} "ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.5.1.1"} "dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.1.1"} "dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.1.1"} "dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.1.1"} "dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.1.1" "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.1.1" "ordering.3.20.2" "pp.2.0.0"} "fmt.0.11.0" -> {"base-unix.base" "cmdliner.2.1.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "integers.0.7.0" -> {"dune.3.20.2" "ocaml.5.1.1" "stdlib-shims.0.3.0"} "jane-street-headers.v0.17.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "jst-config.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.1.1" "ppx_assert.v0.17.0"} "logs.0.10.0" -> {"base-threads.base" "cmdliner.2.1.0" "fmt.0.11.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.1.1"} "menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.1.1"} "menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.1.1"} "menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.1.1"} "num.1.6" -> "ocaml.5.1.1"; "ocaml.5.1.1" -> {"ocaml-base-compiler.5.1.1" "ocaml-config.3"} "ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.5.1.1"} "ocaml-config.3" -> "ocaml-base-compiler.5.1.1"; "ocaml-protoc-plugin.6.2.0" -> {"base64.3.5.2" "conf-pkg-config.4" "conf-protoc.4.4.0" "dune.3.20.2" "ocaml.5.1.1" "omd.2.0.0~alpha4" "ppx_expect.v0.17.2" "ppx_inline_test.v0.17.0" "ptime.1.2.0"} "ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.20.2" "ocaml.5.1.1"} "ocamlbuild.0.16.1" -> "ocaml.5.1.1"; "ocamlfind.1.9.8" -> "ocaml.5.1.1"; "ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "ocplib-endian.1.2" -> {"base-bytes.base" "cppo.1.8.0" "dune.3.20.2" "ocaml.5.1.1"} "omd.2.0.0~alpha4" -> {"dune.3.20.2" "dune-build-info.3.20.2" "ocaml.5.1.1" "uucp.17.0.0" "uunf.17.0.0" "uutf.1.0.4"} "ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.1.1"} "pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"} "ppx_base.v0.17.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_globalize.v0.17.0" "ppx_hash.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"} "ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0"} "ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"} "ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.1.1"} "ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.1.1" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"} "ppx_deriving_yaml.0.4.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "yaml.3.2.0"} "ppx_deriving_yojson.3.9.1" -> {"dune.3.20.2" "ocaml.5.1.1" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"} "ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"} "ppx_expect.v0.17.2" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppx_here.v0.17.0" "ppx_inline_test.v0.17.0" "ppxlib.0.35.0" "stdio.v0.17.0"} "ppx_globalize.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"} "ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"} "ppx_here.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0"} "ppx_inline_test.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "time_now.v0.17.0"} "ppx_optcomp.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "stdio.v0.17.0"} "ppx_sexp_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0" "sexplib0.v0.17.0"} "ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"} "ppxlib_jane.v0.17.0" -> {"dune.3.20.2" "ocaml.5.1.1" "ppxlib.0.35.0"} "ptime.1.2.0" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "re.1.14.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "rresult.0.7.0" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "stdio.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.1.1"} "stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.1.1" "ordering.3.20.2" "pp.2.0.0"} "time_now.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.1.1" "ppx_base.v0.17.0" "ppx_optcomp.v0.17.0"} "topkg.1.1.1" -> {"ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"} "uucp.17.0.0" -> {"cmdliner.2.1.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1" "uunf.17.0.0"} "uunf.17.0.0" -> {"cmdliner.2.1.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1" "uutf.1.0.4"} "uutf.1.0.4" -> {"cmdliner.2.1.0" "ocaml.5.1.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "why3.1.7.2" -> {"menhir.20250912" "num.1.6" "ocaml.5.1.1" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_sexp_conv.v0.17.0" "zarith.1.14"} "yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.1.1"} "yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.1.1"} "zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.1.1" "ocamlfind.1.9.8"} }