Unverified Commit 5de1815b authored by Naïm Favier's avatar Naïm Favier Committed by GitHub
Browse files

Merge pull request #215990 from ncfavier/agda-tests 

agda: fix passthru
parents 4bfb6411 65e774e2

pkgs/build-support/agda/default.nix

+5 −1
Original line number Diff line number Diff line
@@ -20,7 +20,11 @@ let 
    nativeBuildInputs = [ makeWrapper ];

    passthru = {

      unwrapped = Agda;

      tests = { inherit (nixosTests) agda; };

      inherit withPackages;

      tests = {

        inherit (nixosTests) agda;

        allPackages = withPackages (lib.filter self.lib.isUnbrokenAgdaPackage (lib.attrValues self));

      };

    };

    inherit (Agda) meta;

  } ''

pkgs/top-level/agda-packages.nix

+3 −6
Original line number Diff line number Diff line 
{ pkgs, lib, callPackage, newScope, Agda }:

{ pkgs, lib, newScope, Agda }:



let

  mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);

  mkAgdaPackages' = Agda: self: let

    callPackage = self.callPackage;

    inherit (self) callPackage;

    inherit (callPackage ../build-support/agda {

      inherit Agda self;

      inherit (pkgs.haskellPackages) ghcWithPackages;
@@ -13,10 +13,7 @@ let 


    lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });



    agda = withPackages [] // {

      inherit withPackages;

      passthru.tests.allPackages = withPackages (lib.filter (pkg: self.lib.isUnbrokenAgdaPackage pkg) (lib.attrValues self));

    };

    agda = withPackages [];



    standard-library = callPackage ../development/libraries/agda/standard-library {

      inherit (pkgs.haskellPackages) ghcWithPackages;