Commit Graph

10 Commits

Author SHA1 Message Date
Naïm Favier
65e774e2a4
agda: fix passthru
The current `//` override to `agda.passthru.tests` is non-recursive so
it destroys everything else under `passthru`, and furthermore does not
go through `mkDerivation` so that we end up with different values for
`agda.tests` and `agda.passthru.tests`.

Fix it by moving the `allPackages` test to the definition of
`withPackages`.
2023-02-12 14:44:16 +01:00
Manuel Bärenz
7a135abf60
Merge pull request #98214 from turion/dev_test_all_agda_packages
Fix #98209. Test all agda packages
2021-10-19 09:56:50 +02:00
Manuel Bärenz
2e5ce8930c agdaPackages.agdarsec: Init at 0.4.1 2021-08-30 09:20:45 +02:00
Manuel Bärenz
8c0be16075 adga: Add test for all packages 2021-08-03 13:33:59 +02:00
Alexander Ben Nasrallah
226299e1a2
agdaPackages.mkDerivation: don't install Everything module
The Everthing module is not part of a library and should therefore
not be copied to the nix store.

This is particularly bad, if the Everything module is defined in
an agda library included directory, e.g. consider an agda-lib with

    include: .

and Everything.agda in the project root (.), in which case the
Everything module would become part of the library.
If multiple such projects are in the dependency tree, the Everything
module becomes ambiguous and the build would fail.
2021-01-24 17:30:01 +01:00
Ryan Orendorff
c78dc9cf5b agda-packages: add fla library at v0.1
Adds the functional-linear-algebra library to the agda package set.
2020-10-15 10:54:22 -06:00
Alex Rice
c63ece0998
agdaPackages.generic: init at v0.1 2020-08-10 14:56:23 +01:00
Ryan Orendorff
f7ad47a8f6
agdaPackages.cubical: init at 0.2 (#76994)
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
2020-05-19 13:20:35 -04:00
Alex Rice
6c1cdedb6d
agda-categories: init at 0.1 2020-05-14 20:54:12 +01:00
Alex Rice
d30e2468e0
agda: rework builder 2020-05-14 20:54:11 +01:00