chvp/nixos-config
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

kotlin-language-server: 1.2.0 -> 1.3.0

Browse source
This commit is contained in:
Charlotte Van Petegem 2022-03-21 11:46:38 +01:00
parent 03ab991cdc
commit 0a67614666
No known key found for this signature in database
GPG key ID: 019E764B7184435A
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
packages/kotlin-language-server/default.nix
View file

@ -1,11 +1,11 @@
{ lib, stdenv, fetchzip, jdk11, makeWrapper, ... }: { lib, stdenv, fetchzip, jdk17, makeWrapper, ... }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "kotlin-language-server"; pname = "kotlin-language-server";
version = "1.2.0"; version = "1.3.0";
src = fetchzip { src = fetchzip {
url = "https://github.com/fwcd/${pname}/releases/download/${version}/server.zip"; url = "https://github.com/fwcd/${pname}/releases/download/${version}/server.zip";
sha256 = "ooVEYL4ENf15NQWEU/5uQYD+s/RM2vTKDSpWUcccsPM="; sha256 = "nqrZoSntomNLUMTni/yoiVhDOJFSFmZeGze8IJhITu0=";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];
@ -14,6 +14,6 @@ stdenv.mkDerivation rec {
mkdir -p $out mkdir -p $out
cp -r $src/* $out/ cp -r $src/* $out/
chmod -R u=rwX $out chmod -R u=rwX $out
wrapProgram $out/bin/kotlin-language-server --set JAVA_HOME ${jdk11} wrapProgram $out/bin/kotlin-language-server --set JAVA_HOME ${jdk17}
''; '';
} }