From a523351314a10eed280dad6e7ce96a1e48c12e5c Mon Sep 17 00:00:00 2001
From: Anthony Cowley <acowley@gmail.com>
Date: Tue, 27 Sep 2016 18:24:06 -0400
Subject: [PATCH] redprl: patch install script shebangs
---
pkgs/applications/science/logic/redprl/default.nix | 3 +++
1 file changed, 3 insertions(+)
diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix
index 1df3fa940f9..70b3008156c 100644
--- a/pkgs/applications/science/logic/redprl/default.nix
+++ b/pkgs/applications/science/logic/redprl/default.nix
@@ -8,6 +8,9 @@ stdenv.mkDerivation {
fetchSubmodules = true;
};
buildInputs = [ mlton ];
+ patchPhase = ''
+ patchShebangs ./script/
+ '';
builder = builtins.toFile "builder.sh" ''
source $stdenv/setup
mkdir -p $out/bin