ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-11 15:27:20 +03:00
Code Issues Projects Releases Wiki Activity

idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes

Browse Source
This commit is contained in:
Mathew Polzin 2024-06-23 11:24:29 -05:00
parent 85c18bcd36
commit 84cde749e6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/idris2/idris2-lsp.nix
View File

@ -11,8 +11,8 @@ let
];
globalLibrariesPath = builtins.concatStringsSep ":" globalLibraries;
idris2Api = idris2Packages.idris2Api { };
lspLib = (idris2Packages.buildIdris {
inherit (idris2Packages) idris2Api;
lspLib = idris2Packages.buildIdris {
ipkgName = "lsp-lib";
version = "2024-01-21";
src = fetchFromGitHub {
@ -22,7 +22,7 @@ let
hash = "sha256-ICW9oOOP70hXneJFYInuPY68SZTDw10dSxSPTW4WwWM=";
};
idrisLibraries = [ ];
}).library { };
};
lspPkg = idris2Packages.buildIdris {
ipkgName = "idris2-lsp";