diff options
author | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-11-09 10:21:08 +0100 |
---|---|---|
committer | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-11-09 20:10:31 +0100 |
commit | 15d85dac8065f2bb2fa00527a826bb6baebf16af (patch) | |
tree | 9c3b0686fc23bf94ae6454fb08979316acc135d1 /pkgs | |
parent | 11c55d061ece63f8346eff7dcea269b1be8fb99b (diff) |
redprl: switch to fetchFromGitHub, use postPatch
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/redprl/default.nix | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix index 05a7b63f55681..eece691bfd782 100644 --- a/pkgs/applications/science/logic/redprl/default.nix +++ b/pkgs/applications/science/logic/redprl/default.nix @@ -1,25 +1,32 @@ -{ lib, stdenv, fetchgit, mlton }: +{ lib, stdenv, fetchFromGitHub, mlton }: + stdenv.mkDerivation { pname = "redprl"; version = "unstable-2017-03-28"; - src = fetchgit { - url = "https://github.com/RedPRL/sml-redprl.git"; + src = fetchFromGitHub { + owner = "RedPRL"; + repo = "sml-redprl"; rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b"; - sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c"; fetchSubmodules = true; + sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c"; }; + buildInputs = [ mlton ]; - patchPhase = '' + + postPatch = '' patchShebangs ./script/ ''; + buildPhase = '' ./script/mlton.sh ''; + installPhase = '' mkdir -p $out/bin mv ./bin/redprl $out/bin ''; + meta = with lib; { description = "A proof assistant for Nominal Computational Type Theory"; homepage = "http://www.redprl.org/"; |