diff options
author | Alexander Ben Nasrallah <me@abn.sh> | 2021-01-18 20:01:31 +0100 |
---|---|---|
committer | Alexander Ben Nasrallah <me@abn.sh> | 2021-01-24 17:30:01 +0100 |
commit | 226299e1a2e8dbc9ee8b10042182d8a1f47d7f16 (patch) | |
tree | 83dc1d3fb4e1bc6a5e9828fb4e649031942b0da8 /pkgs/top-level/agda-packages.nix | |
parent | b929be75dcd605b4233bb69372e1c8b1d7449f47 (diff) | |
download | nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.gz nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.bz2 nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.lz nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.xz nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.zst nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.zip |
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.
Diffstat (limited to 'pkgs/top-level/agda-packages.nix')
-rw-r--r-- | pkgs/top-level/agda-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix index 601ab6d42b9..7434134d28f 100644 --- a/pkgs/top-level/agda-packages.nix +++ b/pkgs/top-level/agda-packages.nix @@ -11,6 +11,8 @@ let in { inherit mkDerivation; + lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; }); + agda = withPackages [] // { inherit withPackages; }; standard-library = callPackage ../development/libraries/agda/standard-library { |