diff options
author | Shea Levy <shea@shealevy.com> | 2015-11-27 13:17:17 -0500 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2015-11-27 13:17:17 -0500 |
commit | 0f90c9dbc1a42430883ab31853ba25e9d9ec26a5 (patch) | |
tree | 9c3594aa2baaaf2ca206d063a1e3d0d69c9323cf /pkgs/development/idris-modules/with-packages.nix | |
parent | 0dce60b34d8fefa02904debc9e6d427a6cb7d459 (diff) |
idris-modules: documentation
Diffstat (limited to 'pkgs/development/idris-modules/with-packages.nix')
-rw-r--r-- | pkgs/development/idris-modules/with-packages.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/development/idris-modules/with-packages.nix b/pkgs/development/idris-modules/with-packages.nix index f8abe09fe877c..edcd20c10978e 100644 --- a/pkgs/development/idris-modules/with-packages.nix +++ b/pkgs/development/idris-modules/with-packages.nix @@ -1,7 +1,9 @@ -{ stdenv, idris }: buildInputs: stdenv.mkDerivation { +# Build a version of idris with a set of packages visible +# packages: The packages visible to idris +{ stdenv, idris }: packages: stdenv.mkDerivation { inherit (idris) name; - inherit buildInputs; + buildInputs = packages; preHook = '' mkdir -p $out/lib/${idris.name} |