https://github.com/EasyCrypt/easycrypt
Revision 5b443c07defdc1c9db672b1ae651a3e3c4634b74 authored by Adrien Koutsos on 13 April 2023, 16:22:54 UTC, committed by Adrien Koutsos on 13 April 2023, 16:22:54 UTC
Tip revision: 5b443c07defdc1c9db672b1ae651a3e3c4634b74 authored by Adrien Koutsos on 13 April 2023, 16:22:54 UTC
Merge remote-tracking branch 'origin/main' into deploy-new-cost2
Merge remote-tracking branch 'origin/main' into deploy-new-cost2
Tip revision: 5b443c0
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
]);
}
Computing file changes ...