diff options
author | Tim Lagnese | 2020-06-27 04:13:37 -0700 |
---|---|---|
committer | Tim Lagnese | 2020-06-27 04:13:37 -0700 |
commit | 1f8798fd81750faba953efd50bc47a00dac9795c (patch) | |
tree | 9dc6f1385fd9f2acde6ceac986471b8e94091680 | |
download | aur-1f8798fd81750faba953efd50bc47a00dac9795c.tar.gz |
Create ada_language_server PKGBUILD v21.0.11
-rw-r--r-- | .SRCINFO | 19 | ||||
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile.patch | 21 | ||||
-rw-r--r-- | PKGBUILD | 35 |
4 files changed, 76 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9883332bd4f6 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = ada_language_server + pkgdesc = High performance syntactic and semantic engine for the Ada programming language + pkgver = 21.0.11 + pkgrel = 1 + url = https://github.com/AdaCore/ada_language_server/ + arch = any + license = GPL3 + makedepends = gcc-ada + makedepends = gprbuild + depends = libadalang + provides = ada_language_server + conflicts = ada_language_server-git + source = ada_language_server-21.0.11.tar.gz::https://github.com/AdaCore/ada_language_server/archive/21.0.11.tar.gz + source = Makefile.patch + sha1sums = d1e29d21162d465b92c4dce33c3a8a0b787baeee + sha1sums = f8afe12dedcef533b6888aa227da2a5dbe199376 + +pkgname = ada_language_server + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..72e8ffc0db8a --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +* diff --git a/Makefile.patch b/Makefile.patch new file mode 100644 index 000000000000..370fbf9d90fa --- /dev/null +++ b/Makefile.patch @@ -0,0 +1,21 @@ +Index: Makefile +=================================================================== +--- Makefile ++++ Makefile +@@ -52,11 +52,14 @@ ifeq ($(LIBRARY_TYPE), static) + -XGPR_BUILD=static \ + -XOS=$(OS) + else +- LIBRARY_FLAGS=-XBUILD_MODE=$(BUILD_MODE) -XOS=$(OS) ++ LIBRARY_FLAGS=-XBUILD_MODE=$(BUILD_MODE) -XLIBRARY_TYPE=relocatable -XOS=$(OS) + endif + + BUILD_FLAGS=$(LIBRARY_FLAGS) + ++ifeq ($(COVERAGE),) ++ COVERAGE_BUILD_FLAGS= $(LIBRARY_FLAGS) ++ COVERAGE_BUILD_FLAGS=$(LIBRARY_FLAGS) ++else +-ifneq ($(COVERAGE),) + COVERAGE_BUILD_FLAGS= $(LIBRARY_FLAGS) \ + --implicit-with=gnatcov_rts_full \ diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..1580f6a982f8 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer: Tim Lagnese <tim at inept tech> + +pkgname=ada_language_server +pkgver=21.0.11 +pkgrel=1 + +pkgdesc='High performance syntactic and semantic engine for the Ada programming language' +url='https://github.com/AdaCore/ada_language_server/' +arch=('any') +license=('GPL3') + +depends=('libadalang') +makedepends=('gcc-ada' 'gprbuild') + +provides=('ada_language_server') +conflicts=('ada_language_server-git') + +source=("$pkgname-$pkgver.tar.gz::https://github.com/AdaCore/ada_language_server/archive/$pkgver.tar.gz" 'Makefile.patch') +sha1sums=('d1e29d21162d465b92c4dce33c3a8a0b787baeee' 'f8afe12dedcef533b6888aa227da2a5dbe199376') + +prepare() { + cd "$pkgname-$pkgver" + patch --forward --strip=0 --input="${srcdir}/Makefile.patch" +} + +build() { + cd "$srcdir/$pkgname-$pkgver" + make LIBRARY_TYPE=relocatable BUILD_MODE=prod +} + +package() { + cd "$srcdir/$pkgname-$pkgver" + + make LIBRARY_TYPE=relocatable BUILD_MODE=prod DESTDIR="$pkgdir/usr" install +} |