diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-11-13 06:53:10 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-11-20 09:04:33 +0100 |
| commit | 181a9fe1eaf18e8416bf62d505824d5d33d9e77c (patch) | |
| tree | a237ebcc19878729908cef4bb0528464b57a5d96 /pkgs/applications/science | |
| parent | 39533b0a22c511a010f6b7cab027ce6f0b2fd37a (diff) | |
easycrypt: fix runtest command
The `ec-runtest` program is still available as a separate easycrypt-runtest package, but the `easycrypt runtest` command now also works out-of-the-box.
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/easycrypt/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/easycrypt/default.nix b/pkgs/applications/science/logic/easycrypt/default.nix index 32243455ae5f5..2ea2dea70718c 100644 --- a/pkgs/applications/science/logic/easycrypt/default.nix +++ b/pkgs/applications/science/logic/easycrypt/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3 }: +{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3, python3 }: stdenv.mkDerivation rec { pname = "easycrypt"; @@ -16,6 +16,7 @@ stdenv.mkDerivation rec { findlib menhir ocaml + python3.pkgs.wrapPython ]; buildInputs = with ocamlPackages; [ batteries @@ -33,10 +34,13 @@ stdenv.mkDerivation rec { substituteInPlace dune-project --replace '(name easycrypt)' '(name easycrypt)(version ${version})' ''; + pythonPath = with python3.pkgs; [ pyyaml ]; + installPhase = '' runHook preInstall dune install --prefix $out ${pname} rm $out/bin/ec-runtest + wrapPythonProgramsIn "$out/lib/easycrypt/commands" "$pythonPath" runHook postInstall ''; |