diff options
| author | Anthony Cowley <acowley@gmail.com> | 2016-09-27 18:24:06 -0400 |
|---|---|---|
| committer | Anthony Cowley <acowley@gmail.com> | 2016-09-27 18:24:06 -0400 |
| commit | a523351314a10eed280dad6e7ce96a1e48c12e5c (patch) | |
| tree | 111054eaba1695e7081d1bca1c4d7787bdc2dc86 /pkgs/applications/science/logic/redprl | |
| parent | 4dd6d9748c2070f5ca1c8e6a16c5e0c0f41bbaf9 (diff) | |
| download | nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.tar nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.tar.gz nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.tar.bz2 nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.tar.lz nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.tar.xz nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.tar.zst nixlib-a523351314a10eed280dad6e7ce96a1e48c12e5c.zip | |
redprl: patch install script shebangs
Diffstat (limited to 'pkgs/applications/science/logic/redprl')
| -rw-r--r-- | pkgs/applications/science/logic/redprl/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix index 1df3fa940f94..70b3008156c7 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 |