BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #130263 from sternenseemann/haskell-updates-agda

Browse source 
top-level/release-haskell.nix: add agda packages and test to jobset
This commit is contained in:
Dennis Gosnell 2021-07-22 22:49:40 +09:00 committed by GitHub
commit 9546f2332e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/development/libraries/agda/iowa-stdlib/default.nix
View file

@ -26,6 +26,8 @@ mkDerivation (rec {
platforms = lib.platforms.unix;
# broken since Agda 2.6.1
broken = true;
# remove once unbroken
hydraPlatforms = lib.platforms.none;
maintainers = with lib.maintainers; [ alexarice turion ];
};
})

3
pkgs/top-level/release-haskell.nix
View file

@ -91,6 +91,9 @@ let
tests.haskell = packagePlatforms pkgs.tests.haskell;
nixosTests.agda = (packagePlatforms pkgs.nixosTests).agda;
agdaPackages = packagePlatforms pkgs.agdaPackages;
pkgsMusl.haskell.compiler = packagePlatforms pkgs.pkgsMusl.haskell.compiler // {
# remove musl ghc865Binary since it is known to be broken and
# causes an evaluation error on darwin.