agda-stdlib: no need to jailbreak anymore

2014-06-19 13:37:31 +02:00 · 2014-06-19 13:37:31 +02:00 · 9ceeb77bd3
commit 9ceeb77bd3
parent 0a8455800c
1 changed files with 0 additions and 1 deletions
--- 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";