diff options
-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 ''; |