diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gnatmem/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/gnatmem/gnatmem-2019.ebuild | 43 | ||||
| -rw-r--r-- | dev-ada/gnatmem/metadata.xml | 6 |
3 files changed, 47 insertions, 3 deletions
diff --git a/dev-ada/gnatmem/Manifest b/dev-ada/gnatmem/Manifest index 92f100868d80..2a18bf3de071 100644 --- a/dev-ada/gnatmem/Manifest +++ b/dev-ada/gnatmem/Manifest @@ -1 +1,2 @@ +DIST gnatmem-2019-20190429-19745-src.tar.gz 80136 BLAKE2B 8ae3b41827416f951abb0d0a1fe533946fad2ac8d67ae6aad2b14495a3c068718befbbbf11800c1864f3becaa0ca6dfb838aeec3b3d715b250d4436ccee93c69 SHA512 4354a30efcf95a013f481b3519a79a22f85348840f074c734013d6c73e00fd771118b84eec416260983c383484f7a404217a32c012ca0bd7c37253ba17f2eb85 DIST gnatmem-gpl-2018-src.tar.gz 80101 BLAKE2B c117552c2f8369f588127933ca1ba3075aeea6d7c3867861817b080f633fe26a7692c101b500d7441b49e79e75ce5a771a80287d0fb28bd0f569a358a8976d7d SHA512 539703bcb97cab996a4b4381685b021a419df781be3997538120580944fdcbb021fd28f574f66b8d52adbf5c6f1d7e29495c2115515d761f3cfce5bcc7bd8f56 diff --git a/dev-ada/gnatmem/gnatmem-2019.ebuild b/dev-ada/gnatmem/gnatmem-2019.ebuild new file mode 100644 index 000000000000..dbe496b25696 --- /dev/null +++ b/dev-ada/gnatmem/gnatmem-2019.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing autotools + +MYP=${P}-20190429-19745-src + +DESCRIPTION="Monitors dynamic allocation and deallocation activity in a program" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8e1431e87a8f1d425089 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 gnat_2018 +gnat_2019" + +RDEPEND="" +DEPEND="dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?] + sys-libs/binutils-libs" + +REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 gnat_2019 )" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${PN}-2018-gentoo.patch ) + +src_prepare() { + default + mv configure.in configure.ac + eautoreconf +} + +src_compile() { + gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \ + -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} +} + +src_install() { + dobin obj/gnatmem +} diff --git a/dev-ada/gnatmem/metadata.xml b/dev-ada/gnatmem/metadata.xml index 7fac49bbd330..c6a22a23c94b 100644 --- a/dev-ada/gnatmem/metadata.xml +++ b/dev-ada/gnatmem/metadata.xml @@ -1,14 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tupone@gentoo.org</email> - <name>Tupone Alfredo</name> + <maintainer type="project"> + <email>ada@gentoo.org</email> </maintainer> <use> <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag> </use> <longdescription lang="en"> The gnatmem utility monitors dynamic allocation and deallocation |