diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-02-05 14:24:54 +0100 |
|---|---|---|
| committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-08-03 13:33:59 +0200 |
| commit | 8c0be16075ff3508c54f14221be6df43561916fa (patch) | |
| tree | 8b4e61ac03d1fc90dbde045140fd48d26937d9b6 /pkgs | |
| parent | c84b60b2a93b44268d4cdb440457832b729641c9 (diff) | |
| download | nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.gz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.bz2 nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.lz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.xz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.zst nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.zip | |
adga: Add test for all packages
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/top-level/agda-packages.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix index 7434134d28f..a70f7eb0b43 100644 --- a/pkgs/top-level/agda-packages.nix +++ b/pkgs/top-level/agda-packages.nix @@ -13,7 +13,10 @@ let lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; }); - agda = withPackages [] // { inherit withPackages; }; + agda = withPackages [] // { + inherit withPackages; + passthru.tests.allPackages = withPackages (lib.filter (pkg: self.lib.isUnbrokenAgdaPackage pkg) (lib.attrValues self)); + }; standard-library = callPackage ../development/libraries/agda/standard-library { inherit (pkgs.haskellPackages) ghcWithPackages; |