Commit ae4dd29c authored by Robert Schütz's avatar Robert Schütz Committed by Robert Schütz
Browse files

kotlin-language-server: use latest OpenJDK

It supports JDK 17 since 1.3.0:
https://github.com/fwcd/kotlin-language-server/blob/1.3.1/CHANGELOG.md

(cherry picked from commit 01fbceac)
parent fb18a8a2
Loading
Loading
Loading
Loading
+4 −3
Original line number Diff line number Diff line
{ lib, stdenv, fetchzip, openjdk11, gradle, makeWrapper, maven }:
{ lib, stdenv, fetchzip, openjdk, gradle, makeWrapper, maven }:

stdenv.mkDerivation rec {
  pname = "kotlin-language-server";
@@ -18,10 +18,10 @@ stdenv.mkDerivation rec {
  '';

  nativeBuildInputs = [ gradle makeWrapper ];
  buildInputs = [ openjdk11 gradle ];
  buildInputs = [ openjdk gradle ];

  postFixup = ''
    wrapProgram "$out/bin/kotlin-language-server" --set JAVA_HOME ${openjdk11} --prefix PATH : ${lib.strings.makeBinPath [ openjdk11 maven ] }
    wrapProgram "$out/bin/kotlin-language-server" --set JAVA_HOME ${openjdk} --prefix PATH : ${lib.strings.makeBinPath [ openjdk maven ] }
  '';

  meta = {
@@ -31,6 +31,7 @@ stdenv.mkDerivation rec {
      using the Language Server Protocol Topics'';
    maintainers = with lib.maintainers; [ vtuan10 ];
    homepage = "https://github.com/fwcd/kotlin-language-server";
    changelog = "https://github.com/fwcd/kotlin-language-server/blob/${version}/CHANGELOG.md";
    license = lib.licenses.mit;
    platforms = lib.platforms.unix;
  };