From f7a9743574dadec41d24cb08a50dc1892e72d242 Mon Sep 17 00:00:00 2001 From: Mathijs Kwik Date: Sun, 29 Sep 2013 22:35:30 +0200 Subject: [PATCH] idris: build with latest llvm-general(-pure) --- pkgs/top-level/haskell-packages.nix | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 7cdce8907bee..c42e5b18508c 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -2430,9 +2430,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x darcs = callPackage ../applications/version-management/darcs {}; - idris_plain = callPackage ../development/compilers/idris { - llvmGeneral = self.llvmGeneral_3_3_5; - }; + idris_plain = callPackage ../development/compilers/idris {}; idris = callPackage ../development/compilers/idris/wrapper.nix {};