public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
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>


             reply	other threads:[~2021-12-31 19:48 UTC|newest]

Thread overview: 16+ 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

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