···

       
235
       
235
       
 
       
This will build all reverse dependencies of the standard library,

     

       
236
       
236
       
 
       
for example `agdaPackages.agda-categories`, or `agdaPackages.generic`.

     

       
237
       
237
       
 
       


     

       
238
       
238
       
+
       
In some cases it is useful to build _all_ Agda packages.

     

       
239
       
239
       
+
       
This can be done with the following Github comment:

     

       
240
       
240
       
+
       


     

       
241
       
241
       
+
       
```

     

       
242
       
242
       
+
       
@ofborg build agda.passthru.tests.allPackages

     

       
243
       
243
       
+
       
```

     

       
244
       
244
       
+
       


     

       
238
       
245
       
 
       
Sometimes, the builds of the reverse dependencies fail because they have not yet been updated and released.

     

       
239
       
246
       
 
       
You should drop the maintainers a quick issue notifying them of the breakage,

     

       
240
       
247
       
 
       
citing the build error (which you can get from the ofborg logs).

     

···

       
13
       
13
       
 
       


     

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

     

       
15
       
15
       
 
       


     

       
16
       
16
       
-
       
    agda = withPackages [] // { inherit withPackages; };

     

       
16
       
16
       
+
       
    agda = withPackages [] // {

     

       
17
       
17
       
+
       
      inherit withPackages;

     

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

     

       
19
       
19
       
+
       
    };

     

       
17
       
20
       
 
       


     

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

     

       
19
       
22
       
 
       
      inherit (pkgs.haskellPackages) ghcWithPackages;