From 688ebdc77dcc73163da651ad1bfc7509266df67e Mon Sep 17 00:00:00 2001 From: Alexander Ben Nasrallah Date: Fri, 22 Jan 2021 15:16:53 +0100 Subject: agdaPackages.standard-library: don't install Everything files --- pkgs/development/libraries/agda/standard-library/default.nix | 3 +++ 1 file changed, 3 insertions(+) (limited to 'pkgs/development/libraries/agda') diff --git a/pkgs/development/libraries/agda/standard-library/default.nix b/pkgs/development/libraries/agda/standard-library/default.nix index 1d8dc03bbde95..39e30b3c3711e 100644 --- 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; { -- cgit 1.4.1