|
|
|
@ -1,4 +1,4 @@ |
|
|
|
|
{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3 }: |
|
|
|
|
{ lib, stdenv, fetchFromGitHub, fetchpatch, ocamlPackages, why3 }: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
pname = "easycrypt"; |
|
|
|
@ -11,6 +11,12 @@ stdenv.mkDerivation rec { |
|
|
|
|
sha256 = "sha256:09rdwcj70lkamkhd895p284rfpz4bcnsf55mcimhiqncd2a21ml7"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
# Fix build with Why3 1.5 |
|
|
|
|
patches = fetchpatch { |
|
|
|
|
url = "https://github.com/EasyCrypt/easycrypt/commit/d226387432deb7f22738e1d5579346a2cbc9be7a.patch"; |
|
|
|
|
sha256 = "sha256:1zvxij35fnr3h9b5wdl8ml17aqfx3a39rd4mgwmdvkapbg3pa4lm"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
nativeBuildInputs = with ocamlPackages; [ |
|
|
|
|
dune_3 |
|
|
|
|
findlib |
|
|
|
|