Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/ada_language_server/
Date: Fri, 31 Dec 2021 19:48:54
Message-Id: 1640980115.adced8d39f4203bf4ba4c2818b9bef93d27baa18.tupone@gentoo
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>