pkgs/applications/science/logic/easycrypt/runtest.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

{ python3Packages, easycrypt }:

python3Packages.buildPythonApplication rec {
  inherit (easycrypt) src version;
  format = "other";

  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";
    mainProgram = "ec-runtest";
  };
}