nixpkgs

nordic-dev.net/nixpkgs

Fork 0

mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 01:13:05 +00:00

Commit Graph

Author	SHA1	Message	Date
Naïm Favier	6c2b227d34	agdaPackages.*: support literate Typst files	2023-10-24 20:34:05 +02:00
Manuel Bärenz	33355cc5be	agdaPackages: Build reverse dependencies on test	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

Author

SHA1

Message

Date

Naïm Favier

6c2b227d34

agdaPackages.*: support literate Typst files

2023-10-24 20:34:05 +02:00

Manuel Bärenz

33355cc5be

agdaPackages: Build reverse dependencies on test

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

3 Commits