diff options
| author | Jonas Chevalier <zimbatm@zimbatm.com> | 2021-05-13 19:17:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-13 19:17:29 +0200 |
| commit | c6b62f2381571cc83c6c32ef4984fabcbb4ca892 (patch) | |
| tree | af1d2c57ebaf61652faf6697bbc81044a0e27d88 /pkgs/build-support/agda | |
| parent | 7693c5d59b01a50c4cb2c20c741f505c84f34677 (diff) | |
| download | nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.tar nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.tar.gz nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.tar.bz2 nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.tar.lz nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.tar.xz nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.tar.zst nixpkgs-c6b62f2381571cc83c6c32ef4984fabcbb4ca892.zip | |
mkShell: introduce packages argument (#122180)
The distinction between the inputs doesn't really make sense in the mkShell context. Technically speaking, we should be using the nativeBuildInputs most of the time. So in order to make this function more beginner-friendly, add "packages" as an attribute, that maps to nativeBuildInputs. This commit also updates all the uses in nixpkgs.
Diffstat (limited to 'pkgs/build-support/agda')
| -rw-r--r-- | pkgs/build-support/agda/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index 984d61f1f75..ed7d11a1314 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -1,6 +1,6 @@ # Builder for Agda packages. -{ stdenv, lib, self, Agda, runCommandNoCC, makeWrapper, writeText, mkShell, ghcWithPackages, nixosTests }: +{ stdenv, lib, self, Agda, runCommandNoCC, makeWrapper, writeText, ghcWithPackages, nixosTests }: with lib.strings; |