[gentoo-commits] repo/gentoo:master commit in: dev-ada/gprbuild/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     d50e82bdba1aed72e9d23e0e0a78e6c700e22da9
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Mar  1 18:18:07 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Mar  1 18:18:52 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d50e82bd

dev-ada/gprbuild: add doc

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild               |  3 +--
 ...{gprbuild-24.0.0.ebuild => gprbuild-24.0.0-r1.ebuild} | 16 +++++++++++++++-
 2 files changed, 16 insertions(+), 3 deletions(-)

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
similarity index 83%
rename from dev-ada/gprbuild/gprbuild-24.0.0.ebuild
rename to 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
 }