diff options
| author | Márton Boros <martonboros@gmail.com> | 2018-02-03 10:17:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-03 10:17:24 +0100 |
| commit | 2996be511d3c4ac16694584fe114edd30a25309e (patch) | |
| tree | 3b2d58e7d4da051a31990c1c4bcd86b7ddf6635f /pkgs/development/idris-modules | |
| parent | e3220fe6b56ba91f9aea0f7d7aafeb273eb33272 (diff) | |
| download | nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.tar nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.tar.gz nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.tar.bz2 nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.tar.lz nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.tar.xz nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.tar.zst nixpkgs-2996be511d3c4ac16694584fe114edd30a25309e.zip | |
Undo spacing difference
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/idris-wrapper.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix index 0e3a8393140..155098a4625 100644 --- a/pkgs/development/idris-modules/idris-wrapper.nix +++ b/pkgs/development/idris-modules/idris-wrapper.nix @@ -10,6 +10,7 @@ symlinkJoin { wrapProgram $out/bin/idris \ --suffix PATH : ${ stdenv.lib.makeBinPath path } \ --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib} + mkdir -p $out/nix-support substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook ''; |