diff options
| author | Mathew Polzin <matt.polzin@gmail.com> | 2024-01-23 23:18:34 -0600 |
|---|---|---|
| committer | Mathew Polzin <matt.polzin@gmail.com> | 2024-01-23 23:18:34 -0600 |
| commit | e9fa40dccda643e1c53a967cba8ed5077b916206 (patch) | |
| tree | 2788a2e5405522598877cd497802fb82984c3080 /pkgs/development/compilers | |
| parent | 5fe69cb9cfd7006023194473392961c35e1dd2fb (diff) | |
| download | nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.tar nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.tar.gz nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.tar.bz2 nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.tar.lz nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.tar.xz nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.tar.zst nixlib-e9fa40dccda643e1c53a967cba8ed5077b916206.zip | |
idris2Packages.idris2Lsp: init at 2024-01-21
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/idris2/default.nix | 5 | ||||
| -rw-r--r-- | pkgs/development/compilers/idris2/idris2-lsp.nix | 44 |
2 files changed, 47 insertions, 2 deletions
diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix index 8a2d28eb1ce0..79a90cbee0f3 100644 --- a/pkgs/development/compilers/idris2/default.nix +++ b/pkgs/development/compilers/idris2/default.nix @@ -5,12 +5,13 @@ let in { idris2 = callPackage ./idris2.nix { }; + idris2Lsp = callPackage ./idris2-lsp.nix { }; buildIdris = callPackage ./build-idris.nix { }; idris2Api = (idris2Packages.buildIdris { - inherit (idris2Packages.idris2) src; - projectName = "idris2api"; + inherit (idris2Packages.idris2) src version; + ipkgName = "idris2api"; idrisLibraries = [ ]; preBuild = '' export IDRIS2_PREFIX=$out/lib diff --git a/pkgs/development/compilers/idris2/idris2-lsp.nix b/pkgs/development/compilers/idris2/idris2-lsp.nix new file mode 100644 index 000000000000..d73f2d70d6d0 --- /dev/null +++ b/pkgs/development/compilers/idris2/idris2-lsp.nix @@ -0,0 +1,44 @@ +{ fetchFromGitHub, idris2Packages, makeWrapper }: + +let + globalLibraries = let + idrName = "idris2-${idris2Packages.idris2.version}"; + libSuffix = "lib/${idrName}"; + in [ + "\\$HOME/.nix-profile/lib/${idrName}" + "/run/current-system/sw/lib/${idrName}" + "${idris2Packages.idris2}/${idrName}" + ]; + globalLibrariesPath = builtins.concatStringsSep ":" globalLibraries; + + idris2Api = idris2Packages.idris2Api { }; + lspLib = (idris2Packages.buildIdris { + ipkgName = "lsp-lib"; + version = "2024-01-21"; + src = fetchFromGitHub { + owner = "idris-community"; + repo = "LSP-lib"; + rev = "03851daae0c0274a02d94663d8f53143a94640da"; + hash = "sha256-ICW9oOOP70hXneJFYInuPY68SZTDw10dSxSPTW4WwWM="; + }; + idrisLibraries = [ ]; + }).library { }; + + lspPkg = idris2Packages.buildIdris { + ipkgName = "idris2-lsp"; + version = "2024-01-21"; + src = fetchFromGitHub { + owner = "idris-community"; + repo = "idris2-lsp"; + rev = "a77ef2d563418925aa274fa29f06880dde43f4ec"; + hash = "sha256-zjfVfkpiQS9AdmTfq0hYRSelJq5Caa9VGTuFLtSvl5o="; + }; + idrisLibraries = [idris2Api lspLib]; + + buildInputs = [makeWrapper]; + postInstall = '' + wrapProgram $out/bin/idris2-lsp \ + --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}" + ''; + }; +in lspPkg.executable |