diff options
Diffstat (limited to 'pkgs/development/compilers/idris/wrapper.nix')
-rw-r--r-- | pkgs/development/compilers/idris/wrapper.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/development/compilers/idris/wrapper.nix b/pkgs/development/compilers/idris/wrapper.nix new file mode 100644 index 00000000000..427a690234c --- /dev/null +++ b/pkgs/development/compilers/idris/wrapper.nix @@ -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 +'' |