Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/gps/
Date: Sat, 25 Nov 2017 21:00:56
Message-Id: 1511643608.d15df9946005fa5e60fddfd4d253305a22748156.tupone@gentoo
1 commit: d15df9946005fa5e60fddfd4d253305a22748156
2 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Sat Nov 25 21:00:08 2017 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Sat Nov 25 21:00:08 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d15df994
7
8 dev-ada/gps: Adding gnat documentation
9
10 Package-Manager: Portage-2.3.13, Repoman-2.3.3
11
12 dev-ada/gps/Manifest | 1 +
13 dev-ada/gps/gps-2017.ebuild | 14 ++++++++++++--
14 2 files changed, 13 insertions(+), 2 deletions(-)
15
16 diff --git a/dev-ada/gps/Manifest b/dev-ada/gps/Manifest
17 index 4baa367cf94..1730df8afcb 100644
18 --- a/dev-ada/gps/Manifest
19 +++ b/dev-ada/gps/Manifest
20 @@ -1 +1,2 @@
21 +DIST gnat-gpl-2017-x86_64-linux-bin.tar.gz 496338280 BLAKE2B b3eee6d311fb9c20bc8fa7217c0731ca1e91ced38700df1d63d91a16c3fa28dfd44c7c8e867c3a857b88e4f0c8b2a7200fb6a8a630b8403538c4784f8914d1a5 SHA512 01a8f3be9b7b7e83cc5bd4a45137b1d35c6448bc22a88bcaf5d312cd63e11081b6b2fe9f09ad2a27d8f0b6471fc5c1a99573bf3bcee1589329054074eaeef04f
22 DIST gps-gpl-2017-src.tar.gz 41216830 BLAKE2B 51ca89c38fa81888a9cf1831cf97f7e0ad72c444328a29063249a4fe72bbdc8357552d470872e9fbbeaf349ef0427b59fa41a0efb56200a07a9426343c731a57 SHA512 101ecef7f183de1da0c2b09d77f284a5e8c5ae56f34a897c8d471e79fe9a2832742608ff5251197ba2a52b5d9dfee6c6937fc22cd55f6d8f38359b070393cb64
23
24 diff --git a/dev-ada/gps/gps-2017.ebuild b/dev-ada/gps/gps-2017.ebuild
25 index b346b351549..209c3305c69 100644
26 --- a/dev-ada/gps/gps-2017.ebuild
27 +++ b/dev-ada/gps/gps-2017.ebuild
28 @@ -10,12 +10,14 @@ MYP=${PN}-gpl-${PV}-src
29 DESCRIPTION="The GNAT Programming Studio"
30 HOMEPAGE="http://libre.adacore.com/tools/gps/"
31 SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed03b
32 - -> ${MYP}.tar.gz"
33 + -> ${MYP}.tar.gz
34 + doc? ( http://mirrors.cdn.adacore.com/art/591c6d80c7a447af2deed1d7
35 + -> gnat-gpl-2017-x86_64-linux-bin.tar.gz )"
36
37 LICENSE="GPL-3"
38 SLOT="0"
39 KEYWORDS="~amd64"
40 -IUSE=""
41 +IUSE="doc"
42
43 RDEPEND="${PYTHON_DEPS}
44 >=dev-ada/gnatcoll-2017[gtk,iconv,projects,pygobject,shared,sqlite,tools]
45 @@ -57,3 +59,11 @@ src_prepare() {
46 src_compile() {
47 emake GPRBUILD_FLAGS="-v ${MAKEOPTS}"
48 }
49 +
50 +src_install() {
51 + default
52 + if use doc; then
53 + insinto /usr/share/doc
54 + doins -r "${WORKDIR}"/gnat-gpl-2017-x86_64-linux-bin/share/doc/gnat
55 + fi
56 +}