Merge pull request #19021 from acowley/redprl-install-script-shebangs

redprl: patch install script shebangs
2025-02-09 05:33:25 +00:00 · 2016-09-28 01:03:02 +02:00 · 2016-09-28 01:03:02 +02:00 · 58dc2f9d49
commit 58dc2f9d49
parent 334abbc323 a523351314
1 changed files with 3 additions and 0 deletions
--- 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