easycrypt-runtest: init at 2022.04
commitc777cdf5c564015d5f63b09cc93bef4178b19b01
authorVincent Laporte <Vincent.Laporte@gmail.com>
dateWed 27 Apr 2022, 11:35 (5 years ago)
parentb20934a
pkgs/applications/science/logic/easycrypt/runtest.nixnew file+24
@@ -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;
33643364
33653365 easycrypt = callPackage ../applications/science/logic/easycrypt { };
33663366
3367+ easycrypt-runtest = callPackage ../applications/science/logic/easycrypt/runtest.nix { };
3368+
33673369 EBTKS = callPackage ../development/libraries/science/biology/EBTKS { };
33683370
33693371 ecasound = callPackage ../applications/audio/ecasound { };