summaryrefslogtreecommitdiff
path: root/dev-ada/gprbuild
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-03-01 23:41:30 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-03-01 23:41:30 +0000
commit1331637681273dc8391d7a7caa6175405dceb735 (patch)
tree57acd1953dffe9d8e88a0735a76115e20fa09d26 /dev-ada/gprbuild
parent5d5b0e27ed33330cca5636eb792368fbbf46774c (diff)
gentoo auto-resync : 01:03:2024 - 23:41:29
Diffstat (limited to 'dev-ada/gprbuild')
-rw-r--r--dev-ada/gprbuild/Manifest4
-rw-r--r--dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild3
-rw-r--r--dev-ada/gprbuild/gprbuild-24.0.0-r1.ebuild (renamed from dev-ada/gprbuild/gprbuild-24.0.0.ebuild)16
3 files changed, 18 insertions, 5 deletions
diff --git a/dev-ada/gprbuild/Manifest b/dev-ada/gprbuild/Manifest
index e8f815b8c8b2..e5c562295b55 100644
--- a/dev-ada/gprbuild/Manifest
+++ b/dev-ada/gprbuild/Manifest
@@ -3,7 +3,7 @@ DIST gprbuild-23.0.0.tar.gz 952887 BLAKE2B a0de49e838dd41ca927d728dc2e7f23298bb3
DIST gprbuild-24.0.0.tar.gz 959615 BLAKE2B c432b1f13a1aecb8f664aeb06694d86123268f29b43a50f5c7a48d7428c0b1c16f397e5a84c097aba04c7ee34011df119b154fd546ce156c999a54d159a84afb SHA512 09da4d54f2f151e9f9453e1a459533e2373eb5d4c51831be2bf90964ebcf653752de2f8b271c77f7b599f62146516fc60258ec3c96779fa2b52cd52979c6bd03
DIST xmlada-23.0.0.tar.gz 1053370 BLAKE2B 4edf2244818d72d6fc760f60c8145f373e5445d1d245b20b605e21faa7eeefed7835db87c1fd1239008e75211a572294e1d8e35af16c2ba2631c02d1d3b6f52f SHA512 a0fb2a34ffb5edf408fbdc1a3d68511b5545a5ec8993251ba75d71dd2a197f14e187d08f8febd71cb23bbd694889a99941911386af8468c5eb3b11128555edcb
DIST xmlada-24.0.0.tar.gz 1053363 BLAKE2B 628a1d3645c58cc3f8f5140c7cfb16adef02f6ccc72b8e9410819eaf67e0160bdcf81a8e33065ec52f54cb12309d857a3d82e532990a0fd17c249c04334ab10f SHA512 4e6773a5fdf9b6ebb5afca913d77aba9f697768f28ef9b23b9277aa4ea4ce09de4e53655dd5559e2326ff847327adb53fa6b776775aa923100a2624df415c97d
-EBUILD gprbuild-23.0.0-r1.ebuild 1688 BLAKE2B 1ef6dc9fe6c124aa1b2e5e21ab311b79f33af99d5f40db024bedf599e534de75479f1d8d94acd2e6cb71822b17bcb301c4c6cc42bfb5571c5ae3ea5d8cdf5e6a SHA512 cdfb3062c5255bcd920be57f43e99878fbdcb4966ad9ce55a74c9f922203af7899929141072af264f8aae01c87bb94d65cb6a8afbfea0456d94b2e373e9936c4
+EBUILD gprbuild-23.0.0-r1.ebuild 1680 BLAKE2B af2bb8ebb07de78ffae8f18601a0a087e60036e32be80c5f7a9ad64982e092ef2695c8c64df9098b74d1e2dc84617134f4cd9b1ecf577a63189f8e9c870c01b1 SHA512 a1493abbfb15309a46f8ffcfd346754b8bf17e4a94a6fd649d79a035a08b4d2a2b65a3aadccec47ec3b8dea829fafd492e465992549b4479918c522220d5c2ae
EBUILD gprbuild-23.0.0-r2.ebuild 1689 BLAKE2B b14d9a39bafdc39176823c85910422f48bcf6c337cbe08b2cadf8d016d6b85156adf2e5fe830de98ee02453d71445ca789baa847e8a0693f3f430a6ebd1d2e61 SHA512 462eb9caa3bf16c33bdf72f0930517c1da35c35c6bb3a520daa94e1f5f1cc9d3da251e5afd3304b95d40b34e4ea3ec35f8855ad9041f606d93f679b1cd40a3d1
-EBUILD gprbuild-24.0.0.ebuild 1689 BLAKE2B b14d9a39bafdc39176823c85910422f48bcf6c337cbe08b2cadf8d016d6b85156adf2e5fe830de98ee02453d71445ca789baa847e8a0693f3f430a6ebd1d2e61 SHA512 462eb9caa3bf16c33bdf72f0930517c1da35c35c6bb3a520daa94e1f5f1cc9d3da251e5afd3304b95d40b34e4ea3ec35f8855ad9041f606d93f679b1cd40a3d1
+EBUILD gprbuild-24.0.0-r1.ebuild 1985 BLAKE2B 8bf88c2d0d7ff6f15d2ef66b56d510213f77f739082d7ed237b6337fbef46304b0b3270de1376625aece4c097cf4e7f3ac8a36b5191b6d235f790a38a481dd12 SHA512 4a37627986ec603fc43884d728c67d6946c69894b64560ba85d9a2e690c72dc2c672fd24cdddd09a3da11c53b6ca22f638c1d8d337901d6563d5324c02a2ab28
MISC metadata.xml 888 BLAKE2B 635ae939acfcaa26b0ba80341ed90cb02d8c5a2cfa50ca78bbcf19bd3081cf434a51ef1b05547bc80f9174db1aabfad1bde6270c3c08ea4c119684a4af7d5e4e SHA512 65b9e30e2b0d5694fe31c244eeca739327274beda743330edb8f85f050a7f9c809cfb3a115b4f9349f282fc39de36f934354db864669f515da746cd9551b5337
diff --git a/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild b/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
index 1f7821924fab..e340685fb095 100644
--- a/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
+++ b/dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -19,7 +19,6 @@ SRC_URI="
LICENSE="GPL-3"
SLOT="0"
KEYWORDS="amd64 x86"
-IUSE=""
DEPEND="${ADA_DEPS}
dev-ada/gprconfig_kb[${ADA_USEDEP}]"
diff --git a/dev-ada/gprbuild/gprbuild-24.0.0.ebuild b/dev-ada/gprbuild/gprbuild-24.0.0-r1.ebuild
index 4ca1962e2cdc..d3d2cd3da286 100644
--- a/dev-ada/gprbuild/gprbuild-24.0.0.ebuild
+++ b/dev-ada/gprbuild/gprbuild-24.0.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -19,10 +19,12 @@ SRC_URI="
LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64 ~x86"
+IUSE="doc"
DEPEND="${ADA_DEPS}
dev-ada/gprconfig_kb[${ADA_USEDEP}]"
RDEPEND="${DEPEND}"
+BDEPEND="doc? ( dev-python/sphinx )"
REQUIRED_USE="${ADA_REQUIRED_USE}"
PATCHES=( "${FILESDIR}"/${PN}-22.0.0-gentoo.patch )
@@ -56,6 +58,11 @@ src_compile() {
gnatmake -j$(makeopts_jobs) ${inc_flags} ${lib} $ADAFLAGS \
-largs ${LDFLAGS} gpr_imports.o || die
done
+ if use doc; then
+ emake -C doc txt
+ emake -C doc info
+ emake -C doc html
+ fi
}
src_install() {
@@ -64,5 +71,12 @@ src_install() {
doexe ${lib_progs}
insinto /usr/share/gpr
doins share/_default.gpr
+ local HTML_DOCS=
+ local DOCS=README.md
+ if use doc; then
+ DOCS+=" examples doc/txt/gprbuild_ug.txt"
+ HTML_DOCS+="doc/html/*"
+ doinfo doc/info/gprbuild_ug.info
+ fi
einstalldocs
}