summaryrefslogtreecommitdiff
path: root/dev-ada/ada_language_server
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-01-04 01:27:12 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-01-04 01:27:12 +0000
commit3517852e3b8a68d1e997770fc0650c5053bafc6c (patch)
tree44068672445b1418489aed82de58df3c470289e7 /dev-ada/ada_language_server
parent0f15659d48c193027158492acb726297501202c5 (diff)
gentoo resync : 04.01.2022
Diffstat (limited to 'dev-ada/ada_language_server')
-rw-r--r--dev-ada/ada_language_server/Manifest3
-rw-r--r--dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild62
-rw-r--r--dev-ada/ada_language_server/metadata.xml10
3 files changed, 75 insertions, 0 deletions
diff --git a/dev-ada/ada_language_server/Manifest b/dev-ada/ada_language_server/Manifest
new file mode 100644
index 000000000000..02d470bd7932
--- /dev/null
+++ b/dev-ada/ada_language_server/Manifest
@@ -0,0 +1,3 @@
+DIST ada_language_server-22.0.0.tar.gz 791594 BLAKE2B 9effdf8376e00fe838be7b53c5756dc0d325e36eae780642d79483d6fcead9019cab41e228fe2313d6f31e06895e2d41feef194cb24ac50f02d6dd066774b642 SHA512 ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c
+EBUILD ada_language_server-22.0.0.ebuild 1981 BLAKE2B e81d9828304f52cc0742bb4666e3c44b92163e076ad347aef104acd5bbe85ff6a6f8461fdd6279ae54930823a6b5b8aa4e638d1cf2c88d7710149eb8bdb78a81 SHA512 c6a73fc3a07e1432a3db4563a2a7a7a4af049d748be414649129748baf01cf5fa91b472f6140e0cb56b5dcd995c638562dcdb22cd414c2aa88f2c490f4454289
+MISC metadata.xml 308 BLAKE2B 4793221c685a34d429fa0119a02d14432c984970ec5616d069cb55fa02e18757c9a8e48dc4df34507ea8c084097ff0a9bee0c317509c4f5c83fcdb318977869d SHA512 b65109a33128863f1f7b29a6645147b5064fa39be86d8d0632c703befeb00138900fed17709a752d17d4f03495af84a405306fd24d32b15b9242c839adb70db3
diff --git a/dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild b/dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild
new file mode 100644
index 000000000000..065884930e2a
--- /dev/null
+++ b/dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild
@@ -0,0 +1,62 @@
+# Copyright 2021-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+ADA_COMPAT=( gnat_202{0,1} )
+inherit ada multiprocessing
+
+DESCRIPTION="an implementation of the Microsoft Language Server Protocol for Ada/SPARK"
+HOMEPAGE="https://github.com/AdaCore/ada_language_server"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+IUSE="test"
+RESTRICT="!test? ( test )"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64"
+
+RDEPEND="${ADA_DEPS}
+ dev-ada/ada_libfswatch[${ADA_USEDEP}]
+ dev-ada/gnatcoll-core[${ADA_USEDEP},shared]
+ dev-ada/libadalang[${ADA_USEDEP}]
+ dev-ada/libadalang-tools[${ADA_USEDEP},shared]
+ dev-ada/spawn[${ADA_USEDEP},shared]
+ dev-ada/VSS[${ADA_USEDEP}]"
+DEPEND="${RDEPEND}"
+BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]
+ test? ( dev-ada/e3-testsuite )"
+
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+
+src_compile() {
+ gprbuild -v -j$(makeopts_jobs) -P gnat/tester.gpr -p \
+ -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -c -u -P gnat/lsp_server.gpr -p \
+ -XLIBRARY_TYPE=relocatable s-memory.adb \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_server.gpr -p \
+ -XLIBRARY_TYPE=relocatable -XVERSION= \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -P gnat/codec_test.gpr -p \
+ -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_client.gpr -p \
+ -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_client_glib.gpr -p \
+ -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ mkdir -p integration/vscode/ada/linux
+ cp -f .obj/server/ada_language_server integration/vscode/ada/linux || die
+}
+
+src_install() {
+ emake install DESTDIR="${D}"/usr
+ gprinstall -f -P gnat/lsp_client_glib.gpr -p -r --mode=dev \
+ --prefix="${D}"/usr -XBUILD_MODE=dev -XLIBRARY_TYPE=relocatable || die
+
+ einstalldocs
+}
diff --git a/dev-ada/ada_language_server/metadata.xml b/dev-ada/ada_language_server/metadata.xml
new file mode 100644
index 000000000000..bc7f54506181
--- /dev/null
+++ b/dev-ada/ada_language_server/metadata.xml
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ada@gentoo.org</email>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">adacore/ada_language_server</remote-id>
+ </upstream>
+</pkgmetadata>