From 33355cc5be73c6129559ba6b8a790948171bd60b Mon Sep 17 00:00:00 2001
From: Manuel Bärenz <programming@manuelbaerenz.de>
Date: Tue, 26 Jan 2021 13:01:48 +0100
Subject: agdaPackages: Build reverse dependencies on test

---
 pkgs/build-support/agda/default.nix | 5 +++++
 pkgs/build-support/agda/lib.nix     | 5 +++++
 2 files changed, 10 insertions(+)

(limited to 'pkgs/build-support/agda')

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index 44d5ebb9f52..42c406dbcdc 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -77,7 +77,12 @@ let
           find -not \( -path ${everythingFile} -or -path ${lib.interfaceFile everythingFile} \) -and \( ${concatMapStringsSep " -or " (p: "-name '*.${p}'") (extensions ++ extraExtensions)} \) -exec cp -p --parents -t "$out" {} +
           runHook postInstall
         '';
+
         meta = if meta.broken or false then meta // { hydraPlatforms = lib.platforms.none; } else meta;
+
+        # Retrieve all packages from the finished package set that have the current package as a dependency and build them
+        passthru.tests = with builtins;
+          lib.filterAttrs (name: pkg: self.lib.isUnbrokenAgdaPackage pkg && elem pname (map (pkg: pkg.pname) pkg.buildInputs)) self;
       };
 in
 {
diff --git a/pkgs/build-support/agda/lib.nix b/pkgs/build-support/agda/lib.nix
index 976151a8283..80a0974192b 100644
--- a/pkgs/build-support/agda/lib.nix
+++ b/pkgs/build-support/agda/lib.nix
@@ -7,4 +7,9 @@
   * interfaceFile "src/Everything.lagda.tex" == "src/Everything.agdai"
   */
   interfaceFile = agdaFile: lib.head (builtins.match ''(.*\.)l?agda(\.(md|org|rst|tex))?'' agdaFile) + "agdai";
+
+  /* Takes an arbitrary derivation and says whether it is an agda library package
+  *  that is not marked as broken.
+  */
+  isUnbrokenAgdaPackage = pkg: pkg.isAgdaDerivation or false && !pkg.meta.broken;
 }
-- 
cgit 1.4.1