# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq 8.13.1 Formal proof management system num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.5 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" maintainer: "arthur.chargueraud@inria.fr" homepage: "https://gitlab.inria.fr/charguer/cfml2" dev-repo: "git+https://gitlab.inria.fr/charguer/cfml2.git" bug-reports: "https://gitlab.inria.fr/charguer/cfml2/-/issues" license: "CC-BY-4.0" synopsis: "The CFML program verification system" description: """ CFML is a program verification system for OCaml. """ build: [make "-C" "lib/stdlib" "-j%{jobs}%"] install: [make "-C" "lib/stdlib" "install"] depends: [ "coq" { >= "8.13" } "cfml" { = version } "coq-cfml-basis" { = version } ] tags: [ "date:" "logpath:CFML.Stdlib" "category:Computer Science/Programming Languages/Formal Definitions and Theory" "keyword:program verification" "keyword:separation logic" "keyword:weakest precondition" ] authors: [ "Arthur Charguéraud" ] url { src: "https://gitlab.inria.fr/charguer/cfml2/-/archive/20220102/archive.tar.gz" checksum: [ "md5=8b968b59c4b309ca55e57f2f04027899" "sha512=a73364e03f57bef82ff55d84fa9f895415a0ad148e4fba3863bf976ed41c5bc3bf03eac1e120d117576e4976a1f549d30ce67d2b5eefb5cb7935563fed078864" ] }
true
Dry install with the current Coq version:
opam install -y --show-action coq-cfml-stdlib.20220102 coq.8.13.1
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-cfml-stdlib.20220102 coq.8.13.1
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq 8.13.1 Formal proof management system num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.5 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers The following actions will be performed: - install coq-tlc 20211215 - install dune 3.4.1 - install coq-cfml-basis 20220102 - install pprint 20220103 - install menhirSdk 20220210 - install menhirLib 20220210 - install menhir 20220210 - install cfml 20220102 ===== 8 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [cfml.20220102] downloaded from cache at https://opam.ocaml.org/cache [coq-tlc.20211215] downloaded from https://github.com/charguer/tlc/archive/20211215.tar.gz [coq-cfml-basis.20220102] downloaded from https://gitlab.inria.fr/charguer/cfml2/-/archive/20220102/archive.tar.gz [dune.3.4.1] downloaded from cache at https://opam.ocaml.org/cache [menhir.20220210] downloaded from cache at https://opam.ocaml.org/cache [menhirSdk.20220210] found in cache [pprint.20220103] downloaded from cache at https://opam.ocaml.org/cache [menhirLib.20220210] downloaded from cache at https://opam.ocaml.org/cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed dune.3.4.1 -> installed pprint.20220103 -> installed menhirLib.20220210 -> installed menhirSdk.20220210 [ERROR] The compilation of menhir failed at "/home/bench/.opam/opam-init/hooks/sandbox.sh build dune build -p menhir -j 4". -> installed coq-tlc.20211215 -> installed coq-cfml-basis.20220102 #=== ERROR while compiling menhir.20220210 ====================================# # context 2.0.10 | linux/x86_64 | ocaml-base-compiler.4.14.0 | https://opam.ocaml.org#0ccb63ef # path ~/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/menhir.20220210 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p menhir -j 4 # exit-code 1 # env-file ~/.opam/log/menhir-21492-52128c.env # output-file ~/.opam/log/menhir-21492-52128c.out ### output ### # [...] # (cd _build/default && /home/bench/.opam/ocaml-base-compiler.4.14.0/bin/ocamlc.opt -w -40 -safe-string -g -open MenhirSdk -g -bin-annot -I src/stage2/.main.eobjs/byte -I /home/bench/.opam/ocaml-base-compiler.4.14.0/lib/menhirLib -I /home/bench/.opam/ocaml-base-compiler.4.14.0/lib/menhirSdk -I fix/src/.vendored_fix.objs/byte -I pprint/src/.vendored_pprint.objs/byte -no-alias-deps -open Dune__ex[...] # File "src/stage2/Unifier.mli", line 1: # Error: I/O error: No space left on device # Error: No space left on device # -> required by # _build/default/src/stage2/.main.eobjs/byte/dune__exe__StackSymbolsShort.cmi # -> required by # _build/default/src/stage2/.main.eobjs/native/dune__exe__Interpret.cmx # -> required by _build/default/src/stage2/main.exe # -> required by _build/install/default/bin/menhir # -> required by _build/default/menhir.install # -> required by alias install <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build menhir 20220210 +- +- The following changes have been performed (the rest was aborted) | - install coq-cfml-basis 20220102 | - install coq-tlc 20211215 | - install dune 3.4.1 | - install menhirLib 20220210 | - install menhirSdk 20220210 | - install pprint 20220103 +- # 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.14.0/.opam-switch/backup/state-20220914235955.export"
true
No files were installed.
true