idris: jailbreak to fix build with recent version of 'lens'

+2 -1
+2 -1
pkgs/development/compilers/idris/default.nix
··· 23 ]; 24 buildTools = [ happy ]; 25 extraLibraries = [ boehmgc gmp ]; 26 - configureFlags = "-fllvm -fgmp -fffi"; 27 meta = { 28 homepage = "http://www.idris-lang.org/"; 29 description = "Functional Programming Language with Dependent Types";
··· 23 ]; 24 buildTools = [ happy ]; 25 extraLibraries = [ boehmgc gmp ]; 26 + configureFlags = "-fgmp -fffi"; 27 + jailbreak = true; 28 meta = { 29 homepage = "http://www.idris-lang.org/"; 30 description = "Functional Programming Language with Dependent Types";