git.iko.soy/typeable/nixpkgs
on master help sign in
easycrypt-runtest: init at 2022.04
c777cdfVincent Laporte
pkgs/applications/science/logic/easycrypt/runtest.nixnew file+24
compare with master
unifiedsplit
@@ -0,0 +1,24 @@
1+{ python3Packages, easycrypt }:
2+
3+python3Packages.buildPythonApplication rec {
4+ inherit (easycrypt) src version;
5+
6+ pname = "easycrypt-runtest";
7+
8+ dontConfigure = true;
9+ dontBuild = true;
10+ doCheck = false;
11+
12+ pythonPath = with python3Packages; [ pyyaml ];
13+
14+ installPhase = ''
15+ runHook preInstall
16+ mkdir -p $out/bin
17+ cp scripts/testing/runtest $out/bin/ec-runtest
18+ runHook postInstall
19+ '';
20+
21+ meta = easycrypt.meta // {
22+ description = "Testing program for EasyCrypt formalizations";
23+ };
24+}
pkgs/top-level/all-packages.nix+2
@@ -3364,6 +3364,8 @@ with pkgs;
3364
3364
3365 easycrypt = callPackage ../applications/science/logic/easycrypt { };
3365 easycrypt = callPackage ../applications/science/logic/easycrypt { };
3366
3366
3367+ easycrypt-runtest = callPackage ../applications/science/logic/easycrypt/runtest.nix { };
3368+
3367 EBTKS = callPackage ../development/libraries/science/biology/EBTKS { };
3369 EBTKS = callPackage ../development/libraries/science/biology/EBTKS { };
3368
3370
3369 ecasound = callPackage ../applications/audio/ecasound { };
3371 ecasound = callPackage ../applications/audio/ecasound { };