package camlp5

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

camlp5 8.03.01

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.3

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

<><> opam-depext.1.2.3 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 frama-clang.0.0.17~beta zarith.1.14 yojson.2.2.2 yaml.3.2.0 why3.1.7.2 uutf.1.0.3 unionFind.20220122 topkg.1.0.7 stdune.3.16.1 stdlib-shims.0.3.0 spelll.0.4 sexplib0.v0.17.0 seq.base rresult.0.7.0 re.1.12.0 psmt2-frontend.0.4.0 ppxlib.0.33.1~5.3preview ppx_deriving_yojson.3.9.0 ppx_deriving_yaml.0.4.0 ppx_deriving.6.0.3 ppx_derivers.1.2.1 ppx_blob.0.9.0 pp_loc.2.1.0 pp.1.2.0 ordering.3.16.1 ocplib-simplex.0.5.1 ocamlgraph.2.1.0 ocamlfind.1.9.6 ocamlbuild.0.15.0 ocaml-compiler-libs.v0.12.4 num.1.5-1 not-ocamlfind.0.13 menhirSdk.20240715 menhirLib.20240715 menhirCST.20240715 menhir.20240715 logs.0.7.0 lablgtk3-sourceview3.3.1.5 lablgtk3.3.1.5 integers.0.7.0 host-arch-x86_64.1 hmap.0.8.1 gen.1.1 frama-c.30.0~beta fpath.0.7.3 fmt.0.9.0 dyn.3.16.1 dune-site.3.16.1 dune-private-libs.3.16.1 dune-configurator.3.16.1 dune-build-info.3.16.1 dune.3.16.1 dolmen_type.0.10 dolmen_loop.0.10 dolmen.0.10 ctypes.0.23.0 csexp.1.5.2 cppo.1.7.0 conf-zlib.1 conf-which.1 conf-pkg-config.3 conf-perl.2 conf-m4.1 conf-llvm.17 conf-libclang.15 conf-gtksourceview3.0+2 conf-gtk3.18 conf-gmp.4 conf-cmake.1 conf-clang.1 conf-cairo.1 conf-bash.1 cmdliner.1.3.0 camlzip.1.13 camlp5-buildscripts.0.03 camlp5.8.03.01 camlp-streams.5.0.1 cairo2.0.6.5 bos.0.2.1 bigarray-compat.1.1.0 astring.0.8.5 alt-ergo-parsers.2.6.0 alt-ergo-lib.2.6.0 alt-ergo.2.6.0" 

Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
[ERROR] No solution for frama-clang.0.0.17~beta & zarith.1.14 & yojson.2.2.2 & yaml.3.2.0 & why3.1.7.2 & uutf.1.0.3 & unionFind.20220122 & topkg.1.0.7 & stdune.3.16.1 & stdlib-shims.0.3.0 & spelll.0.4 & sexplib0.v0.17.0 & seq.base & rresult.0.7.0 & re.1.12.0 & psmt2-frontend.0.4.0 & ppxlib.0.33.1~5.3preview & ppx_deriving_yojson.3.9.0 & ppx_deriving_yaml.0.4.0 & ppx_deriving.6.0.3 & ppx_derivers.1.2.1 & ppx_blob.0.9.0 & pp_loc.2.1.0 & pp.1.2.0 & ordering.3.16.1 & ocplib-simplex.0.5.1 & ocamlgraph.2.1.0 & ocamlfind.1.9.6 & ocamlbuild.0.15.0 & ocaml-compiler-libs.v0.12.4 & num.1.5-1 & not-ocamlfind.0.13 & menhirSdk.20240715 & menhirLib.20240715 & menhirCST.20240715 & menhir.20240715 & logs.0.7.0 & lablgtk3-sourceview3.3.1.5 & lablgtk3.3.1.5 & integers.0.7.0 & host-arch-x86_64.1 & hmap.0.8.1 & gen.1.1 & frama-c.30.0~beta & fpath.0.7.3 & fmt.0.9.0 & dyn.3.16.1 & dune-site.3.16.1 & dune-private-libs.3.16.1 & dune-configurator.3.16.1 & dune-build-info.3.16.1 & dune.3.16.1 & dolmen_type.0.10 & dolmen_loop.0.10 & dolmen.0.10 & ctypes.0.23.0 & csexp.1.5.2 & cppo.1.7.0 & conf-zlib.1 & conf-which.1 & conf-pkg-config.3 & conf-perl.2 & conf-m4.1 & conf-llvm.17 & conf-libclang.15 & conf-gtksourceview3.0+2 & conf-gtk3.18 & conf-gmp.4 & conf-cmake.1 & conf-clang.1 & conf-cairo.1 & conf-bash.1 & cmdliner.1.3.0 & camlzip.1.13 & camlp5-buildscripts.0.03 & camlp5.8.03.01 & camlp-streams.5.0.1 & cairo2.0.6.5 & bos.0.2.1 & bigarray-compat.1.1.0 & astring.0.8.5 & alt-ergo-parsers.2.6.0 & alt-ergo-lib.2.6.0 & alt-ergo.2.6.0:   * Missing dependency:
            - conf-llvm >= 17
            depends on the unavailable system package 'llvm-17-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=frama-clang.0.0.17~beta,zarith.1.14,yojson.2.2.2,yaml.3.2.0,why3.1.7.2,uutf.1.0.3,unionFind.20220122,topkg.1.0.7,stdune.3.16.1,stdlib-shims.0.3.0,spelll.0.4,sexplib0.v0.17.0,seq.base,rresult.0.7.0,re.1.12.0,psmt2-frontend.0.4.0,ppxlib.0.33.1~5.3preview,ppx_deriving_yojson.3.9.0,ppx_deriving_yaml.0.4.0,ppx_deriving.6.0.3,ppx_derivers.1.2.1,ppx_blob.0.9.0,pp_loc.2.1.0,pp.1.2.0,ordering.3.16.1,ocplib-simplex.0.5.1,ocamlgraph.2.1.0,ocamlfind.1.9.6,ocamlbuild.0.15.0,ocaml-compiler-libs.v0.12.4,num.1.5-1,not-ocamlfind.0.13,menhirSdk.20240715,menhirLib.20240715,menhirCST.20240715,menhir.20240715,logs.0.7.0,lablgtk3-sourceview3.3.1.5,lablgtk3.3.1.5,integers.0.7.0,host-arch-x86_64.1,hmap.0.8.1,gen.1.1,frama-c.30.0~beta,fpath.0.7.3,fmt.0.9.0,dyn.3.16.1,dune-site.3.16.1,dune-private-libs.3.16.1,dune-configurator.3.16.1,dune-build-info.3.16.1,dune.3.16.1,dolmen_type.0.10,dolmen_loop.0.10,dolmen.0.10,ctypes.0.23.0,csexp.1.5.2,cppo.1.7.0,conf-zlib.1,conf-which.1,conf-pkg-config.3,conf-perl.2,conf-m4.1,conf-llvm.17,conf-libclang.15,conf-gtksourceview3.0+2,conf-gtk3.18,conf-gmp.4,conf-cmake.1,conf-clang.1,conf-cairo.1,conf-bash.1,cmdliner.1.3.0,camlzip.1.13,camlp5-buildscripts.0.03,camlp5.8.03.01,camlp-streams.5.0.1,cairo2.0.6.5,bos.0.2.1,bigarray-compat.1.1.0,astring.0.8.5,alt-ergo-parsers.2.6.0,alt-ergo-lib.2.6.0,alt-ergo.2.6.0' --color=never returned 20
OCaml

Innovation. Community. Security.