diff options
| author | Alexander Ben Nasrallah <me@abn.sh> | 2021-01-22 15:16:53 +0100 |
|---|---|---|
| committer | Alexander Ben Nasrallah <me@abn.sh> | 2021-01-24 17:30:02 +0100 |
| commit | 688ebdc77dcc73163da651ad1bfc7509266df67e (patch) | |
| tree | 0382099e6741e71a036cd5f03828e383020c2130 /pkgs/development/libraries/agda | |
| parent | 226299e1a2e8dbc9ee8b10042182d8a1f47d7f16 (diff) | |
agdaPackages.standard-library: don't install Everything files
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/standard-library/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
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; { |