← Back to PR #29023
Build Log: frama-c.32.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[frama-c.32.0: http]
[frama-c.32.0: extract]
-> retrieved frama-c.32.0 (https://www.frama-c.com/download/frama-c-32.0-Germanium.tar.gz)
[frama-c: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-j255" "--release" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.32.0)
- (cd _build/default/src/plugins/e-acsl/contrib/libdlmalloc && /usr/bin/make)
- CC dlmalloc.c
- AR libeacsl-dlmalloc.a
- RANLIB libeacsl-dlmalloc.a
- ar: `u' modifier ignored since `D' is the default (see `U')
-> compiled frama-c.32.0
[frama-c: make install]
+ /usr/bin/make "RELEASE=yes" "PREFIX=/home/opam/.opam/default" "MANDIR=/home/opam/.opam/default/man" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.32.0)
- Installing Frama-C to current Opam switch
- Copying and relocating files...
- (done)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/frama-c.32.0/ivette'
- [Ivette] Generating TypeScript API
- ./api.sh src
- [server-tsc] Package frama-c/kernel/api/data
- [server-tsc] Package frama-c/kernel/api/ast
- [server-tsc] Package frama-c/kernel/api/properties
- [server-tsc] Package frama-c/kernel/api/project
- [server-tsc] Package frama-c/kernel/api/parameters
- [server-tsc] Package frama-c/kernel/api/services
- [server-tsc] Package frama-c/plugins/callgraph/api
- [server-tsc] Package frama-c/plugins/dive/api
- [server-tsc] Package frama-c/plugins/eva/api/general
- [server-tsc] Package frama-c/plugins/eva/api/values
- [server-tsc] Package frama-c/plugins/impact/api/impact
- [server-tsc] Package frama-c/plugins/pivot/api/general
- [server-tsc] Package frama-c/plugins/region/api
- [server-tsc] Package frama-c/plugins/slicing/api/slicing
- [server-tsc] Package frama-c/plugins/studia/api/studia
- [server-tsc] Package frama-c/plugins/wp/api
- [server-tsc] Package frama-c/plugins/wp/api/tip
- [server-tsc] Package frama-c/plugins/wp/api/tac
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/frama-c.32.0/ivette'
- Installing Ivette to /home/opam/.opam/default
-> installed frama-c.32.0
[WARNING] Opam packages conf-autoconf.0.2, conf-cairo.1, conf-gmp.5, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: autoconf libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev
- conf-autoconf.0.2: depends on autoconf
- conf-cairo.1: depends on libcairo2-dev
- conf-gmp.5: depends on libgmp-dev
- conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev
- conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"alt-ergo-free.2.2.0" -> {"camlzip.1.13" "conf-autoconf.0.2" "menhir.20211128" "num.1.6" "ocaml.4.14.2" "ocplib-simplex.0.4.1" "psmt2-frontend.0.1" "zarith.1.14"}
"astring.0.8.5" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"base.v0.16.4" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.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.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"cairo2.0.6.5" -> {"base-bigarray.base" "conf-cairo.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.4.14.2"}
"camlzip.1.13" -> {"conf-zlib.1" "ocaml.4.14.2" "ocamlfind.1.9.8"}
"conf-cairo.1" -> "conf-pkg-config.4";
"conf-gtk3.18" -> "conf-pkg-config.4";
"conf-gtksourceview3.0+2" -> "conf-pkg-config.4";
"conf-zlib.1" -> "conf-pkg-config.4";
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.14.2"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.4.14.2"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.4.14.2"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "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.4.14.2" "ordering.3.20.2" "pp.2.0.0"}
"fmt.0.11.0" -> {"base-unix.base" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"frama-c.32.0" -> {"alt-ergo-free.2.2.0" "camlzip.1.13" "conf-gtksourceview3.0+2" "dune.3.20.2" "dune-configurator.3.20.2" "dune-site.3.20.2" "lablgtk3.3.1.5" "lablgtk3-sourceview3.3.1.5" "menhir.20211128" "ocaml.4.14.2" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_deriving_yaml.0.4.0" "ppx_deriving_yojson.3.9.1" "ppx_inline_test.v0.16.1" "ppxlib.0.35.0" "unionFind.20250818" "why3.1.8.2" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"}
"integers.0.7.0" -> {"dune.3.20.2" "ocaml.4.14.2" "stdlib-shims.0.3.0"}
"jane-street-headers.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"jst-config.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "ppx_assert.v0.16.0"}
"lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.20.2" "ocaml.4.14.2"}
"lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.20.2" "lablgtk3.3.1.5" "ocaml.4.14.2"}
"logs.0.10.0" -> {"base-threads.base" "fmt.0.11.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"menhir.20211128" -> {"dune.3.20.2" "menhirLib.20211128" "menhirSdk.20211128" "ocaml.4.14.2"}
"menhirLib.20211128" -> {"dune.3.20.2" "ocaml.4.14.2"}
"menhirSdk.20211128" -> {"dune.3.20.2" "ocaml.4.14.2"}
"num.1.6" -> "ocaml.4.14.2";
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"ocamlbuild.0.16.1" -> "ocaml.4.14.2";
"ocamlfind.1.9.8" -> "ocaml.4.14.2";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ocplib-simplex.0.4.1" -> {"conf-autoconf.0.2" "num.1.6" "ocaml.4.14.2" "ocamlfind.1.9.8"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_assert.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_base.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_enumerate.v0.16.0" "ppx_globalize.v0.16.0" "ppx_hash.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_cold.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"}
"ppx_deriving_yaml.0.4.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "yaml.3.2.0"}
"ppx_deriving_yojson.3.9.1" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"}
"ppx_enumerate.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_globalize.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_compare.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_here.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_inline_test.v0.16.1" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "time_now.v0.16.0"}
"ppx_optcomp.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "stdio.v0.16.0"}
"ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "sexplib0.v0.16.0"}
"ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"psmt2-frontend.0.1" -> {"conf-autoconf.0.2" "menhir.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8"}
"rresult.0.7.0" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"sexplib0.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"stdio.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "ordering.3.20.2" "pp.2.0.0"}
"time_now.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "jane-street-headers.v0.16.0" "jst-config.v0.16.0" "ocaml.4.14.2" "ppx_base.v0.16.0" "ppx_optcomp.v0.16.0"}
"topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"unionFind.20250818" -> {"dune.3.20.2" "ocaml.4.14.2"}
"why3.1.8.2" -> {"camlzip.1.13" "menhir.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_sexp_conv.v0.16.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.4.14.2"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"}
}