alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

easycrypt-runtest: init at 2022.04

Browse source
This commit is contained in:
Vincent Laporte 2022-04-27 11:35:20 +02:00 committed by Vincent Laporte
parent b20934a65c
commit c777cdf5c5
2 changed files with 26 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
pkgs/applications/science/logic/easycrypt/runtest.nix Normal file
View file

@ -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";
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -3364,6 +3364,8 @@ with pkgs;
easycrypt = callPackage ../applications/science/logic/easycrypt { };
easycrypt-runtest = callPackage ../applications/science/logic/easycrypt/runtest.nix { };
EBTKS = callPackage ../development/libraries/science/biology/EBTKS { };
ecasound = callPackage ../applications/audio/ecasound { };