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