diff options
author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2013-06-05 22:29:10 +0200 |
---|---|---|
committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2013-06-05 23:30:38 +0200 |
commit | 3f9723e02ed8f556c8a2e83e61b7b01753ea1e40 (patch) | |
tree | 9f96997a39996f6a459d83884af8318f39057bfc /pkgs/top-level/haskell-packages.nix | |
parent | a72ca55dd898147478260e3b1c0a49ac7e5a8c5c (diff) | |
download | nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.tar nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.tar.gz nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.tar.bz2 nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.tar.lz nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.tar.xz nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.tar.zst nixlib-3f9723e02ed8f556c8a2e83e61b7b01753ea1e40.zip |
add idris wrapper
Diffstat (limited to 'pkgs/top-level/haskell-packages.nix')
-rw-r--r-- | pkgs/top-level/haskell-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index fff7983d7c47..0a146559db52 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; |