diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2018-02-03 21:47:37 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-03 21:47:37 +0000 |
commit | 2a541cc8f7f3f4d85b54ca740ac89e7894ed251f (patch) | |
tree | e8dde7d2d4c18f255244b9384f34a8b75aa7324e /pkgs/development | |
parent | be40296afe63c582e4ec1643e7b372a2e2862b42 (diff) | |
parent | 2996be511d3c4ac16694584fe114edd30a25309e (diff) | |
download | nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.gz nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.bz2 nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.lz nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.xz nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.zst nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.zip |
Merge pull request #33069 from brainrape/fix-idris-modules
idris: fix modules
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/idris-modules/idris-wrapper.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix index c67624337bbb..155098a46252 100644 --- a/pkgs/development/idris-modules/idris-wrapper.nix +++ b/pkgs/development/idris-modules/idris-wrapper.nix @@ -5,6 +5,7 @@ symlinkJoin { src = idris.src; paths = [ idris ]; buildInputs = [ makeWrapper ]; + meta.platforms = idris.meta.platforms; postBuild = '' wrapProgram $out/bin/idris \ --suffix PATH : ${ stdenv.lib.makeBinPath path } \ @@ -14,4 +15,3 @@ symlinkJoin { substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook ''; } - |