diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/idris2/idris2-lsp.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/idris2/idris2-lsp.nix | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/compilers/idris2/idris2-lsp.nix b/nixpkgs/pkgs/development/compilers/idris2/idris2-lsp.nix index d73f2d70d6d0..095b973cc0cb 100644 --- a/nixpkgs/pkgs/development/compilers/idris2/idris2-lsp.nix +++ b/nixpkgs/pkgs/development/compilers/idris2/idris2-lsp.nix @@ -1,4 +1,4 @@ -{ fetchFromGitHub, idris2Packages, makeWrapper }: +{ lib, fetchFromGitHub, idris2Packages, makeWrapper }: let globalLibraries = let @@ -40,5 +40,13 @@ let wrapProgram $out/bin/idris2-lsp \ --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}" ''; + + meta = with lib; { + description = "Language Server for Idris2"; + mainProgram = "idris2-lsp"; + homepage = "https://github.com/idris-community/idris2-lsp"; + license = licenses.bsd3; + maintainers = with maintainers; [ mattpolzin ]; + }; }; in lspPkg.executable |