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";