From f12ef6933630ef3d9d0b7941c6e2fbf17868f05f Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Sat, 1 Nov 2014 19:52:49 +0100
Subject: [PATCH] idris: jailbreak to fix build with recent version of 'lens'

---
 pkgs/development/compilers/idris/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix
index cc2bfd40c92..16bf3bdeb95 100644
--- a/pkgs/development/compilers/idris/default.nix
+++ b/pkgs/development/compilers/idris/default.nix
@@ -23,7 +23,8 @@ cabal.mkDerivation (self: {
   ];
   buildTools = [ happy ];
   extraLibraries = [ boehmgc gmp ];
-  configureFlags = "-fllvm -fgmp -fffi";
+  configureFlags = "-fgmp -fffi";
+  jailbreak = true;
   meta = {
     homepage = "http://www.idris-lang.org/";
     description = "Functional Programming Language with Dependent Types";