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/applications | |
| parent | b20934a65c0541c2b83b688de24e3991b3db426e (diff) | |
| download | nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.tar nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.tar.gz nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.tar.bz2 nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.tar.lz nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.tar.xz nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.tar.zst nixpkgs-c777cdf5c564015d5f63b09cc93bef4178b19b01.zip | |
easycrypt-runtest: init at 2022.04
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/easycrypt/runtest.nix | 24 |
1 files changed, 24 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 00000000000..79a034b9369 --- /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"; + }; +} |