diff options
| author | Naïm Camille Favier <n@monade.li> | 2025-07-11 01:00:47 +0200 |
|---|---|---|
| committer | Naïm Camille Favier <n@monade.li> | 2025-07-16 12:21:39 +0200 |
| commit | 1288f57e557951419770b5691fc613f8e3266c73 (patch) | |
| tree | 96d75423f154d5e21d8ed4c7e87e4340cdcde843 /pkgs/development/python-modules/httpserver | |
| parent | 5be62c29be1d8b17629fafcdc5a87a0768e006b6 (diff) | |
agdaPackages: switch to `--build-library`
Use the new `--build-library` mode introduced in Agda 2.8.0 to build
libraries instead of relying on ad-hoc `Everything` files. This
simplifies most derivations (except cubical-mini which imports generated
`Everything` files from various modules).
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions