summaryrefslogtreecommitdiff
path: root/dev-ada
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/Manifest.gzbin4237 -> 4565 bytes
-rw-r--r--dev-ada/ada_language_server/Manifest2
-rw-r--r--dev-ada/ada_language_server/ada_language_server-23.0.10.ebuild78
-rw-r--r--dev-ada/gnatdoc/Manifest3
-rw-r--r--dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild46
-rw-r--r--dev-ada/gnatdoc/metadata.xml10
-rw-r--r--dev-ada/markdown/Manifest3
-rw-r--r--dev-ada/markdown/markdown-23.0.0.ebuild20
-rw-r--r--dev-ada/markdown/metadata.xml10
9 files changed, 172 insertions, 0 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz
index e22e59def710..9dace71e9579 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 41fc8f79ac35..3001f6fd621c 100644
--- a/dev-ada/ada_language_server/Manifest
+++ b/dev-ada/ada_language_server/Manifest
@@ -1,3 +1,5 @@
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.ebuild 2333 BLAKE2B 6117681d98797f16bb28cfc3bd8be57a77eb9fce1b3e4e818b97fb93d0db69ff5b75696e10fb8e50de7fb9818ffe15caf25c868dc3131fc5c406dc0fd033c42f SHA512 2e0c1db1346ebbf7f467521d9c8a9ac51cb2c6af691380cae6bcf04b4038fb520dfeb89a227daa3f5cdc305d10756a6888b3f4ebe14fa7a4bc6765f2d00fcd78
MISC metadata.xml 308 BLAKE2B 4793221c685a34d429fa0119a02d14432c984970ec5616d069cb55fa02e18757c9a8e48dc4df34507ea8c084097ff0a9bee0c317509c4f5c83fcdb318977869d SHA512 b65109a33128863f1f7b29a6645147b5064fa39be86d8d0632c703befeb00138900fed17709a752d17d4f03495af84a405306fd24d32b15b9242c839adb70db3
diff --git a/dev-ada/ada_language_server/ada_language_server-23.0.10.ebuild b/dev-ada/ada_language_server/ada_language_server-23.0.10.ebuild
new file mode 100644
index 000000000000..847ac15a3583
--- /dev/null
+++ b/dev-ada/ada_language_server/ada_language_server-23.0.10.ebuild
@@ -0,0 +1,78 @@
+# 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/${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/gnatdoc[${ADA_USEDEP}]
+ dev-ada/gpr-unit-provider[${ADA_USEDEP}]
+ dev-ada/libadalang[${ADA_USEDEP}]
+ >=dev-ada/libadalang-tools-23[${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/gnatdoc/Manifest b/dev-ada/gnatdoc/Manifest
new file mode 100644
index 000000000000..a56414cee6e4
--- /dev/null
+++ b/dev-ada/gnatdoc/Manifest
@@ -0,0 +1,3 @@
+DIST gnatdoc-23.0.0.tar.gz 39607 BLAKE2B 589b3f0a9af9d5067e2017083f834697f7e1995c76be3a84e24409261ec058cd8b1e2487bd78d03d36b6ccab68ec0b294534726f3171b4080ed1d569d0c23be7 SHA512 0e9095ced08086a3be03e20b49ddb436d4efb396001e9d6877b0612adc3d8e2a08f1d5146d07c9acf5dc59a73418f7a3ec3231aba63c9644e6829c387703e6ae
+EBUILD gnatdoc-23.0.0.ebuild 1452 BLAKE2B 66444e78a6d70b82e49c1c9376f60dacb1ed3380dd48f58344260e02e71a6f4e227caa3452ae4260dd384f5a5cd26d6d4db452a7f5df2dc0f7adef3e48aaea02 SHA512 3d4893d1c645008bb235bb6f67d06de692e862712508b8df836b72e746c01331e98900de00558a7b8689011336681edf9d3833b1cbe310abf1ee3f7947df1ed8
+MISC metadata.xml 296 BLAKE2B 4cb07a7a3239fdd3c318b261bca306066e1488dab6f3c0f32bcbbc434d3b584e230a9fa1159e4f1d056ae4cf886cc11425ca2648322b17748b09dccde17927be SHA512 04e74f766efbd81ac7ff2d33932f436f4546074c2b31dc95034fa94a94d5ac6e427b0775a7ea77771d347f571591ca908f80a00657be6801bc40dd69c96ddbc6
diff --git a/dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild b/dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild
new file mode 100644
index 000000000000..7ec64847dec5
--- /dev/null
+++ b/dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild
@@ -0,0 +1,46 @@
+# Copyright 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="GNAT Documentation Generation Tool"
+HOMEPAGE="https://github.com/AdaCore/gnatdoc"
+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"
+
+RDEPEND="${ADA_DEPS}
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv,shared,static-libs,static-pic]
+ dev-ada/gnatcoll-core[${ADA_USEDEP},shared,static-libs,static-pic]
+ dev-ada/gpr[${ADA_USEDEP},shared]
+ dev-ada/gpr-unit-provider[${ADA_USEDEP},shared]
+ dev-ada/langkit[${ADA_USEDEP},shared,static-libs,static-pic]
+ dev-ada/libadalang[${ADA_USEDEP},static-libs,static-pic]
+ dev-ada/libgpr[${ADA_USEDEP},shared,static-libs,static-pic]
+ dev-ada/markdown[${ADA_USEDEP}]
+ dev-ada/VSS[${ADA_USEDEP}]
+ dev-ada/xmlada[${ADA_USEDEP},shared,static-libs,static-pic]"
+DEPEND="${RDEPEND}"
+BDEPEND=""
+
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+
+src_compile() {
+ gprbuild -v -j$(makeopts_jobs) -p -P gnat/libgnatdoc.gpr \
+ -XLIBRARY_TYPE=relocatable || die
+ gprbuild -v -j$(makeopts_jobs) -p -P gnat/gnatdoc.gpr \
+ -XLIBRARY_TYPE=static || die
+}
+
+src_install() {
+ gprinstall -v -p -P gnat/libgnatdoc.gpr \
+ -XLIBRARY_TYPE=relocatable --prefix="${D}"/usr || die
+ gprinstall -v -p -P gnat/gnatdoc.gpr \
+ -XLIBRARY_TYPE=relocatable --prefix="${D}"/usr || die
+}
diff --git a/dev-ada/gnatdoc/metadata.xml b/dev-ada/gnatdoc/metadata.xml
new file mode 100644
index 000000000000..3e71b8715df6
--- /dev/null
+++ b/dev-ada/gnatdoc/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/gnatdoc</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ada/markdown/Manifest b/dev-ada/markdown/Manifest
new file mode 100644
index 000000000000..dfdaff5d6c5d
--- /dev/null
+++ b/dev-ada/markdown/Manifest
@@ -0,0 +1,3 @@
+DIST markdown-23.0.0.tar.gz 29626 BLAKE2B 146c980635aec06e8b806f3b00ef8a66b2a34de0a5aebf3ff1a83d3f99187b97c714c81a5a7054dd75d3fa87e6682b260636c12044fce05dc79ddf52d2fe56a5 SHA512 13497f8762d360190d158bbcbbb3a0efaaedad0c67b69d0df63c31029ed482c5b6a169152433fb3fd267e97bebc1950d0a8307fc849945a1b7f68892feb496c0
+EBUILD markdown-23.0.0.ebuild 447 BLAKE2B 849789cc301df75d7d652e0038b84385fdcabee90896a6f550fcdcd5f9d98f12c86949b5eaa2348a09db5b16265063406f7707fb44874e79f7578acb49d5d400 SHA512 a233ec634717bc122d643420ae4b9136bbcdbbd411d985aa450b161766d0157efc396733f175e32781355a3eaf5435ba6a07674068ec81f624cec91ea059701a
+MISC metadata.xml 297 BLAKE2B e9b6674777967e3b392b904af4cac37deff1e0344979b3ae53cf4130353f2d8bf8a38ecd999182c958559a0c4c56255366253ece09f37f59583ebe9dd78dad20 SHA512 517d8222a6bc08f0cf301e11858640f2f40389f338fe1bf77aff093aa3c9ac886688a388f314d9b227f63eacf971034ae056988041c746e7dc9ce58e12ca5821
diff --git a/dev-ada/markdown/markdown-23.0.0.ebuild b/dev-ada/markdown/markdown-23.0.0.ebuild
new file mode 100644
index 000000000000..eca11163eb26
--- /dev/null
+++ b/dev-ada/markdown/markdown-23.0.0.ebuild
@@ -0,0 +1,20 @@
+# Copyright 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
+
+DESCRIPTION="Provides a markdown parser written in Ada"
+HOMEPAGE="https://github.com/AdaCore/markdown"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+DEPEND=""
+RDEPEND="${DEPEND}"
+BDEPEND=""
diff --git a/dev-ada/markdown/metadata.xml b/dev-ada/markdown/metadata.xml
new file mode 100644
index 000000000000..c6c5c32e7b3a
--- /dev/null
+++ b/dev-ada/markdown/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/markdown</remote-id>
+ </upstream>
+</pkgmetadata>
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-10 07:51:42 +0000