Remove kotline-language-server, it's in nixpkgs

This commit is contained in:
Charlotte Van Petegem 2022-07-03 15:39:22 +02:00
parent 598d8e2c72
commit 4d12a9b230
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -1,19 +0,0 @@
{ lib, stdenv, fetchzip, jdk17, makeWrapper, ... }:
stdenv.mkDerivation rec {
pname = "kotlin-language-server";
version = "1.3.1";
src = fetchzip {
url = "https://github.com/fwcd/${pname}/releases/download/${version}/server.zip";
sha256 = "FxpNA4OGSgFdILl0yKBDTtVdQl6Bw9tm2eURbsJdZzI=";
};
nativeBuildInputs = [ makeWrapper ];
installPhase = ''
mkdir -p $out
cp -r $src/* $out/
chmod -R u=rwX $out
wrapProgram $out/bin/kotlin-language-server --set JAVA_HOME ${jdk17}
'';
}