parent
b20934a65c
commit
c777cdf5c5
@ -0,0 +1,24 @@ |
||||
{ python3Packages, easycrypt }: |
||||
|
||||
python3Packages.buildPythonApplication rec { |
||||
inherit (easycrypt) src version; |
||||
|
||||
pname = "easycrypt-runtest"; |
||||
|
||||
dontConfigure = true; |
||||
dontBuild = true; |
||||
doCheck = false; |
||||
|
||||
pythonPath = with python3Packages; [ pyyaml ]; |
||||
|
||||
installPhase = '' |
||||
runHook preInstall |
||||
mkdir -p $out/bin |
||||
cp scripts/testing/runtest $out/bin/ec-runtest |
||||
runHook postInstall |
||||
''; |
||||
|
||||
meta = easycrypt.meta // { |
||||
description = "Testing program for EasyCrypt formalizations"; |
||||
}; |
||||
} |
Loading…
Reference in new issue