package frama-c

  1. Overview
  2. Docs
On This Page
  1. Error log

frama-c 25.0

Error log

The package failed to build. The error log from opam follows.

Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1  (cached)
-> removed   opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.

<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy pilat.1.6 zarith.1.13 yojson.2.0.2 why3.1.5.1 uutf.1.0.3 topkg.1.0.7 stdune.3.14.0 stdlib-shims.0.3.0 spelll.0.4 sexplib0.v0.16.0 seq.base result.1.5 psmt2-frontend.0.4.0 ppxlib.0.32.0 ppx_import.1.10.0 ppx_deriving_yojson.3.7.0 ppx_deriving.5.2.1 ppx_derivers.1.2.1 ppx_blob.0.7.2 pp_loc.2.1.0 pp.1.2.0 ordering.3.14.0 ocplib-simplex.0.5 ocamlgraph.1.8.8 ocamlfind.1.9.6 ocamlbuild.0.14.3 ocaml-compiler-libs.v0.12.4 num.1.5 menhirSdk.20231231 menhirLib.20231231 menhirCST.20231231 menhir.20231231 logs.0.7.0 lacaml.11.0.10 lablgtk.2.18.13 gen.1.1 frama-c.25.0 fmt.0.9.0 dyn.3.14.0 dune-site.3.14.0 dune-private-libs.3.14.0 dune-configurator.3.14.0 dune-build-info.3.14.0 dune.3.14.0 dolmen_type.0.9 dolmen_loop.0.9 dolmen.0.9 csexp.1.5.2 cppo.1.6.9 conf-zlib.1 conf-which.1 conf-pkg-config.3 conf-lapack.1 conf-gtksourceview.2 conf-gtk2.1 conf-gnomecanvas.2 conf-gmp.4 conf-blas.1 conf-autoconf.0.1 cmdliner.1.2.0 camlzip.1.11 camlp-streams.5.0.1 base-bytes.base alt-ergo-parsers.2.5.2 alt-ergo-lib.2.5.2 alt-ergo.2.5.2" 

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
[ERROR] No solution for pilat.1.6 & zarith.1.13 & yojson.2.0.2 & why3.1.5.1 & uutf.1.0.3 & topkg.1.0.7 & stdune.3.14.0 & stdlib-shims.0.3.0 & spelll.0.4 & sexplib0.v0.16.0 & seq.base & result.1.5 & psmt2-frontend.0.4.0 & ppxlib.0.32.0 & ppx_import.1.10.0 & ppx_deriving_yojson.3.7.0 & ppx_deriving.5.2.1 & ppx_derivers.1.2.1 & ppx_blob.0.7.2 & pp_loc.2.1.0 & pp.1.2.0 & ordering.3.14.0 & ocplib-simplex.0.5 & ocamlgraph.1.8.8 & ocamlfind.1.9.6 & ocamlbuild.0.14.3 & ocaml-compiler-libs.v0.12.4 & num.1.5 & menhirSdk.20231231 & menhirLib.20231231 & menhirCST.20231231 & menhir.20231231 & logs.0.7.0 & lacaml.11.0.10 & lablgtk.2.18.13 & gen.1.1 & frama-c.25.0 & fmt.0.9.0 & dyn.3.14.0 & dune-site.3.14.0 & dune-private-libs.3.14.0 & dune-configurator.3.14.0 & dune-build-info.3.14.0 & dune.3.14.0 & dolmen_type.0.9 & dolmen_loop.0.9 & dolmen.0.9 & csexp.1.5.2 & cppo.1.6.9 & conf-zlib.1 & conf-which.1 & conf-pkg-config.3 & conf-lapack.1 & conf-gtksourceview.2 & conf-gtk2.1 & conf-gnomecanvas.2 & conf-gmp.4 & conf-blas.1 & conf-autoconf.0.1 & cmdliner.1.2.0 & camlzip.1.11 & camlp-streams.5.0.1 & base-bytes.base & alt-ergo-parsers.2.5.2 & alt-ergo-lib.2.5.2 & alt-ergo.2.5.2:   * Missing dependency:
            - conf-gtksourceview
            depends on the unavailable system package 'libgtksourceview2.0-dev'. Use `--no-depexts' to attempt installation anyway, or it is possible that a depext package name in the opam file is incorrect.


Command failed: opam --cli=2.1 list --readonly --external '--resolve=pilat.1.6,zarith.1.13,yojson.2.0.2,why3.1.5.1,uutf.1.0.3,topkg.1.0.7,stdune.3.14.0,stdlib-shims.0.3.0,spelll.0.4,sexplib0.v0.16.0,seq.base,result.1.5,psmt2-frontend.0.4.0,ppxlib.0.32.0,ppx_import.1.10.0,ppx_deriving_yojson.3.7.0,ppx_deriving.5.2.1,ppx_derivers.1.2.1,ppx_blob.0.7.2,pp_loc.2.1.0,pp.1.2.0,ordering.3.14.0,ocplib-simplex.0.5,ocamlgraph.1.8.8,ocamlfind.1.9.6,ocamlbuild.0.14.3,ocaml-compiler-libs.v0.12.4,num.1.5,menhirSdk.20231231,menhirLib.20231231,menhirCST.20231231,menhir.20231231,logs.0.7.0,lacaml.11.0.10,lablgtk.2.18.13,gen.1.1,frama-c.25.0,fmt.0.9.0,dyn.3.14.0,dune-site.3.14.0,dune-private-libs.3.14.0,dune-configurator.3.14.0,dune-build-info.3.14.0,dune.3.14.0,dolmen_type.0.9,dolmen_loop.0.9,dolmen.0.9,csexp.1.5.2,cppo.1.6.9,conf-zlib.1,conf-which.1,conf-pkg-config.3,conf-lapack.1,conf-gtksourceview.2,conf-gtk2.1,conf-gnomecanvas.2,conf-gmp.4,conf-blas.1,conf-autoconf.0.1,cmdliner.1.2.0,camlzip.1.11,camlp-streams.5.0.1,base-bytes.base,alt-ergo-parsers.2.5.2,alt-ergo-lib.2.5.2,alt-ergo.2.5.2' returned 20