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/gnatmem/
Date: Sun, 01 Jul 2018 13:56:40
Message-Id: 1530453387.8731606767a28f946f0ed5ac7f7b7821056877e5.tupone@gentoo
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