diff options
author | Peter Simons <simons@cryp.to> | 2014-11-01 19:52:49 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-11-01 21:08:06 +0100 |
commit | f12ef6933630ef3d9d0b7941c6e2fbf17868f05f (patch) | |
tree | e73d63272432b8addcb3e7e6cc719000c50f9abe /pkgs/development/compilers | |
parent | c487bdc12abd6ce9eb472ace32f2acc921bcb226 (diff) | |
download | nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.tar nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.tar.gz nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.tar.bz2 nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.tar.lz nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.tar.xz nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.tar.zst nixpkgs-f12ef6933630ef3d9d0b7941c6e2fbf17868f05f.zip |
idris: jailbreak to fix build with recent version of 'lens'
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
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"; |