1 |
commit: adced8d39f4203bf4ba4c2818b9bef93d27baa18 |
2 |
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Dec 31 19:48:35 2021 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Dec 31 19:48:35 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=adced8d3 |
7 |
|
8 |
dev-ada/ada_language_server: Language Server for Ada/SPARK |
9 |
|
10 |
Package-Manager: Portage-3.0.28, Repoman-3.0.3 |
11 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
12 |
|
13 |
dev-ada/ada_language_server/Manifest | 1 + |
14 |
.../ada_language_server-22.0.0.ebuild | 56 ++++++++++++++++++++++ |
15 |
dev-ada/ada_language_server/metadata.xml | 10 ++++ |
16 |
3 files changed, 67 insertions(+) |
17 |
|
18 |
diff --git a/dev-ada/ada_language_server/Manifest b/dev-ada/ada_language_server/Manifest |
19 |
new file mode 100644 |
20 |
index 000000000000..5319484dc0a9 |
21 |
--- /dev/null |
22 |
+++ b/dev-ada/ada_language_server/Manifest |
23 |
@@ -0,0 +1 @@ |
24 |
+DIST ada_language_server-22.0.0.tar.gz 791594 BLAKE2B 9effdf8376e00fe838be7b53c5756dc0d325e36eae780642d79483d6fcead9019cab41e228fe2313d6f31e06895e2d41feef194cb24ac50f02d6dd066774b642 SHA512 ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c |
25 |
|
26 |
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 |
27 |
new file mode 100644 |
28 |
index 000000000000..47646aeec83f |
29 |
--- /dev/null |
30 |
+++ b/dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild |
31 |
@@ -0,0 +1,56 @@ |
32 |
+# Copyright 2021 Gentoo Authors |
33 |
+# Distributed under the terms of the GNU General Public License v2 |
34 |
+ |
35 |
+EAPI=7 |
36 |
+ |
37 |
+ADA_COMPAT=( gnat_202{0,1} ) |
38 |
+inherit ada multiprocessing |
39 |
+ |
40 |
+DESCRIPTION="an implementation of the Microsoft Language Server Protocol for Ada/SPARK" |
41 |
+HOMEPAGE="https://github.com/AdaCore/ada_language_server" |
42 |
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz |
43 |
+ -> ${P}.tar.gz" |
44 |
+IUSE="test" |
45 |
+RESTRICT="!test? ( test )" |
46 |
+ |
47 |
+LICENSE="GPL-3" |
48 |
+SLOT="0" |
49 |
+KEYWORDS="~amd64" |
50 |
+ |
51 |
+RDEPEND="${ADA_DEPS} |
52 |
+ dev-ada/ada_libfswatch[${ADA_USEDEP}] |
53 |
+ dev-ada/gnatcoll-core[${ADA_USEDEP},shared] |
54 |
+ dev-ada/libadalang[${ADA_USEDEP}] |
55 |
+ dev-ada/libadalang-tools[${ADA_USEDEP},shared] |
56 |
+ dev-ada/spawn[${ADA_USEDEP},shared] |
57 |
+ dev-ada/VSS[${ADA_USEDEP}]" |
58 |
+DEPEND="${RDEPEND}" |
59 |
+BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}] |
60 |
+ test? ( dev-ada/e3-testsuite )" |
61 |
+ |
62 |
+REQUIRED_USE="${ADA_REQUIRED_USE}" |
63 |
+ |
64 |
+src_compile() { |
65 |
+ gprbuild -v -j$(makeopts_jobs) -P gnat/tester.gpr -p \ |
66 |
+ -XLIBRARY_TYPE=relocatable \ |
67 |
+ -cargs:Ada ${ADAFLAGS} || die |
68 |
+ gprbuild -v -j$(makeopts_jobs) -c -u -P gnat/lsp_server.gpr -p \ |
69 |
+ -XLIBRARY_TYPE=relocatable s-memory.adb \ |
70 |
+ -cargs:Ada ${ADAFLAGS} || die |
71 |
+ gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_server.gpr -p \ |
72 |
+ -XLIBRARY_TYPE=relocatable -XVERSION= \ |
73 |
+ -cargs:Ada ${ADAFLAGS} || die |
74 |
+ gprbuild -v -j$(makeopts_jobs) -P gnat/codec_test.gpr -p \ |
75 |
+ -XLIBRARY_TYPE=relocatable \ |
76 |
+ -cargs:Ada ${ADAFLAGS} || die |
77 |
+ gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_client.gpr -p \ |
78 |
+ -XLIBRARY_TYPE=relocatable \ |
79 |
+ -cargs:Ada ${ADAFLAGS} || die |
80 |
+ mkdir -p integration/vscode/ada/linux |
81 |
+ cp -f .obj/server/ada_language_server integration/vscode/ada/linux || die |
82 |
+} |
83 |
+ |
84 |
+src_install() { |
85 |
+ emake install DESTDIR="${D}"/usr |
86 |
+ einstalldocs |
87 |
+} |
88 |
|
89 |
diff --git a/dev-ada/ada_language_server/metadata.xml b/dev-ada/ada_language_server/metadata.xml |
90 |
new file mode 100644 |
91 |
index 000000000000..bc7f54506181 |
92 |
--- /dev/null |
93 |
+++ b/dev-ada/ada_language_server/metadata.xml |
94 |
@@ -0,0 +1,10 @@ |
95 |
+<?xml version="1.0" encoding="UTF-8"?> |
96 |
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> |
97 |
+<pkgmetadata> |
98 |
+ <maintainer type="project"> |
99 |
+ <email>ada@g.o</email> |
100 |
+ </maintainer> |
101 |
+ <upstream> |
102 |
+ <remote-id type="github">adacore/ada_language_server</remote-id> |
103 |
+ </upstream> |
104 |
+</pkgmetadata> |