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/build-builtin-package.nix | |
parent | 0dce60b34d8fefa02904debc9e6d427a6cb7d459 (diff) | |
download | nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.tar nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.tar.gz nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.tar.bz2 nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.tar.lz nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.tar.xz nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.tar.zst nixlib-0f90c9dbc1a42430883ab31853ba25e9d9ec26a5.zip |
idris-modules: documentation
Diffstat (limited to 'pkgs/development/idris-modules/build-builtin-package.nix')
-rw-r--r-- | pkgs/development/idris-modules/build-builtin-package.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/pkgs/development/idris-modules/build-builtin-package.nix b/pkgs/development/idris-modules/build-builtin-package.nix index 7445e95e27c0..95641a8f9fa1 100644 --- a/pkgs/development/idris-modules/build-builtin-package.nix +++ b/pkgs/development/idris-modules/build-builtin-package.nix @@ -1,4 +1,7 @@ -{ idris, build-idris-package }: name: deps: build-idris-package (args: { +# Build one of the packages that come with idris +# name: The name of the package +# deps: The dependencies of the package +{ idris, build-idris-package, lib }: name: deps: build-idris-package { inherit name; propagatedBuildInputs = deps; @@ -9,4 +12,8 @@ mv $sourceRoot/libs/${name} $IDRIS_LIBRARY_PATH sourceRoot=$IDRIS_LIBRARY_PATH/${name} ''; -}) + + meta = idris.meta // { + description = "${name} builtin Idris library"; + }; +} |