ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-15 03:15:56 +03:00
Code Issues Projects Releases Wiki Activity

add idris wrapper

Browse Source
This commit is contained in:
Mathijs Kwik 2013-06-05 22:29:10 +02:00
parent c78ba70c2f
commit 35d3e38d54
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/compilers/idris/wrapper.nix Normal file
View File

@ -0,0 +1,10 @@
{ gmp, makeWrapper, gcc, runCommand, idris_plain}:
runCommand "idris-wrapper" {} ''
source ${makeWrapper}/nix-support/setup-hook
mkdir -p $out/bin
ln -s ${idris_plain}/bin/idris $out/bin
wrapProgram $out/bin/idris \
--suffix NIX_CFLAGS_COMPILE : '"-I${gmp}/include -L${gmp}/lib"' \
--suffix PATH : ${gcc}/bin
''

4
pkgs/top-level/haskell-packages.nix
View File

@ -2243,7 +2243,9 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
darcs = callPackage ../applications/version-management/darcs {};
idris = callPackage ../development/compilers/idris {};
idris_plain = callPackage ../development/compilers/idris {};
idris = callPackage ../development/compilers/idris/wrapper.nix {};
leksah = callPackage ../applications/editors/leksah {
QuickCheck = self.QuickCheck2;