1 |
commit: 8731606767a28f946f0ed5ac7f7b7821056877e5 |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jul 1 13:55:47 2018 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jul 1 13:56:27 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=87316067 |
7 |
|
8 |
dev-ada/gnatmem: Add 2018 version |
9 |
|
10 |
Package-Manager: Portage-2.3.40, Repoman-2.3.9 |
11 |
|
12 |
dev-ada/gnatmem/Manifest | 1 + |
13 |
dev-ada/gnatmem/gnatmem-2018.ebuild | 42 +++++++++++++++++++++++++++++++++++++ |
14 |
dev-ada/gnatmem/metadata.xml | 1 + |
15 |
3 files changed, 44 insertions(+) |
16 |
|
17 |
diff --git a/dev-ada/gnatmem/Manifest b/dev-ada/gnatmem/Manifest |
18 |
index b72ab672e2d..007d1bb66a8 100644 |
19 |
--- a/dev-ada/gnatmem/Manifest |
20 |
+++ b/dev-ada/gnatmem/Manifest |
21 |
@@ -1 +1,2 @@ |
22 |
DIST gnatmem-gpl-2017-src.tar.gz 80106 BLAKE2B 81f5b2fe4cacf383a39230bf3ebbbbfce0cd0a774b0289a78774dacedbfa0f2ca385b5538e1d12a075383158ff3c657d3a645f8f08be62fe6a437c9f7cd4b971 SHA512 52ba2cfb24314f481ec07e351ff6d8883753dcfe5d0489a78536bf0b841d931055be02271a5d93b2ec15c52fd775d4b177a17de52f9472cc8f352bf044b28897 |
23 |
+DIST gnatmem-gpl-2018-src.tar.gz 80101 BLAKE2B c117552c2f8369f588127933ca1ba3075aeea6d7c3867861817b080f633fe26a7692c101b500d7441b49e79e75ce5a771a80287d0fb28bd0f569a358a8976d7d SHA512 539703bcb97cab996a4b4381685b021a419df781be3997538120580944fdcbb021fd28f574f66b8d52adbf5c6f1d7e29495c2115515d761f3cfce5bcc7bd8f56 |
24 |
|
25 |
diff --git a/dev-ada/gnatmem/gnatmem-2018.ebuild b/dev-ada/gnatmem/gnatmem-2018.ebuild |
26 |
new file mode 100644 |
27 |
index 00000000000..74e1cea6ebf |
28 |
--- /dev/null |
29 |
+++ b/dev-ada/gnatmem/gnatmem-2018.ebuild |
30 |
@@ -0,0 +1,42 @@ |
31 |
+# Copyright 1999-2018 Gentoo Foundation |
32 |
+# Distributed under the terms of the GNU General Public License v2 |
33 |
+ |
34 |
+EAPI=6 |
35 |
+ |
36 |
+inherit multiprocessing autotools |
37 |
+ |
38 |
+MYP=${PN}-gpl-${PV}-src |
39 |
+ |
40 |
+DESCRIPTION="Monitors dynamic allocation and deallocation activity in a program" |
41 |
+HOMEPAGE="http://libre.adacore.com/" |
42 |
+SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a72 -> |
43 |
+ ${MYP}.tar.gz" |
44 |
+ |
45 |
+LICENSE="GPL-3" |
46 |
+SLOT="0" |
47 |
+KEYWORDS="~amd64 ~x86" |
48 |
+IUSE="gnat_2016 gnat_2017 +gnat_2018" |
49 |
+ |
50 |
+RDEPEND="" |
51 |
+DEPEND="dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018=]" |
52 |
+ |
53 |
+REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 )" |
54 |
+ |
55 |
+S="${WORKDIR}"/${MYP} |
56 |
+ |
57 |
+PATCHES=( "${FILESDIR}"/${PN}-2016-gentoo.patch ) |
58 |
+ |
59 |
+src_prepare() { |
60 |
+ default |
61 |
+ mv configure.in configure.ac |
62 |
+ eautoreconf |
63 |
+} |
64 |
+ |
65 |
+src_compile() { |
66 |
+ gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \ |
67 |
+ -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} |
68 |
+} |
69 |
+ |
70 |
+src_install() { |
71 |
+ dobin obj/gnatmem |
72 |
+} |
73 |
|
74 |
diff --git a/dev-ada/gnatmem/metadata.xml b/dev-ada/gnatmem/metadata.xml |
75 |
index 0119f73e16b..7fac49bbd33 100644 |
76 |
--- a/dev-ada/gnatmem/metadata.xml |
77 |
+++ b/dev-ada/gnatmem/metadata.xml |
78 |
@@ -8,6 +8,7 @@ |
79 |
<use> |
80 |
<flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> |
81 |
<flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> |
82 |
+ <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> |
83 |
</use> |
84 |
<longdescription lang="en"> |
85 |
The gnatmem utility monitors dynamic allocation and deallocation |