diff options
| author | Johannes Wienke | 2019-01-05 11:13:59 +0100 |
|---|---|---|
| committer | Johannes Wienke | 2019-01-05 11:13:59 +0100 |
| commit | dbabb7bf144c34b04ee42ff094bf681fba78a009 (patch) | |
| tree | ebe64ba052f6835bbbe41d7379af5ab63b126f0f /.SRCINFO | |
| parent | bb5e084a15a931fbc5d2edf8050c50a069e08bfb (diff) | |
| download | aur-dbabb7bf144c34b04ee42ff094bf681fba78a009.tar.gz | |
Convert build to use pre-packaged release archives
The from-source build of release versions only works for some days
before the used upstream snapshot version vanish from their upstream
maven repositories. This often results in broken builds after the
release. Switching to pre-built packages will remove this issue and also
results in a much decreased build time.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 11 |
1 files changed, 4 insertions, 7 deletions
@@ -1,18 +1,15 @@ pkgbase = jdtls pkgdesc = Eclipse Java language server pkgver = 0.30.0 - pkgrel = 1 + pkgrel = 2 url = https://github.com/eclipse/eclipse.jdt.ls arch = any license = EPL - makedepends = git - makedepends = java-environment - makedepends = maven depends = java-runtime - source = https://github.com/eclipse/eclipse.jdt.ls/archive/v0.30.0.tar.gz + source = https://download.eclipse.org/jdtls/milestones/0.30.0/jdt-language-server-0.30.0-201812180348.tar.gz source = launcher.sh - md5sums = a60b09d3de33e0abb78796c4c6bbf4ca - md5sums = d92f22ae00c112d65ef41fa5a578b55a + sha256sums = 152e24fde6c13a488e4bb888e247f1370cec9e8eb1bafa836a95080bc990d689 + sha256sums = 4b35fd4860d6b383cfe0943d70d24d07fe48a7c4cde220b75f72d5b4e29ef81f pkgname = jdtls |