idris-modules: documentation

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";
+  };
+}