# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-num base Num library distributed with the OCaml compiler base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils coq 8.11.2 Formal proof management system num 0 The Num library for arbitrary-precision integer and rational arithmetic ocaml 4.05.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.05.0 Official 4.05.0 release ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.3 A library manager for OCaml # opam file: opam-version: "2.0" maintainer: "Enrico Tassi <enrico.tassi@inria.fr>" authors: [ "Cyril Cohen" "Kazuhiko Sakaguchi" "Enrico Tassi" ] license: "MIT" homepage: "https://github.com/math-comp/hierarchy-builder" bug-reports: "https://github.com/math-comp/hierarchy-builder/issues" dev-repo: "git+https://github.com/math-comp/hierarchy-builder" build: [ make ] install: [ make "install" "VFILES=structures.v" ] depends: [ "coq" {>= "8.10.0" & < "8.12.0~" } "coq-elpi" {>= "1.3.0" & < "1.4.0~"} ] synopsis: "Hierarchy Builder" description: """ High level commands to declare and evolve a hierarchy based on packed classes. """ url { src: "https://github.com/math-comp/hierarchy-builder/archive/v0.9.0.tar.gz" checksum: "sha256=6eb4d51a1c66aeea8448f7c62b21a8603ccd025c00b9b62976c1e01278a6cd01" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-hierarchy-builder.0.9.0 coq.8.11.2
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-hierarchy-builder.0.9.0 coq.8.11.2
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-num base Num library distributed with the OCaml compiler base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils coq 8.11.2 Formal proof management system num 0 The Num library for arbitrary-precision integer and rational arithmetic ocaml 4.05.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.05.0 Official 4.05.0 release ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.3 A library manager for OCaml The following actions will be performed: - install conf-perl 2 - install ocaml-secondary-compiler 4.08.1-1 - downgrade ocamlfind 1.9.3 to 1.9.1 - install camlp5 7.14 - install ppx_tools 5.0+4.05.0 - install ocamlfind-secondary 1.9.1 - install dune 3.0.3 - install seq 0.2.2 - install result 1.5 - install ppx_derivers 1.2.1 - install cppo 1.6.8 - install re 1.10.3 - install ocaml-migrate-parsetree 1.8.0 - install ppxfind 1.4 - install ppx_tools_versioned 5.4.0 - install ppx_deriving 4.4.1 - install elpi 1.10.2 - install coq-elpi 1.3.1 ===== 17 to install | 1 to downgrade ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [coq-elpi.1.3.1] downloaded from https://github.com/LPCIC/coq-elpi/archive/v1.3.1.tar.gz [camlp5.7.14] downloaded from cache at https://opam.ocaml.org/cache [cppo.1.6.8] downloaded from cache at https://opam.ocaml.org/cache [dune.3.0.3] downloaded from cache at https://opam.ocaml.org/cache [elpi.1.10.2] downloaded from cache at https://opam.ocaml.org/cache [ocaml-migrate-parsetree.1.8.0] downloaded from cache at https://opam.ocaml.org/cache [ocamlfind.1.9.1] downloaded from cache at https://opam.ocaml.org/cache [ppx_derivers.1.2.1] downloaded from cache at https://opam.ocaml.org/cache [ocamlfind-secondary.1.9.1] downloaded from cache at https://opam.ocaml.org/cache [ocaml-secondary-compiler.4.08.1-1] downloaded from cache at https://opam.ocaml.org/cache [ppx_deriving.4.4.1] downloaded from cache at https://opam.ocaml.org/cache [ppx_tools.5.0+4.05.0] downloaded from cache at https://opam.ocaml.org/cache [ocaml-secondary-compiler.4.08.1-1/alt-signal-stack.patch] downloaded from https://opam.ocaml.org/cache [ppx_tools_versioned.5.4.0] downloaded from cache at https://opam.ocaml.org/cache [ppxfind.1.4] downloaded from cache at https://opam.ocaml.org/cache [re.1.10.3] downloaded from cache at https://opam.ocaml.org/cache [result.1.5] downloaded from cache at https://opam.ocaml.org/cache [seq.0.2.2] downloaded from cache at https://opam.ocaml.org/cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed conf-perl.2 [WARNING] While removing ocamlfind.1.9.3: not removing files that changed since: - man/man5/site-lib.5 - man/man5/findlib.conf.5 - man/man5/META.5 - man/man1/ocamlfind.1 - lib/unix/META - lib/toplevel/topfind - lib/threads/META - lib/str/META - lib/stdlib/META - lib/raw_spacetime/META - lib/ocamldoc/META - lib/ocaml/topfind - lib/num/META - lib/num-top/num_top_printers.cmi - lib/num-top/num_top.cmi - lib/num-top/num_top.cma - lib/num-top/META - lib/graphics/META - lib/findlib/topfind.mli - lib/findlib/topfind.cmi - lib/findlib/ocaml_args.cmi - lib/findlib/fl_topo.cmi - lib/findlib/fl_split.cmi - lib/findlib/fl_package_base.mli - lib/findlib/fl_package_base.cmi - lib/findlib/fl_metatoken.cmi - lib/findlib/fl_metascanner.mli - lib/findlib/fl_metascanner.cmi - lib/findlib/fl_meta.cmi - lib/findlib/fl_lint.cmi - lib/findlib/fl_dynload.mli - lib/findlib/fl_dynload.cmi - lib/findlib/fl_args.cmi - lib/findlib/findlib_top.cmxs - lib/findlib/findlib_top.cmxa - lib/findlib/findlib_top.cma - lib/findlib/findlib_top.a - lib/findlib/findlib_dynload.cmxs - lib/findlib/findlib_dynload.cmxa - lib/findlib/findlib_dynload.cma - lib/findlib/findlib_dynload.a - lib/findlib/findlib_config.ml - lib/findlib/findlib_config.cmi - lib/findlib/findlib.mli - lib/findlib/findlib.cmxs - lib/findlib/findlib.cmxa - lib/findlib/findlib.cmi - lib/findlib/findlib.cma - lib/findlib/findlib.a - lib/findlib/Makefile.packages - lib/findlib/Makefile.config - lib/findlib/META - lib/findlib.conf - lib/dynlink/META - lib/compiler-libs/META - lib/bytes/META - lib/bigarray/META [NOTE] While removing ocamlfind.1.9.3: not removing non-empty directories: - lib/unix - lib/threads - lib/str - lib/stdlib - lib/raw_spacetime - lib/ocamldoc - lib/num-top - lib/graphics - lib/findlib - lib/dynlink - lib/compiler-libs - lib/bytes - lib/bigarray -> removed ocamlfind.1.9.3 -> installed ocamlfind.1.9.1 -> installed ppx_tools.5.0+4.05.0 -> installed camlp5.7.14 -> installed ocaml-secondary-compiler.4.08.1-1 -> installed ocamlfind-secondary.1.9.1 -> installed dune.3.0.3 -> installed ppx_derivers.1.2.1 -> installed result.1.5 -> installed cppo.1.6.8 -> installed seq.0.2.2 -> installed re.1.10.3 -> installed ocaml-migrate-parsetree.1.8.0 -> installed ppxfind.1.4 [ERROR] The compilation of ppx_deriving failed at "/home/bench/.opam/opam-init/hooks/sandbox.sh build dune build -p ppx_deriving -j 7". -> installed ppx_tools_versioned.5.4.0 #=== ERROR while compiling ppx_deriving.4.4.1 =================================# # context 2.0.1 | linux/x86_64 | ocaml-base-compiler.4.05.0 | https://opam.ocaml.org#d811dfbb # path ~/.opam/ocaml-base-compiler.4.05.0/.opam-switch/build/ppx_deriving.4.4.1 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p ppx_deriving -j 7 # exit-code 1 # env-file ~/.opam/log/ppx_deriving-31034-be22d5.env # output-file ~/.opam/log/ppx_deriving-31034-be22d5.out ### output ### # File "src_plugins/map/dune", line 1, characters 0-146: # 1 | (rule # 2 | (deps ppx_deriving_map.cppo.ml) # 3 | (targets ppx_deriving_map.ml) # 4 | (action (run %{bin:cppo} -V OCAML:%{ocaml_version} %{deps} -o %{targets}))) # (cd _build/default/src_plugins/map && /home/bench/.opam/ocaml-base-compiler.4.05.0/bin/cppo -V OCAML:4.05.0 ppx_deriving_map.cppo.ml -o ppx_deriving_map.ml) # Error: File "ppx_deriving_map.cppo.ml", line 1, characters 0-33 # Error: Cannot find included file "../compat_macros.cppo" <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build ppx_deriving 4.4.1 +- +- The following changes have been performed (the rest was aborted) | - downgrade ocamlfind 1.9.3 to 1.9.1 | - install camlp5 7.14 | - install conf-perl 2 | - install cppo 1.6.8 | - install dune 3.0.3 | - install ocaml-migrate-parsetree 1.8.0 | - install ocaml-secondary-compiler 4.08.1-1 | - install ocamlfind-secondary 1.9.1 | - install ppx_derivers 1.2.1 | - install ppx_tools 5.0+4.05.0 | - install ppx_tools_versioned 5.4.0 | - install ppxfind 1.4 | - install re 1.10.3 | - install result 1.5 | - install seq 0.2.2 +- # Run eval $(opam env) to update the current shell environment The former state can be restored with: opam switch import "/home/bench/.opam/ocaml-base-compiler.4.05.0/.opam-switch/backup/state-20220312143046.export"
true
No files were installed.
true