From 35d3e38d543f070a546437bdbc1744b2007f4ed5 Mon Sep 17 00:00:00 2001
From: Mathijs Kwik <mathijs@bluescreen303.nl>
Date: Wed, 5 Jun 2013 22:29:10 +0200
Subject: [PATCH] add idris wrapper
---
pkgs/development/compilers/idris/wrapper.nix | 10 ++++++++++
pkgs/top-level/haskell-packages.nix | 4 +++-
2 files changed, 13 insertions(+), 1 deletion(-)
create mode 100644 pkgs/development/compilers/idris/wrapper.nix
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
+''
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index fff7983d7c4..0a146559db5 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -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;