nixpkgs/pkgs/build-support/agda/lib.nix at a76b8b330b139aa808d141a1164e14d27af3a882 - mirrors/nixpkgs - Alioth Systems Laboratories

mirrors/nixpkgs

mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 21:21:06 +00: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

11 lines

336 B

Nix

Raw Blame History

 { lib }:
 {
   /* Returns the Agda interface file to a given Agda file.
   *
   * Examples:
   * interfaceFile "Everything.agda" == "Everything.agdai"
   * interfaceFile "src/Everything.lagda.tex" == "src/Everything.agdai"
   */
   interfaceFile = agdaFile: lib.head (builtins.match ''(.*\.)l?agda(\.(md|org|rst|tex))?'' agdaFile) + "agdai";
 }