Merge pull request #294575 from mattpolzin/add-idris2-lsp-meta

idris2Packages.idris2Lsp: Add metadata to derivation
This commit is contained in:
Fabián Heredia Montiel 2024-03-11 01:54:48 -06:00 committed by GitHub
commit 70d254a3de
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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