From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/ada_language_server/
Date: Fri, 31 Dec 2021 19:48:49 +0000 (UTC) [thread overview]
Message-ID: <1640980115.adced8d39f4203bf4ba4c2818b9bef93d27baa18.tupone@gentoo> (raw)
commit: adced8d39f4203bf4ba4c2818b9bef93d27baa18
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 31 19:48:35 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Dec 31 19:48:35 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=adced8d3
dev-ada/ada_language_server: Language Server for Ada/SPARK
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ada/ada_language_server/Manifest | 1 +
.../ada_language_server-22.0.0.ebuild | 56 ++++++++++++++++++++++
dev-ada/ada_language_server/metadata.xml | 10 ++++
3 files changed, 67 insertions(+)
diff --git a/dev-ada/ada_language_server/Manifest b/dev-ada/ada_language_server/Manifest
new file mode 100644
index 000000000000..5319484dc0a9
--- /dev/null
+++ b/dev-ada/ada_language_server/Manifest
@@ -0,0 +1 @@
+DIST ada_language_server-22.0.0.tar.gz 791594 BLAKE2B 9effdf8376e00fe838be7b53c5756dc0d325e36eae780642d79483d6fcead9019cab41e228fe2313d6f31e06895e2d41feef194cb24ac50f02d6dd066774b642 SHA512 ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c
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..47646aeec83f
--- /dev/null
+++ b/dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 2021 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
+ 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
+ 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>
next reply other threads:[~2021-12-31 19:48 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-31 19:48 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-01-02 10:52 [gentoo-commits] repo/gentoo:master commit in: dev-ada/ada_language_server/ Alfredo Tupone
2022-02-03 20:16 Alfredo Tupone
2022-03-16 17:35 Alfredo Tupone
2022-10-04 20:38 Alfredo Tupone
2022-11-21 17:31 Alfredo Tupone
2022-11-25 21:38 Alfredo Tupone
2022-11-26 21:48 Alfredo Tupone
2022-12-15 17:36 Alfredo Tupone
2022-12-18 20:57 Alfredo Tupone
2023-01-26 19:37 Alfredo Tupone
2023-02-05 20:41 Alfredo Tupone
2023-03-21 7:25 Alfredo Tupone
2023-03-21 21:02 Alfredo Tupone
2023-12-19 20:01 Alfredo Tupone
2024-03-20 18:41 Alfredo Tupone
2024-11-26 19:29 Alfredo Tupone
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1640980115.adced8d39f4203bf4ba4c2818b9bef93d27baa18.tupone@gentoo \
--to=tupone@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox