diff options
| author | Pavol Rusnak <pavol@rusnak.io> | 2021-01-17 19:11:59 +0100 |
|---|---|---|
| committer | Pavol Rusnak <pavol@rusnak.io> | 2021-01-17 19:11:59 +0100 |
| commit | cf2a67fef385d021ced8a63048c0cf88f2d8dbc5 (patch) | |
| tree | 023d243734d46147fd7738d3ef353b3dbd76a5ac /pkgs/development/idris-modules | |
| parent | 979e6e67d32a934dcc39dedfd588baf6e3f7ed78 (diff) | |
| download | nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.tar nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.tar.gz nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.tar.bz2 nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.tar.lz nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.tar.xz nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.tar.zst nixpkgs-cf2a67fef385d021ced8a63048c0cf88f2d8dbc5.zip | |
pkgs/development: stdenv.lib -> lib
this takes care of the following folders in pkgs/development: * arduino * chez-modules * go-packages * guile-modules * idris-modules * perl-modules * r-modules * ruby-modules
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/with-packages.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/with-packages.nix b/pkgs/development/idris-modules/with-packages.nix index 47136839d01..72b9067b691 100644 --- a/pkgs/development/idris-modules/with-packages.nix +++ b/pkgs/development/idris-modules/with-packages.nix @@ -1,10 +1,10 @@ # Build a version of idris with a set of packages visible # packages: The packages visible to idris -{ stdenv, idris, symlinkJoin, makeWrapper }: packages: +{ stdenv, lib, idris, symlinkJoin, makeWrapper }: packages: -let paths = stdenv.lib.closePropagation packages; +let paths = lib.closePropagation packages; in -stdenv.lib.appendToName "with-packages" (symlinkJoin { +lib.appendToName "with-packages" (symlinkJoin { inherit (idris) name; |