diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-07 11:42:03 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-07 11:42:03 +0100 |
| commit | f70601e0934acd62f6c5d06c5ede4cc607179514 (patch) | |
| tree | 0b337390375de04b950fc4b45edc0f895a4701a4 /dev-ada/gnatmem | |
| parent | b2be182d49eea46686b5cf2680d457df61e89dc4 (diff) | |
gentoo resync : 07.07.2018
Diffstat (limited to 'dev-ada/gnatmem')
| -rw-r--r-- | dev-ada/gnatmem/Manifest | 4 | ||||
| -rw-r--r-- | dev-ada/gnatmem/gnatmem-2018.ebuild | 42 | ||||
| -rw-r--r-- | dev-ada/gnatmem/metadata.xml | 1 |
3 files changed, 46 insertions, 1 deletions
diff --git a/dev-ada/gnatmem/Manifest b/dev-ada/gnatmem/Manifest index 336e45aad790..6be337014ce5 100644 --- a/dev-ada/gnatmem/Manifest +++ b/dev-ada/gnatmem/Manifest @@ -1,4 +1,6 @@ AUX gnatmem-2016-gentoo.patch 3139 BLAKE2B 240fdce83be5d6776d79138dad494ed3f8deafda92c4107a4554ac5a97afdf26102b8bcdd7c31ac09edde7e0b6b53b4d1bc8c2e89eeab591da93af94ee357d25 SHA512 6be363642a5b5244050b275c436eed25948a2b8eea936b0b41ecd9c312441281d325ae9b41b84affd30eae1172cb31ed719935e96b9adc21707b20b88dabc84e DIST gnatmem-gpl-2017-src.tar.gz 80106 BLAKE2B 81f5b2fe4cacf383a39230bf3ebbbbfce0cd0a774b0289a78774dacedbfa0f2ca385b5538e1d12a075383158ff3c657d3a645f8f08be62fe6a437c9f7cd4b971 SHA512 52ba2cfb24314f481ec07e351ff6d8883753dcfe5d0489a78536bf0b841d931055be02271a5d93b2ec15c52fd775d4b177a17de52f9472cc8f352bf044b28897 +DIST gnatmem-gpl-2018-src.tar.gz 80101 BLAKE2B c117552c2f8369f588127933ca1ba3075aeea6d7c3867861817b080f633fe26a7692c101b500d7441b49e79e75ce5a771a80287d0fb28bd0f569a358a8976d7d SHA512 539703bcb97cab996a4b4381685b021a419df781be3997538120580944fdcbb021fd28f574f66b8d52adbf5c6f1d7e29495c2115515d761f3cfce5bcc7bd8f56 EBUILD gnatmem-2017.ebuild 852 BLAKE2B 9c08a8678c1af06e6e1388d17a3d0a740fbd06301bfb9313c832989d71198b6cce7d54051de0c8c92b0bca779a8b96ba030b5eed6bfddf8990230ea91de13eb5 SHA512 fe4ef12c20bcc2e1a17d9b8d5b507a16ec818d636c2de732b1467828f32de133132430422e7519892f95027397c65dd3f2ed959fafa0ff5fe6d661b9851f47f2 -MISC metadata.xml 1138 BLAKE2B 867c1ccc45c510480cc4e93b62534182248cfe2e7aad4e5e8e3c5fef153590c2a9832687a5614786b115145d477ddc74a38008566266fa44e9e5e0a4769332d1 SHA512 1b4794806992a99021a8c8c0d8c49374ca2ca676b5ac0dd60fd2e433d8f91225033255a59ab5e5adea2ed0fea20ce704ad7b7f2aa2c7538f8d504ba3df122b7b +EBUILD gnatmem-2018.ebuild 888 BLAKE2B e8c11628ce8561866468d8971b96fea8bc1bf5dc698d1c8c69348c037fbe9122a4d7a88ce92eb5ade450fad1501842791befddc95b6d0355c37edfd102ee4fa5 SHA512 166e40d3eddd59f6629b9e87f0126a10f93dd1e205f5ba80550f97244331faf0ed84b2a50145deae1861038814a795ee2b41ecb16a14df718e916487bf6e5b2a +MISC metadata.xml 1206 BLAKE2B 141fe49e4b3fa46b43658dc0e3852624f5e82d6c796eea4b5e228b65b727170f45a0d0675dd0b864a331df0cd14acb11ff8a251c83d9b1f8aff19588b8e7d677 SHA512 9a8ab793dcd6d6903b1fbe59170261b5454560bef9fd70982d261137b7f4d32c5b12755b4073e4d38050f79815796f752fd61dd9b0fee9c449ce3334ed584baa diff --git a/dev-ada/gnatmem/gnatmem-2018.ebuild b/dev-ada/gnatmem/gnatmem-2018.ebuild new file mode 100644 index 000000000000..74e1cea6ebff --- /dev/null +++ b/dev-ada/gnatmem/gnatmem-2018.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit multiprocessing autotools + +MYP=${PN}-gpl-${PV}-src + +DESCRIPTION="Monitors dynamic allocation and deallocation activity in a program" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a72 -> + ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018" + +RDEPEND="" +DEPEND="dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018=]" + +REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 )" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${PN}-2016-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 0119f73e16b5..7fac49bbd330 100644 --- a/dev-ada/gnatmem/metadata.xml +++ b/dev-ada/gnatmem/metadata.xml @@ -8,6 +8,7 @@ <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> </use> <longdescription lang="en"> The gnatmem utility monitors dynamic allocation and deallocation |