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

idris: fix modules

Browse Source
This commit is contained in:
Márton Boros 2017-12-26 10:55:17 +01:00
parent f1c236a987
commit 92538f0a54
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,10 +5,10 @@ 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 } \
--suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib} --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib}
''; '';
} }