diff options
Diffstat (limited to 'nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix')
-rw-r--r-- | nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix b/nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix new file mode 100644 index 000000000000..68a1a0f267ad --- /dev/null +++ b/nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix @@ -0,0 +1,14 @@ +{ stdenv, lib, symlinkJoin, makeWrapper, idris-no-deps, gmp }: + +symlinkJoin { + inherit (idris-no-deps) name src meta; + paths = [ idris-no-deps ]; + buildInputs = [ makeWrapper ]; + postBuild = '' + wrapProgram $out/bin/idris \ + --run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.cc}/bin/cc}' \ + --set 'NIX_CC_WRAPPER_TARGET_HOST_${stdenv.cc.suffixSalt}' 1 \ + --prefix NIX_CFLAGS_COMPILE " " "-I${lib.getDev gmp}/include" \ + --prefix NIX_CFLAGS_LINK " " "-L${lib.getLib gmp}/lib" + ''; +} |