pyrox.dev
redprl: switch to fetchFromGitHub, use postPatch
+12
-5
pkgs/applications/science/logic/redprl/default.nix
+12
-5
pkgs/applications/science/logic/redprl/default.nix
···
1
-
{ lib, stdenv, fetchgit, mlton }:
2
stdenv.mkDerivation {
3
pname = "redprl";
4
version = "unstable-2017-03-28";
5
6
-
src = fetchgit {
7
-
url = "https://github.com/RedPRL/sml-redprl.git";
8
rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b";
9
sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c";
10
-
fetchSubmodules = true;
11
};
12
buildInputs = [ mlton ];
13
-
patchPhase = ''
14
patchShebangs ./script/
15
'';
16
buildPhase = ''
17
./script/mlton.sh
18
'';
19
installPhase = ''
20
mkdir -p $out/bin
21
mv ./bin/redprl $out/bin
22
'';
23
meta = with lib; {
24
description = "A proof assistant for Nominal Computational Type Theory";
25
homepage = "http://www.redprl.org/";
···
1
+
{ lib, stdenv, fetchFromGitHub, mlton }:
2
+
3
stdenv.mkDerivation {
4
pname = "redprl";
5
version = "unstable-2017-03-28";
6
7
+
src = fetchFromGitHub {
8
+
owner = "RedPRL";
9
+
repo = "sml-redprl";
10
rev = "bdf027de732e4a8d10f9f954389dfff0c822f18b";
11
+
fetchSubmodules = true;
12
sha256 = "0cihwnd78d3ksxp6mppifm7xpi3fsii5mixvicajy87ggw8z305c";
13
};
14
+
15
buildInputs = [ mlton ];
16
+
17
+
postPatch = ''
18
patchShebangs ./script/
19
'';
20
+
21
buildPhase = ''
22
./script/mlton.sh
23
'';
24
+
25
installPhase = ''
26
mkdir -p $out/bin
27
mv ./bin/redprl $out/bin
28
'';
29
+
30
meta = with lib; {
31
description = "A proof assistant for Nominal Computational Type Theory";
32
homepage = "http://www.redprl.org/";