From 7d20323b117efe1821baaa12c2e2bc641c580568 Mon Sep 17 00:00:00 2001 From: sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> Date: Thu, 15 Jul 2021 12:35:15 +0200 Subject: [PATCH 1/2] top-level/release-haskell.nix: add agda packages and test to jobset Since the agda compiler is updated via haskellPackages.Agda, we are quite likely to cause regressions in agdaPackages when the language is changed via compiler updates. Thus we should build agdaPackages (which is very small) as part of the haskell-updates jobset and track if basic agda functionality (compiler and standard library) is working. --- pkgs/top-level/release-haskell.nix | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/top-level/release-haskell.nix b/pkgs/top-level/release-haskell.nix index 5ca21134275..151a415f476 100644 --- a/pkgs/top-level/release-haskell.nix +++ b/pkgs/top-level/release-haskell.nix @@ -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. From c64ddc2071939288c03e6e10701b11d0198a7df6 Mon Sep 17 00:00:00 2001 From: sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> Date: Thu, 15 Jul 2021 12:37:11 +0200 Subject: [PATCH 2/2] agdaPackages.iowa-stdlib: don't try to build on Hydra It's marked as broken which always creates a lot of clutter in hydra evaluation error pages, so we'll just set hydraPlatforms = [] for now. --- pkgs/development/libraries/agda/iowa-stdlib/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix index 1383cff9e55..ff92e6a0610 100644 --- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix @@ -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 ]; }; })