summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-06 03:18:56 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-06 03:18:56 +0000
commita2f130f3156ea1d203e99a781424790176b9b2b5 (patch)
tree10fbba06303ed3b478a8a39114e6b6127ef18dbb /dev-ada
parent519f4aac6d5896fe0204e6429485f95240c7ff58 (diff)
gentoo auto-resync : 06:02:2023 - 03:18:56
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4572 -> 4567 bytes
-rw-r--r--dev-ada/VSS/Manifest2
-rw-r--r--dev-ada/VSS/VSS-23.0.0.ebuild2
-rw-r--r--dev-ada/ada_language_server/Manifest2
-rw-r--r--dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild76
-rw-r--r--dev-ada/libadalang-tools/Manifest2
-rw-r--r--dev-ada/libadalang-tools/libadalang-tools-22.0.0-r1.ebuild69
7 files changed, 2 insertions, 151 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index dd793a3e0b6a..297075aa3a2c 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
Binary files differ
diff --git a/dev-ada/VSS/Manifest b/dev-ada/VSS/Manifest
index 32df65080901..815e2577b882 100644
--- a/dev-ada/VSS/Manifest
+++ b/dev-ada/VSS/Manifest
@@ -1,5 +1,5 @@
DIST VSS-22.0.0.tar.gz 310314 BLAKE2B 710645472b0e767f744ca12564a595fabc6bd931a271bc6fd575fdee70ade1676f3a0dbe00d7700ba5bbeb341fa6cc767b8efb18162f1fc308edcb653c9919f4 SHA512 b38582efc2b334a5b550eb9eacadd721b354f51d4cc26fcb4da1c8e7d241a848d5d3ee2651a72b552e2d5357b9fde46ba48e694f17f49cc2bcdad63d2f9d685e
DIST VSS-23.0.0.tar.gz 481748 BLAKE2B eb84e1b84b2d3a463a0e19a3cdd8b6e1e0dd666f72cd79f592f07f75fd7f2c8496f89f5d272c2be1af8a75491a8e3f0f11131dbfe892f3fe107f7e50223ea4bd SHA512 11e762a6ade7137acb32c0776db06244b40a137df90ee5d25855503deeba2a22e6e962ed56d991c71fd27a514edca22ff3d35b0f783855e2d670eb6b45aa4c03
EBUILD VSS-22.0.0.ebuild 918 BLAKE2B 7c7eca24f61af70250f03a44483be9181673b5aa36de61110c72eb86d8ad73b618780243d23f3d9205d8b6ce1ea8e332bda2bed40cee03c48d0d88fedc20938d SHA512 698788f40ffae9b3df7e58d16e72916c277f2d48f8d0c08ec2c674f01d08ac4cfd447c9b29b5336ed509afb75233de1e82f60faba4ca99ebaa1ff1cccbe55116
-EBUILD VSS-23.0.0.ebuild 1033 BLAKE2B 98ad906d514a93496305544a772b53c3f0944ef053e0eb348d1453bf9bdc1ca243ae4576486b37dad31c4c04f5bdf32438737e88c1c828a3dbcff63ce249626a SHA512 130359961ff637e7f862f14b6369c5658a6bec2fe0e5639efcb8852c994819e62cd26f937ba553592bd8aab2dd500ff413994b61d5c0c56eb099e52e9398937b
+EBUILD VSS-23.0.0.ebuild 1031 BLAKE2B 3c87b0ae903c06238fd945878105d4c3275358046cc7cb782a64b4bfa835d5be6db4a23455831aed04b9daf0f465743f8b45f23c9196a7c9b8bd65fbd69368b6 SHA512 c4c10ee659d96a6c94ec244122c10e53959a2855108634731bf395cf1ad42f7c4ee369050c59b9210b3b0bd743e90e24f8c2177655aa2e35ac6e65f2eb042bec
MISC metadata.xml 292 BLAKE2B 5a618f9fd5bd6c227fb9c7a5c40c47ed72a314d5dbf2d5f93cb97a7c34236064ed43c4f874561e5e48b385c10eebb9d8a75f9916a722e5f460091738cf6e4679 SHA512 9440e2195e1500bb2edbb5cf4b800d211f6637749a2b5833d341409cfb11a854b0d18cb997e8ff4bfd1afbfb8d49b6f23957cf9b93bcaffd9bc0a60e7e8d8079
diff --git a/dev-ada/VSS/VSS-23.0.0.ebuild b/dev-ada/VSS/VSS-23.0.0.ebuild
index 712d979fdb79..7c3492e64841 100644
--- a/dev-ada/VSS/VSS-23.0.0.ebuild
+++ b/dev-ada/VSS/VSS-23.0.0.ebuild
@@ -13,7 +13,7 @@ SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="GPL-3 gcc-runtime-library-exception-3.1"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
IUSE="test"
RESTRICT="!test? ( test )"
REQUIRED_USE="${ADA_REQUIRED_USE}"
diff --git a/dev-ada/ada_language_server/Manifest b/dev-ada/ada_language_server/Manifest
index 05c058d3b277..7f0fadfa5f96 100644
--- a/dev-ada/ada_language_server/Manifest
+++ b/dev-ada/ada_language_server/Manifest
@@ -1,5 +1,3 @@
-DIST ada_language_server-22.0.0.tar.gz 791594 BLAKE2B 9effdf8376e00fe838be7b53c5756dc0d325e36eae780642d79483d6fcead9019cab41e228fe2313d6f31e06895e2d41feef194cb24ac50f02d6dd066774b642 SHA512 ef4bdf41315aad09750e85521657aefaaee419739aac4dec6e182691b8b5282face19481a113e710f7c4b21f6e6f51296d1872aaf5c1c3ab19b6774d142c021c
DIST ada_language_server-23.0.10.tar.gz 1224074 BLAKE2B 100a0d042a6c638b1b3eb7c9c27a638f218a66e3f52a6f9be53fc42e764aff636c4fe7c1f532f2ba7ae6a811bf4cb8a8ce4a416fd1958c460ffb7f715a7166f5 SHA512 bc062d9e4b6c37a9add7a5665a44ee0ad06fd9ef12cb854b49ed52ed060dfe3582b54a47a4764f0f5b305c2ea697d180832ee4ed87dfcde37bcbc83cb2479299
-EBUILD ada_language_server-22.0.0.ebuild 2262 BLAKE2B 19fcd94fceb4d83f9c32678906878c31a135ed4482f738252e013152b1971d8fba22010038cc2a0a0b625222f8aea2af2e5515018c3260857034cbabfe1abcfd SHA512 c4f0ac9c5541d1543ada9692b658621711d2794eb765f8f9db07830b8c1500b94c8d7f027089d9918c887329c50467aa521318584b294f33d02edad585a19550
EBUILD ada_language_server-23.0.10-r1.ebuild 2351 BLAKE2B 7568826bf22a7475ed38bb9062323eaf4677d4dd561bed7597d98e3b9425c08ab2444dcc5fe8cb222b4f1c1ceebfe2fbdd15e0428434bdfbf0913bc4b6fb8b1d SHA512 fcf74900f1de2427d4c3321cf8b5ac64db8dc6245f51624a7f371667f3f20180d656846b37f2da3329c555c6448007f2b423311d9279087120426cefb897a588
MISC metadata.xml 308 BLAKE2B 4793221c685a34d429fa0119a02d14432c984970ec5616d069cb55fa02e18757c9a8e48dc4df34507ea8c084097ff0a9bee0c317509c4f5c83fcdb318977869d SHA512 b65109a33128863f1f7b29a6645147b5064fa39be86d8d0632c703befeb00138900fed17709a752d17d4f03495af84a405306fd24d32b15b9242c839adb70db3
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
deleted file mode 100644
index 56ae81a95e1c..000000000000
--- a/dev-ada/ada_language_server/ada_language_server-22.0.0.ebuild
+++ /dev/null
@@ -1,76 +0,0 @@
-# Copyright 2021-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
-inherit ada multiprocessing toolchain-funcs
-
-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" # Tests do not work
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-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-${PV}[${ADA_USEDEP},shared]
- dev-ada/spawn[${ADA_USEDEP},shared,glib]
- dev-ada/VSS[${ADA_USEDEP}]"
-DEPEND="${RDEPEND}"
-BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]
- test? ( dev-ada/e3-testsuite )"
-
-REQUIRED_USE="${ADA_REQUIRED_USE}"
-
-src_prepare() {
- sed -i \
- -e "s:g++:$(tc-getCXX):" \
- gnat/lsp_server.gpr \
- || die
- default
-}
-
-src_compile() {
- gprbuild -v -j$(makeopts_jobs) -P gnat/tester.gpr -p \
- -XLIBRARY_TYPE=relocatable \
- -XBUILD_MODE=prod \
- -cargs:Ada ${ADAFLAGS} || die
- gprbuild -v -j$(makeopts_jobs) -c -u -P gnat/lsp_server.gpr -p \
- -XLIBRARY_TYPE=relocatable s-memory.adb \
- -XBUILD_MODE=prod \
- -cargs:Ada ${ADAFLAGS} || die
- gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_server.gpr -p \
- -XLIBRARY_TYPE=relocatable -XVERSION= \
- -XBUILD_MODE=prod \
- -cargs:Ada ${ADAFLAGS} || die
- gprbuild -v -j$(makeopts_jobs) -P gnat/codec_test.gpr -p \
- -XLIBRARY_TYPE=relocatable \
- -XBUILD_MODE=prod \
- -cargs:Ada ${ADAFLAGS} || die
- gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_client.gpr -p \
- -XLIBRARY_TYPE=relocatable \
- -XBUILD_MODE=prod \
- -cargs:Ada ${ADAFLAGS} || die
- gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_client_glib.gpr -p \
- -XLIBRARY_TYPE=relocatable \
- -XBUILD_MODE=prod \
- -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
- gprinstall -f -P gnat/lsp_client_glib.gpr -p -r --mode=dev \
- --prefix="${D}"/usr -XBUILD_MODE=dev -XLIBRARY_TYPE=relocatable || die
-
- einstalldocs
-}
diff --git a/dev-ada/libadalang-tools/Manifest b/dev-ada/libadalang-tools/Manifest
index 375760315ea7..54795c8d4c72 100644
--- a/dev-ada/libadalang-tools/Manifest
+++ b/dev-ada/libadalang-tools/Manifest
@@ -1,5 +1,3 @@
-DIST libadalang-tools-22.0.0.tar.gz 892619 BLAKE2B 5ba3cc91c0cd251ade396eda1d8de4244712905ef33ec9bb68a76ab20908d4034b78989dc051b2e47a2fd37e41ae49bf46b1459a74742205750c8a60697e27cc SHA512 c9028428379e68644dee140b76c6806b15561484bdc77a8c85c88c1ae4de512b6252f41b415fe767c5c7ae533fba1583e075620bd222a7be240d6cd1130d25bd
DIST libadalang-tools-23.0.0.tar.gz 1101324 BLAKE2B 6bfa794a243126bc5b70b7ab89fd08c9591d009b2a6dc749298804699cec8a067c9babd38d31048eea31a625c6fd5a2a9f6e49cfd97fa371d46a975c5407a65f SHA512 922a0b72ac9fa2a7ce3fa70aa360e67c987ee4ddfb77199a8e63092df640f3d7dc8ebc01d88cce8b97ef91ed6af1fd3555fb7c223cdae91bbdda5e336b3d067e
-EBUILD libadalang-tools-22.0.0-r1.ebuild 1641 BLAKE2B 700e130b454c28bbac1c31bf19ce4562baa712701014e8a04d4aa10cd72fdf04a3a8b9f9c0025f0dfe05028a07aed34a76f3a506da1b41ce5f6cebbaa9db2934 SHA512 839294116f3f4c3abbac7f2a3ee14d22e5a3e2ea76a08ba888aed073268e33783b9aa2c6646209b78ff765cb8d3477127ef0688e41e0f38c55483d19922351a0
EBUILD libadalang-tools-23.0.0.ebuild 1682 BLAKE2B 2a3a075dd3c42b3c1fc4a8d21a4cedc52c824e24d01c3783711e6f013a1b912dcdfbe3e275f814ebaabbb550eb14089b8c988d6c673175532620456710c537e6 SHA512 aaa05af930a1a53ab5b3ae64b283826dd6586e55ac7ecbd9824febe83f215bace8ddad6810df2f4c677a472fb822f36c0d3585d306edf3f6d13b13ee24643a86
MISC metadata.xml 438 BLAKE2B f0d65575ba5329888a28fa4b9c2c68365db7e3e30c892889a30e7d0fa94e4de08ceab1c3ba61d8e4c6c39888304d5a674c15095fb223df11529abd1c8468aa86 SHA512 d32995545a62f04f3504f54868c58e8449d19e62bb06b7b63ce14596ed9ee78c5028111ea2111433c200068f69bac0bb3e37989a004e43e7e3f60d115ac498d5
diff --git a/dev-ada/libadalang-tools/libadalang-tools-22.0.0-r1.ebuild b/dev-ada/libadalang-tools/libadalang-tools-22.0.0-r1.ebuild
deleted file mode 100644
index 5ae70a98ebd0..000000000000
--- a/dev-ada/libadalang-tools/libadalang-tools-22.0.0-r1.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
-inherit ada multiprocessing
-
-DESCRIPTION="Libadalang-based tools: gnatpp, gnatmetric and gnatstub"
-HOMEPAGE="https://www.adacore.com/community"
-SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
- -> ${P}.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="+shared static-libs static-pic"
-
-RESTRICT="test"
-
-REQUIRED_USE="|| ( shared static-libs static-pic )
- ${ADA_REQUIRED_USE}"
-
-RDEPEND="${ADA_DEPS}"
-DEPEND="${RDEPEND}
- dev-ada/libadalang:=[${ADA_USEDEP},static-libs?,static-pic?]"
-BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
-
-src_compile() {
- build () {
- gprbuild -v -k -XLIBRARY_TYPE=$1 -XBUILD_MODE=prod \
- -P src/lal_tools.gpr -p -j$(makeopts_jobs) \
- -cargs:Ada ${ADAFLAGS} || die
- gprbuild -v -k -XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$1 \
- -XBUILD_MODE=prod -XLALTOOLS_SET=all \
- -P src/build.gpr -p -j$(makeopts_jobs) \
- -cargs:Ada ${ADAFLAGS} || die
- }
- if use shared; then
- build relocatable
- fi
- if use static-libs; then
- build static
- fi
- if use static-pic; then
- build static-pic
- fi
-}
-
-src_install() {
- build () {
- gprinstall -XLIBRARY_TYPE=$1 -XBUILD_MODE=prod \
- --prefix="${D}"/usr --sources-subdir=include/lal_tools \
- --build-name=$1 --build-var=LIBRARY_TYPE \
- --build-var=LAL_TOOLS_BUILD \
- -P src/lal_tools.gpr -p -f || die
- }
- if use shared; then
- build relocatable
- fi
- if use static-libs; then
- build static
- fi
- if use static-pic; then
- build static-pic
- fi
- dobin bin/gnat{metric,pp,stub,test}
- einstalldocs
-}