diff options
| author | Maksymilian Owsianny <Maksymilian.Owsianny@gmail.com> | 2014-09-29 00:51:21 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-29 04:14:59 +0100 |
| commit | a7197741aca9653bc436ffb987082b4779ae6870 (patch) | |
| tree | 76f496bfe755bc8d56e799e70de6013627c6423a /pkgs/development | |
| parent | 6b2ecc5b39dbb0cb1f047418e706ccdad08ae49b (diff) | |
| download | nixlib-a7197741aca9653bc436ffb987082b4779ae6870.tar nixlib-a7197741aca9653bc436ffb987082b4779ae6870.tar.gz nixlib-a7197741aca9653bc436ffb987082b4779ae6870.tar.bz2 nixlib-a7197741aca9653bc436ffb987082b4779ae6870.tar.lz nixlib-a7197741aca9653bc436ffb987082b4779ae6870.tar.xz nixlib-a7197741aca9653bc436ffb987082b4779ae6870.tar.zst nixlib-a7197741aca9653bc436ffb987082b4779ae6870.zip | |
Fixed idris wrapper to make idris work with different backends.
Closes #4314
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/compilers/idris/wrapper.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/idris/wrapper.nix b/pkgs/development/compilers/idris/wrapper.nix index fce5c0c89f37..2985b33c1706 100644 --- a/pkgs/development/compilers/idris/wrapper.nix +++ b/pkgs/development/compilers/idris/wrapper.nix @@ -6,5 +6,6 @@ runCommand "idris-wrapper" {} '' ln -s ${idris_plain}/bin/idris $out/bin wrapProgram $out/bin/idris \ --suffix NIX_CFLAGS_COMPILE : '"-I${gmp}/include -L${gmp}/lib -L${boehmgc}/lib"' \ - --suffix PATH : ${gcc}/bin + --suffix PATH : ${gcc}/bin \ + --suffix PATH : ${idris_plain}/bin '' |