diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-03-01 19:18:07 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-03-01 19:18:52 +0100 |
| commit | d50e82bdba1aed72e9d23e0e0a78e6c700e22da9 (patch) | |
| tree | 131d87388db1071e8e23eb850cd3b8a42ee61e98 | |
| parent | dev-util/bpftop: add 0.2.3, drop 0.2.2 (diff) | |
| download | gentoo-d50e82bdba1aed72e9d23e0e0a78e6c700e22da9.tar.gz gentoo-d50e82bdba1aed72e9d23e0e0a78e6c700e22da9.tar.bz2 gentoo-d50e82bdba1aed72e9d23e0e0a78e6c700e22da9.zip | |
dev-ada/gprbuild: add doc
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -rw-r--r-- | dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild | 3 | ||||
| -rw-r--r-- | dev-ada/gprbuild/gprbuild-24.0.0-r1.ebuild (renamed from dev-ada/gprbuild/gprbuild-24.0.0.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 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 } |