diff options
| author | Grim Kriegor | 2019-06-06 16:56:54 +0100 |
|---|---|---|
| committer | Grim Kriegor | 2019-06-06 16:56:54 +0100 |
| commit | 5f884d0d13e3c976e4922ce89a99394236a2d234 (patch) | |
| tree | 91bbcad7699c1eabd56ff5cae1f24583d5925d87 | |
| download | aur-5f884d0d13e3c976e4922ce89a99394236a2d234.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 38 | ||||
| -rwxr-xr-x | launcher.sh | 4 |
3 files changed, 59 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..15980c4bf3e4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = java-language-server + pkgdesc = Java language server using the Java compiler API + pkgver = 0.2.13 + pkgrel = 1 + url = https://github.com/georgewfraser/java-language-server.git + arch = any + license = MIT + makedepends = git + makedepends = maven + depends = java-runtime + source = java-language-server::git+https://github.com/georgewfraser/java-language-server.git#commit=e747b6bce6740066755e3fa6fa12eb9c7263660c + source = launcher.sh + sha256sums = SKIP + sha256sums = 84920dd2311a6e4b03ef5b853d8acdea8c2119f849fb11b5a77e2d97fcf29d6b + +pkgname = java-language-server + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..0a0bc32bbe0f --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,38 @@ +# Maintainer: Ricardo Grim Cabrita <grimkriegor@krutt.org> + +pkgname=java-language-server +pkgver=0.2.13 +_commit=e747b6bce6740066755e3fa6fa12eb9c7263660c +pkgrel=1 +pkgdesc="Java language server using the Java compiler API" +arch=(any) +url="https://github.com/georgewfraser/java-language-server.git" +license=('MIT') +depends=('java-runtime') +makedepends=('git' 'maven') +source=("${pkgname}::git+https://github.com/georgewfraser/java-language-server.git#commit=$_commit" + "launcher.sh") +sha256sums=('SKIP' + '84920dd2311a6e4b03ef5b853d8acdea8c2119f849fb11b5a77e2d97fcf29d6b') + +build() { + cd "${srcdir}/${pkgname}" + + # Temporary hack allowing us to link stable version 0.2.13, fixed in master + export JAVA_HOME="/usr/lib/jvm/default" + sed -i '/^JAVA_HOME=.*$/d' ./scripts/link_mac.sh ./scripts/patch_gson.sh + + ./scripts/link_mac.sh +} + +package() { + mkdir -p \ + "${pkgdir}/usr/share/java" \ + "${pkgdir}/usr/bin" + cp -r \ + "${srcdir}/${pkgname}/dist/mac" \ + "${pkgdir}/usr/share/java/java-language-server" + install \ + "${srcdir}/launcher.sh" \ + "${pkgdir}/usr/bin/java-language-server" +} diff --git a/launcher.sh b/launcher.sh new file mode 100755 index 000000000000..3d100913b0bb --- /dev/null +++ b/launcher.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +cd /usr/share/java/java-language-server/bin +./launcher |