public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #33069 from brainrape/fix-idris-modules

Browse Source 
idris: fix modules
This commit is contained in:
Michael Raskin 2018-02-03 21:47:37 +00:00 committed by GitHub
commit 2a541cc8f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/idris-modules/idris-wrapper.nix
View File

@ -5,6 +5,7 @@ symlinkJoin {
src = idris.src; src = idris.src;
paths = [ idris ]; paths = [ idris ];
buildInputs = [ makeWrapper ]; buildInputs = [ makeWrapper ];
meta.platforms = idris.meta.platforms;
postBuild = '' postBuild = ''
wrapProgram $out/bin/idris \ wrapProgram $out/bin/idris \
--suffix PATH : ${ stdenv.lib.makeBinPath path } \ --suffix PATH : ${ stdenv.lib.makeBinPath path } \
@ -14,4 +15,3 @@ symlinkJoin {
substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook
''; '';
} }