diff options
Diffstat (limited to 'pkgs/development/compilers/idris/wrapper.nix')
-rw-r--r-- | pkgs/development/compilers/idris/wrapper.nix | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/pkgs/development/compilers/idris/wrapper.nix b/pkgs/development/compilers/idris/wrapper.nix deleted file mode 100644 index 857a31f6d4ab..000000000000 --- a/pkgs/development/compilers/idris/wrapper.nix +++ /dev/null @@ -1,11 +0,0 @@ -{ stdenv, gmp, makeWrapper, runCommand, idris_plain, boehmgc}: - -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 -L${boehmgc}/lib"' \ - --suffix PATH : ${stdenv.cc}/bin \ - --suffix PATH : ${idris_plain}/bin -'' |