From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id CD295158086 for ; Fri, 31 Dec 2021 19:48:54 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id F13F42BC03B; Fri, 31 Dec 2021 19:48:53 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 477D42BC03B for ; Fri, 31 Dec 2021 19:48:53 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id B3EE3342C5F for ; Fri, 31 Dec 2021 19:48:51 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id E1F53D0 for ; Fri, 31 Dec 2021 19:48:49 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1640980115.adced8d39f4203bf4ba4c2818b9bef93d27baa18.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/ada_language_server/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ada/ada_language_server/Manifest dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild dev-ada/ada_language_server/metadata.xml X-VCS-Directories: dev-ada/ada_language_server/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: adced8d39f4203bf4ba4c2818b9bef93d27baa18 X-VCS-Branch: master Date: Fri, 31 Dec 2021 19:48:49 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 7faff22d-181e-42e5-8bbb-5c49cd6a1d6b X-Archives-Hash: f99d644626e1faa30e648f88038aa08b commit: adced8d39f4203bf4ba4c2818b9bef93d27baa18 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Dec 31 19:48:35 2021 +0000 Commit: Alfredo Tupone gentoo 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 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 @@ + + + + + ada@gentoo.org + + + adacore/ada_language_server + +