agdaPackages.standard-library: don't install Everything files

3 years ago · 688ebdc77d
parent 226299e1a2
commit 688ebdc77d
1 changed files with 3 additions and 0 deletions
--- a/pkgs/development/libraries/agda/standard-library/default.nix
+++ b/pkgs/development/libraries/agda/standard-library/default.nix
@ -14,6 +14,9 @@ mkDerivation rec {
  nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];
  preConfigure = ''
    runhaskell GenerateEverything.hs
+    # We will only build/consider Everything.agda, in particular we don't want Everything*.agda
+    # do be copied to the store.
+    rm EverythingSafe.agda EverythingSafeGuardedness.agda EverythingSafeSizedTypes.agda
  '';

  meta = with lib; {