summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-03-21 01:00:11 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-03-21 01:00:11 +0000
commitee93fbc2bb111cf895ae00cc1877c68f0eafaf2a (patch)
treef4cdf4b4814dfa35e701a066e3bc3c50f6afd7cf /dev-ada
parentdbd6eaafcce6a59fa9b3323124c38fa17aa88e26 (diff)
gentoo auto-resync : 21:03:2024 - 01:00:11
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4745 -> 4912 bytes
-rw-r--r--dev-ada/ada_language_server/Manifest2
-rw-r--r--dev-ada/ada_language_server/ada_language_server-24.0.1.ebuild81
-rw-r--r--dev-ada/lal-refactor/Manifest3
-rw-r--r--dev-ada/lal-refactor/lal-refactor-0_p20231027.ebuild96
-rw-r--r--dev-ada/lal-refactor/metadata.xml14
-rw-r--r--dev-ada/libadalang-tools/Manifest2
-rw-r--r--dev-ada/libadalang-tools/libadalang-tools-24.0.0-r1.ebuild4
8 files changed, 199 insertions, 3 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index 336a02eaa6dd..cfc53838f571 100644
--- a/dev-ada/Manifest.gz
+++ b/dev-ada/Manifest.gz
Binary files differ
diff --git a/dev-ada/ada_language_server/Manifest b/dev-ada/ada_language_server/Manifest
index 8c5ecb4bdd34..3e1f1099f6de 100644
--- a/dev-ada/ada_language_server/Manifest
+++ b/dev-ada/ada_language_server/Manifest
@@ -1,3 +1,5 @@
DIST ada_language_server-23.0.10.tar.gz 1224074 BLAKE2B 100a0d042a6c638b1b3eb7c9c27a638f218a66e3f52a6f9be53fc42e764aff636c4fe7c1f532f2ba7ae6a811bf4cb8a8ce4a416fd1958c460ffb7f715a7166f5 SHA512 bc062d9e4b6c37a9add7a5665a44ee0ad06fd9ef12cb854b49ed52ed060dfe3582b54a47a4764f0f5b305c2ea697d180832ee4ed87dfcde37bcbc83cb2479299
+DIST ada_language_server-24.0.1.tar.gz 1923431 BLAKE2B a2b4383fd12cd2b3a806263a34194cc479de6c9740a520f2e2dc1fb1f0aa3521dd4011042cbcff4dee9efb0957f7d3c1dbc95973321c6cb229b3b054784c8f2d SHA512 3e9e020240ce39061c9fb938eb616f3885ea1df58b143065705a014ac1d9fcb29066b24e69240698327f54c9cae80d9bce543557410cf25a650e7c73af001daf
EBUILD ada_language_server-23.0.10-r3.ebuild 2354 BLAKE2B 24fa4ed2ff20d645d50169057662fa70ce131ce969ae5cd5426ccd91f378dd3f97178cc9711f4a4046ab7bd4c0374f7f84b857a2ea0c29c0adc4e902f5268962 SHA512 7588001703669cf025d4a0d7d4866b2168b955fc6b4c0790d924cd405c7ccdc44465b53d1817df2c636c1390dcaf7272edb3cc025db344ce8239808adb55fdc3
+EBUILD ada_language_server-24.0.1.ebuild 2665 BLAKE2B 536df00a03348e63b97b2388047f5107ac3f1150910234ab62ca9ae911ea5a5af87035ab0adc55cccf733f3d9208ef01a2d9d3194ca325e1753158fc9d2f3a93 SHA512 f6592ad8bbfe01a071701b32a2144fa7260663cbc93b0396da0d7c62e7397dac1ba4040656edf27b8faa68dec019814e6dc557a35dbd0a618cc2f8dc886b0f1d
MISC metadata.xml 308 BLAKE2B 4793221c685a34d429fa0119a02d14432c984970ec5616d069cb55fa02e18757c9a8e48dc4df34507ea8c084097ff0a9bee0c317509c4f5c83fcdb318977869d SHA512 b65109a33128863f1f7b29a6645147b5064fa39be86d8d0632c703befeb00138900fed17709a752d17d4f03495af84a405306fd24d32b15b9242c839adb70db3
diff --git a/dev-ada/ada_language_server/ada_language_server-24.0.1.ebuild b/dev-ada/ada_language_server/ada_language_server-24.0.1.ebuild
new file mode 100644
index 000000000000..dbe31fc036e1
--- /dev/null
+++ b/dev-ada/ada_language_server/ada_language_server-24.0.1.ebuild
@@ -0,0 +1,81 @@
+# Copyright 2021-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 )
+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/${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}]
+ sys-fs/fswatch:=
+ dev-ada/gnatcoll-core[${ADA_USEDEP},shared]
+ dev-ada/gnatdoc[${ADA_USEDEP}]
+ dev-ada/gpr-unit-provider[${ADA_USEDEP},shared]
+ dev-ada/libadalang[${ADA_USEDEP}]
+ dev-ada/lal-refactor[${ADA_USEDEP},shared]
+ >=dev-ada/libadalang-tools-23[${ADA_USEDEP},shared]
+ dev-ada/spawn[${ADA_USEDEP},shared,glib]
+ >=dev-ada/VSS-24.0.0[${ADA_USEDEP},shared]"
+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/lsp_3_17.gpr -p \
+ -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ -c lsp-inputs.adb -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -P gnat/lsp_3_17.gpr -p \
+ -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -P gnat/tester.gpr -p \
+ -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -d -ws -c -u \
+ -P gnat/lsp_server.gpr -p \
+ -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ s-memory.adb -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -d -P gnat/lsp_server.gpr \
+ -p -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ -XVERSION= -XBUILD_DATE= -cargs:Ada ${ADAFLAGS} || die
+ gprbuild -v -j$(makeopts_jobs) -d -P gnat/lsp_client.gpr \
+ -p -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ -cargs:Ada ${ADAFLAGS} || die
+ mkdir -p integration/vscode/ada/x64/linux
+ cp -f .obj/server/ada_language_server integration/vscode/ada/x64/linux || die
+}
+
+src_install() {
+ gprinstall -f -P gnat/lsp_server.gpr -p -r --mode=usage \
+ --prefix="${D}"/usr -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ || die
+ gprinstall -f -P gnat/tester.gpr -p \
+ --prefix="${D}"/usr -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ || die
+ gprinstall -f -P gnat/lsp_client.gpr -p -r --mode=dev \
+ --prefix="${D}"/usr -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable \
+ || die
+
+ einstalldocs
+}
diff --git a/dev-ada/lal-refactor/Manifest b/dev-ada/lal-refactor/Manifest
new file mode 100644
index 000000000000..acf8e710096a
--- /dev/null
+++ b/dev-ada/lal-refactor/Manifest
@@ -0,0 +1,3 @@
+DIST lal-refactor-0_p20231027.tar.gz 211389 BLAKE2B 3963a99b785f3559ef176cfda8c289ce9ea2ee79da913392bc4f33f9e5821f3fba28cf1410b299ba717f3433eca101e3574fac18d1f3ad2dd0308153332dd200 SHA512 28388fbecab471a8d5dda1890dbe00f90e1c8dba96f253e97772f699d4953ca46c56db93d69b781b8642562b0c5376e28cbff51f8dd62d90dfafc1d65567d1bd
+EBUILD lal-refactor-0_p20231027.ebuild 2212 BLAKE2B caa787c2e2873866bbf1787f0a2272887d787382cd49a1b386f049788e1b1680255ac359dc8f73fd97b357915f4c2c15c8e92b050352345107b3c263b6e922dc SHA512 049cf096e9071a2faad8728ded271a7c225a55fdc9a485440313681bc7a8d53f77292b6b0ea60df3934c8d393e3e5483805bcb1d37ba88c404d3b7bc48ceb1b1
+MISC metadata.xml 434 BLAKE2B ef7b69108973686b5f653d8bee95d6dcf23195e474c5351145ad3831ef006b7ca7cbe5fdc3f85d41d9fb6c4f6701d93242f5464f3edaf44d29f8d8f8d4369cd2 SHA512 e42151651e69b2a3acd58664aad7900bd41dc6692fb08f5e9a1f1eee104634e4d3919cf35063a97711877d72e15d3734e0ede2046d5e7e6e671a713fff4eb6ec
diff --git a/dev-ada/lal-refactor/lal-refactor-0_p20231027.ebuild b/dev-ada/lal-refactor/lal-refactor-0_p20231027.ebuild
new file mode 100644
index 000000000000..fd2cdfac836a
--- /dev/null
+++ b/dev-ada/lal-refactor/lal-refactor-0_p20231027.ebuild
@@ -0,0 +1,96 @@
+# Copyright 2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 )
+inherit ada multiprocessing
+
+commitId=a5997083efc0ae97ec089b18931c765d43301072
+
+DESCRIPTION="Refactoring tools for the Ada programming language"
+HOMEPAGE="https://github.com/AdaCore/lal-refactor"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/${commitId}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs static-pic"
+REQUIRED_USE="|| ( shared static-libs static-pic )
+ ${ADA_REQUIRED_USE}"
+
+RDEPEND="${ADADEPS}
+ dev-ada/libadalang-tools[${ADA_USEDEP},shared?,static-libs?,static-pic?]"
+BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
+
+S="${WORKDIR}"/${PN}-${commitId}
+
+src_compile() {
+ build () {
+ gprbuild -v -k -XLIBRARY_TYPE=$1 -j$(makeopts_jobs) -p \
+ -XLAL_REFACTOR_LIBRARY_TYPE=$1 \
+ -XLAL_REFACTOR_BUILD_MODE=prod \
+ -P gnat/lal_refactor.gpr \
+ -largs ${LDFLAGS} \
+ -cargs ${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
+
+ if use static-libs; then
+ libtype='static'
+ elif use static-pic; then
+ libtype='static-pic'
+ elif use shared; then
+ libtype='relocatable'
+ fi
+ gprbuild -v -k -XLIBRARY_TYPE=${libtype} -j$(makeopts_jobs) -p \
+ -XLAL_REFACTOR_LIBRARY_TYPE=${libtype} \
+ -XLAL_REFACTOR_BUILD_MODE=prod \
+ -Pgnat/lal_refactor_driver.gpr \
+ -largs ${LDFLAGS} \
+ -cargs ${ADAFLAGS} || die
+}
+
+src_install() {
+ build () {
+ gprinstall \
+ -XLAL_REFACTOR_LIBRARY_TYPE=$1 \
+ -XLIBRARY_TYPE=$1 \
+ -XLAL_REFACTOR_BUILD_MODE=prod \
+ --prefix="${D}"/usr \
+ --sources-subdir=include/lal-refactor \
+ --build-name=$1 \
+ --build-var=LIBRARY_TYPE \
+ -P gnat/lal_refactor.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
+ gprinstall \
+ -XLAL_REFACTOR_LIBRARY_TYPE=${libtype} \
+ -XLIBRARY_TYPE=${libtype} \
+ -XBUILD_MODE=prod \
+ --prefix="${D}"/usr \
+ -P gnat/lal_refactor_driver.gpr \
+ -p \
+ -f || die
+
+ einstalldocs
+ rm -rf "${D}"/usr/share/gpr/manifests
+}
diff --git a/dev-ada/lal-refactor/metadata.xml b/dev-ada/lal-refactor/metadata.xml
new file mode 100644
index 000000000000..026707ed72f0
--- /dev/null
+++ b/dev-ada/lal-refactor/metadata.xml
@@ -0,0 +1,14 @@
+<?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>
+ <use>
+ <flag name="shared">Build shared library</flag>
+ <flag name="static-pic">Build static library with pic code</flag>
+ </use>
+ <upstream>
+ <remote-id type="github">AdaCore/lal-refactor</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ada/libadalang-tools/Manifest b/dev-ada/libadalang-tools/Manifest
index 9a1645482aed..90eb974cb30a 100644
--- a/dev-ada/libadalang-tools/Manifest
+++ b/dev-ada/libadalang-tools/Manifest
@@ -1,5 +1,5 @@
DIST libadalang-tools-23.0.0.tar.gz 1101324 BLAKE2B 6bfa794a243126bc5b70b7ab89fd08c9591d009b2a6dc749298804699cec8a067c9babd38d31048eea31a625c6fd5a2a9f6e49cfd97fa371d46a975c5407a65f SHA512 922a0b72ac9fa2a7ce3fa70aa360e67c987ee4ddfb77199a8e63092df640f3d7dc8ebc01d88cce8b97ef91ed6af1fd3555fb7c223cdae91bbdda5e336b3d067e
DIST libadalang-tools-24.0.0.tar.gz 1083580 BLAKE2B e3d7cb94500afaebb00ba3f727b903cfd6ea57b02efccbf0dc61ef0d625dd06364b67a94c236c4cc8e4eee955e1767b0eb73122895a8f3edfb05c5fea57e18d8 SHA512 982fefa454108a604a67a0ec0d33fc420ccbbc4c03f01eb1cfbfe57cb51ca3bf13eef465775dab0843b5573663150e6d185b3a3887cc1cbcc5a353214842f223
EBUILD libadalang-tools-23.0.0-r2.ebuild 1685 BLAKE2B 96f84bc47a13ce306c6209c98430e1299e56cf31febbc7c5cbac2bba158b11d41da33756923034ba761d050e264e0f1f34eae3494a3d97b6638985798d47641c SHA512 78e6a06c23b80c696a9cfeb9af6fe6d11d11908219540452c96728fc37f55771b2fa683c68db193dfc05233f6a843041a17054c6e8f6a70db13914d952f80712
-EBUILD libadalang-tools-24.0.0-r1.ebuild 1734 BLAKE2B 9132e2b58a7497bb83d657564c10d8ec49a0d516ee85e75f71c7eb820eb800e70dd855654ddf72f06ce516b32c3923f52c4c8b46d0d2bca9f3e134aa704b3718 SHA512 ea0cf3488606e0102a92bd925d5fbf77baa4ea586fcdfda52c2f6d357461fdce26fdb1ac59a003cc5b22a741dc10bd64c66030aca851fd4f76e547ba412c6200
+EBUILD libadalang-tools-24.0.0-r1.ebuild 1776 BLAKE2B 6a8129578ec5d2cebcabe4e5a888822db9f7cbb004fc26a4e6243817f91f4060a33117df5a0799fe97c6f3c2e7d0eae189a170be5c1c474de700d120524e6927 SHA512 038a6e5f32a638db1cbd73c61093e88dbbe5d9d9a8e33795536c46b4184ad478fb66f2d4f45e22ddd3c0a4e5e2f1659f067ec31dc45576e0918fba519ab82ef8
MISC metadata.xml 438 BLAKE2B f0d65575ba5329888a28fa4b9c2c68365db7e3e30c892889a30e7d0fa94e4de08ceab1c3ba61d8e4c6c39888304d5a674c15095fb223df11529abd1c8468aa86 SHA512 d32995545a62f04f3504f54868c58e8449d19e62bb06b7b63ce14596ed9ee78c5028111ea2111433c200068f69bac0bb3e37989a004e43e7e3f60d115ac498d5
diff --git a/dev-ada/libadalang-tools/libadalang-tools-24.0.0-r1.ebuild b/dev-ada/libadalang-tools/libadalang-tools-24.0.0-r1.ebuild
index 3954f2dfb8db..0b149c5fc427 100644
--- a/dev-ada/libadalang-tools/libadalang-tools-24.0.0-r1.ebuild
+++ b/dev-ada/libadalang-tools/libadalang-tools-24.0.0-r1.ebuild
@@ -23,9 +23,9 @@ REQUIRED_USE="|| ( shared static-libs static-pic )
RDEPEND="${ADA_DEPS}
dev-ada/templates-parser[${ADA_USEDEP},shared?,static-libs?]
- dev-ada/VSS[${ADA_USEDEP}]"
-DEPEND="${RDEPEND}
+ >=dev-ada/VSS-24.0.0[${ADA_USEDEP},shared?,static-libs?,static-pic?]
dev-ada/libadalang:=[${ADA_USEDEP},static-libs?,static-pic?]"
+DEPEND="${RDEPEND}"
BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]"
src_compile() {