summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorTim Lagnese2020-06-27 04:13:37 -0700
committerTim Lagnese2020-06-27 04:13:37 -0700
commit1f8798fd81750faba953efd50bc47a00dac9795c (patch)
tree9dc6f1385fd9f2acde6ceac986471b8e94091680
downloadaur-1f8798fd81750faba953efd50bc47a00dac9795c.tar.gz
Create ada_language_server PKGBUILD v21.0.11
-rw-r--r--.SRCINFO19
-rw-r--r--.gitignore1
-rw-r--r--Makefile.patch21
-rw-r--r--PKGBUILD35
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
+}