summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorTim Lagnese2019-09-10 22:13:19 -0400
committerTim Lagnese2019-09-10 22:13:19 -0400
commit48fe27a4ae35b6d0a3e739e7099020a0d0b22a87 (patch)
treeab732122f99299635a85f21d121542f35739ba63 /PKGBUILD
downloadaur-48fe27a4ae35b6d0a3e739e7099020a0d0b22a87.tar.gz
Add initial PKGBUILD for Ada Language Server
* Include patch to fix some namcap errors, build errors, and check errors
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD46
1 files changed, 46 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..6f89d3e84ff6
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Tim Lagnese <tim at inept tech>
+
+pkgname=ada_language_server-git
+pkgver=r420.3461caa
+pkgrel=1
+
+pkgdesc='High performance syntactic and semantic engine for the Ada programming language'
+url='https://github.com/AdaCore/ada_language_server/'
+arch=('x86_64')
+license=('GPL3')
+
+depends=('libadalang-git' 'langkit-git')
+makedepends=('git' 'gcc-ada' 'gprbuild-git' 'libadalang-git' 'langkit-git')
+
+provides=('ada_language_server')
+
+source=('git+https://github.com/AdaCore/ada_language_server.git' 'ada_language_server.patch')
+sha1sums=('SKIP' '4d63949aebb58dae4921f0917413d6398d769fc6')
+
+pkgver() {
+ #cd "${srcdir}/${pkgname%-git}"
+ cd "$srcdir/${pkgname%-git}"
+ printf "r%s.%s" \
+ "$(git rev-list --count HEAD)" \
+ "$(git rev-parse --short HEAD)"
+}
+
+prepare() {
+ cd "$srcdir/${pkgname%-git}"
+ git apply $srcdir/ada_language_server.patch
+}
+
+build() {
+ cd "$srcdir/${pkgname%-git}"
+ make BUILD_MODE=prod
+}
+
+check() {
+ cd "$srcdir/${pkgname%-git}"
+ make check
+}
+
+package() {
+ cd "$srcdir/${pkgname%-git}"
+ make DESTDIR="$pkgdir/usr" install
+}