parent
602292f93d
commit
b20934a65c
@ -0,0 +1,50 @@ |
||||
{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3 }: |
||||
|
||||
stdenv.mkDerivation rec { |
||||
pname = "easycrypt"; |
||||
version = "2022.04"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = pname; |
||||
repo = pname; |
||||
rev = "r${version}"; |
||||
sha256 = "sha256:09rdwcj70lkamkhd895p284rfpz4bcnsf55mcimhiqncd2a21ml7"; |
||||
}; |
||||
|
||||
nativeBuildInputs = with ocamlPackages; [ |
||||
dune_3 |
||||
findlib |
||||
menhir |
||||
ocaml |
||||
]; |
||||
buildInputs = with ocamlPackages; [ |
||||
batteries |
||||
dune-build-info |
||||
inifiles |
||||
yojson |
||||
zarith |
||||
]; |
||||
|
||||
propagatedBuildInputs = [ why3 ]; |
||||
|
||||
strictDeps = true; |
||||
|
||||
postPatch = '' |
||||
substituteInPlace dune-project --replace '(name easycrypt)' '(name easycrypt)(version ${version})' |
||||
''; |
||||
|
||||
installPhase = '' |
||||
runHook preInstall |
||||
dune install --prefix $out ${pname} |
||||
rm $out/bin/ec-runtest |
||||
runHook postInstall |
||||
''; |
||||
|
||||
meta = { |
||||
license = lib.licenses.mit; |
||||
maintainers = [ lib.maintainers.vbgl ]; |
||||
platforms = lib.platforms.all; |
||||
homepage = "https://easycrypt.info/"; |
||||
description = "Computer-Aided Cryptographic Proofs"; |
||||
}; |
||||
} |
Loading…
Reference in new issue