diff options
| author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2024-03-11 01:54:48 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-11 01:54:48 -0600 |
| commit | 70d254a3deea0ccedc2fc58eaea618dbce49f68c (patch) | |
| tree | 7915fe23db56b745a9a56e5307e48b29b86d839e | |
| parent | c317ecd14f75eef9c446b59930d1858579ca9ccd (diff) | |
| parent | 8082302cfa19f9546c60d6d42fdbd19bd34f3009 (diff) | |
| download | nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.tar nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.tar.gz nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.tar.bz2 nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.tar.lz nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.tar.xz nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.tar.zst nixlib-70d254a3deea0ccedc2fc58eaea618dbce49f68c.zip | |
Merge pull request #294575 from mattpolzin/add-idris2-lsp-meta
idris2Packages.idris2Lsp: Add metadata to derivation
| -rw-r--r-- | pkgs/development/compilers/idris2/idris2-lsp.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pkgs/development/compilers/idris2/idris2-lsp.nix b/pkgs/development/compilers/idris2/idris2-lsp.nix index d73f2d70d6d0..a9587588417a 100644 --- a/pkgs/development/compilers/idris2/idris2-lsp.nix +++ b/pkgs/development/compilers/idris2/idris2-lsp.nix @@ -1,4 +1,4 @@ -{ fetchFromGitHub, idris2Packages, makeWrapper }: +{ lib, fetchFromGitHub, idris2Packages, makeWrapper }: let globalLibraries = let @@ -40,5 +40,12 @@ let wrapProgram $out/bin/idris2-lsp \ --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}" ''; + + meta = with lib; { + description = "Language Server for Idris2"; + homepage = "https://github.com/idris-community/idris2-lsp"; + license = licenses.bsd3; + maintainers = with maintainers; [ mattpolzin ]; + }; }; in lspPkg.executable |