diff options
| author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:37:31 +0200 |
|---|---|---|
| committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:38:54 +0200 |
| commit | 9ceeb77bd35708e4aff0da429bc3658adec9d410 (patch) | |
| tree | 30dc030b0e679609d2faf7a2a792f70327719504 /pkgs | |
| parent | 0a8455800c66d78e44907907639376225f18f0f6 (diff) | |
| download | nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.gz nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.bz2 nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.lz nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.xz nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.zst nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.zip | |
agda-stdlib: no need to jailbreak anymore
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/agda/stdlib-0.8.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/development/compilers/agda/stdlib-0.8.nix b/pkgs/development/compilers/agda/stdlib-0.8.nix index d3b848d73b51..9a78744ca299 100644 --- a/pkgs/development/compilers/agda/stdlib-0.8.nix +++ b/pkgs/development/compilers/agda/stdlib-0.8.nix @@ -10,7 +10,6 @@ cabal.mkDerivation (self: rec { }; buildDepends = [ filemanip Agda ]; - jailbreak = true; # otherwise, it complains about base preConfigure = "cd ffi"; |