Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
05 April 2024, 19:20:55 UTC
Revision ef7d7900ec5115986771e476bf26d76377e71ea4 authored by François Dupressoir on 27 March 2023, 08:59:03 UTC, committed by François Dupressoir on 27 March 2023, 08:59:03 UTC 
restore name
1 parent 9f3bd83
Raw File
Tip revision: ef7d7900ec5115986771e476bf26d76377e71ea4 authored by François Dupressoir on 27 March 2023, 08:59:03 UTC
restore name
Tip revision: ef7d790
shell.nix 
{ withProvers ? true, devDeps ? [] }:

with import <nixpkgs> {};

let why3_local =
  why3.overrideAttrs (o : rec {
    version = "1.6.0";
    src = fetchurl {
      url = "https://why3.gitlabpages.inria.fr/releases/${o.pname}-${version}.tar.gz";
      sha256 = "sha256-hFvM6kHScaCtcHCc6Vezl9CR7BFbiKPoTEh7kj0ZJxw=";
    };
  });
in
let why3 = why3_local; in

let provers =
  if withProvers then [
    alt-ergo
    z3
  ] else []; in

pkgs.mkShell {
  buildInputs = devDeps ++ [ git ] ++ (with ocamlPackages; [
    ocaml
    findlib
    batteries
    camlp-streams
    dune_3
    dune-build-info
    dune-site
    inifiles
    menhir
    menhirLib
    merlin
    yojson
    why3
    zarith
  ]) ++ (with python3Packages; [
    pyyaml
  ]);
}
back to top