summaryrefslogtreecommitdiff
path: root/dev-ada/gnatmem
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-08-04 08:53:53 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-08-04 08:53:53 +0100
commite3872864be25f7421015bef2732fa57c0c9fb726 (patch)
tree9cb29a544215119b5c5538e37211b994ce1c87ae /dev-ada/gnatmem
parent480486b52ea64765faf696c88b2c6a26a5a454d4 (diff)
gentoo resync : 04.08.2018
Diffstat (limited to 'dev-ada/gnatmem')
-rw-r--r--dev-ada/gnatmem/Manifest2
-rw-r--r--dev-ada/gnatmem/gnatmem-2018.ebuild9
2 files changed, 9 insertions, 2 deletions
diff --git a/dev-ada/gnatmem/Manifest b/dev-ada/gnatmem/Manifest
index 6be337014ce5..51540255c701 100644
--- a/dev-ada/gnatmem/Manifest
+++ b/dev-ada/gnatmem/Manifest
@@ -2,5 +2,5 @@ AUX gnatmem-2016-gentoo.patch 3139 BLAKE2B 240fdce83be5d6776d79138dad494ed3f8dea
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
-EBUILD gnatmem-2018.ebuild 888 BLAKE2B e8c11628ce8561866468d8971b96fea8bc1bf5dc698d1c8c69348c037fbe9122a4d7a88ce92eb5ade450fad1501842791befddc95b6d0355c37edfd102ee4fa5 SHA512 166e40d3eddd59f6629b9e87f0126a10f93dd1e205f5ba80550f97244331faf0ed84b2a50145deae1861038814a795ee2b41ecb16a14df718e916487bf6e5b2a
+EBUILD gnatmem-2018.ebuild 1012 BLAKE2B 4f3d6eef03ef25822543d7213b1e9ea4d550d961fb76486270dc1b7fbc059dcb3b54eceb518d4dfd7dca1273a92ab2b601ce509411a59ab7d014d08c272497c6 SHA512 48abcea5f5bfe1bf708d677547e17e395de35c01a40d2ca9618e099b79a97c1f0936f5ce200ffc1e04d65594487eb51157299789cf5cd05fe6cb0dec4bc2119e
MISC metadata.xml 1206 BLAKE2B 141fe49e4b3fa46b43658dc0e3852624f5e82d6c796eea4b5e228b65b727170f45a0d0675dd0b864a331df0cd14acb11ff8a251c83d9b1f8aff19588b8e7d677 SHA512 9a8ab793dcd6d6903b1fbe59170261b5454560bef9fd70982d261137b7f4d32c5b12755b4073e4d38050f79815796f752fd61dd9b0fee9c449ce3334ed584baa
diff --git a/dev-ada/gnatmem/gnatmem-2018.ebuild b/dev-ada/gnatmem/gnatmem-2018.ebuild
index 74e1cea6ebff..5c78d05a3175 100644
--- a/dev-ada/gnatmem/gnatmem-2018.ebuild
+++ b/dev-ada/gnatmem/gnatmem-2018.ebuild
@@ -33,7 +33,14 @@ src_prepare() {
}
src_compile() {
- gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \
+ if use gnat_2016; then
+ GCC_PV=4.9.0
+ elif use gnat_2017; then
+ GCC_PV=6.3.0
+ else
+ GCC_PV=7.3.1
+ fi
+ gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) -XCC=gcc-${GCC_PV} \
-cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS}
}