diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-04-27 11:35:20 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-05-05 06:57:50 +0200 |
commit | c777cdf5c564015d5f63b09cc93bef4178b19b01 (patch) | |
tree | e27772a8fbfc69d7ae5d87db88bbfae02d1adb24 /pkgs | |
parent | b20934a65c0541c2b83b688de24e3991b3db426e (diff) |
easycrypt-runtest: init at 2022.04
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/easycrypt/runtest.nix | 24 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/easycrypt/runtest.nix b/pkgs/applications/science/logic/easycrypt/runtest.nix new file mode 100644 index 0000000000000..79a034b936937 --- /dev/null +++ b/pkgs/applications/science/logic/easycrypt/runtest.nix @@ -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"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 32e10a11a1920..e61db0e75b852 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 { }; |