gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity

dev-ada/gprbuild: add doc

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2024-03-01 19:18:07 +01:00
parent 2c0d4b6107
commit d50e82bdba
2 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-ada/gprbuild/gprbuild-23.0.0-r1.ebuild
View File

@@ -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}]"

16
dev-ada/gprbuild/gprbuild-24.0.0.ebuild → dev-ada/gprbuild/gprbuild-24.0.0-r1.ebuild
View File

@@ -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
}