summaryrefslogtreecommitdiff
path: root/dev-ada/gnatmem
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-11-18 09:38:27 +0000
committerV3n3RiX <venerix@redcorelinux.org>2018-11-18 09:38:27 +0000
commit536c3711867ec947c1738f2c4b96f22e4863322d (patch)
tree697733f5cb713908dcf378e13fd15a798a906a91 /dev-ada/gnatmem
parentf65628136faa35d0c4d3b5e7332275c7b35fcd96 (diff)
gentoo resync : 18.11.2018
Diffstat (limited to 'dev-ada/gnatmem')
-rw-r--r--dev-ada/gnatmem/Manifest6
-rw-r--r--dev-ada/gnatmem/files/gnatmem-2018-gentoo.patch (renamed from dev-ada/gnatmem/files/gnatmem-2016-gentoo.patch)15
-rw-r--r--dev-ada/gnatmem/gnatmem-2017.ebuild42
-rw-r--r--dev-ada/gnatmem/gnatmem-2018.ebuild15
4 files changed, 13 insertions, 65 deletions
diff --git a/dev-ada/gnatmem/Manifest b/dev-ada/gnatmem/Manifest
index 51540255c701..038359ebf208 100644
--- a/dev-ada/gnatmem/Manifest
+++ b/dev-ada/gnatmem/Manifest
@@ -1,6 +1,4 @@
-AUX gnatmem-2016-gentoo.patch 3139 BLAKE2B 240fdce83be5d6776d79138dad494ed3f8deafda92c4107a4554ac5a97afdf26102b8bcdd7c31ac09edde7e0b6b53b4d1bc8c2e89eeab591da93af94ee357d25 SHA512 6be363642a5b5244050b275c436eed25948a2b8eea936b0b41ecd9c312441281d325ae9b41b84affd30eae1172cb31ed719935e96b9adc21707b20b88dabc84e
-DIST gnatmem-gpl-2017-src.tar.gz 80106 BLAKE2B 81f5b2fe4cacf383a39230bf3ebbbbfce0cd0a774b0289a78774dacedbfa0f2ca385b5538e1d12a075383158ff3c657d3a645f8f08be62fe6a437c9f7cd4b971 SHA512 52ba2cfb24314f481ec07e351ff6d8883753dcfe5d0489a78536bf0b841d931055be02271a5d93b2ec15c52fd775d4b177a17de52f9472cc8f352bf044b28897
+AUX gnatmem-2018-gentoo.patch 2998 BLAKE2B ef2afa9a7ef200adb3729ac6e3bf80b6a4f92cae8c560805c741189917e454a391a6cc09271491110fd2e0c7c95cef672f807a64acf247cea2996fb2bbc71c31 SHA512 259915b1b9c5a586609c0e2801df3239f859871a194da5cd53ad323020832f5e2f37419bbb6f7e3c1d6a0c5d4a2bcf7b709db220b190abe84faa54463f43d199
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 1012 BLAKE2B 4f3d6eef03ef25822543d7213b1e9ea4d550d961fb76486270dc1b7fbc059dcb3b54eceb518d4dfd7dca1273a92ab2b601ce509411a59ab7d014d08c272497c6 SHA512 48abcea5f5bfe1bf708d677547e17e395de35c01a40d2ca9618e099b79a97c1f0936f5ce200ffc1e04d65594487eb51157299789cf5cd05fe6cb0dec4bc2119e
+EBUILD gnatmem-2018.ebuild 877 BLAKE2B 882e21d0cb7573791f379ba4cdbdbe1a81985796ca4d6e77756938f1c4246cf465fa78d0878af9ed1dd8749d9456d9d69ef8447a80089ca43a7cf1813104c4b9 SHA512 7a0f486170a8571b54126ea42fa45273b1c23dffa83004298b0eec02425308295c30c141f1a63c850ed9df4c2acc42c6a61aeab9d9dfbe13fecaae200dba171e
MISC metadata.xml 1206 BLAKE2B 141fe49e4b3fa46b43658dc0e3852624f5e82d6c796eea4b5e228b65b727170f45a0d0675dd0b864a331df0cd14acb11ff8a251c83d9b1f8aff19588b8e7d677 SHA512 9a8ab793dcd6d6903b1fbe59170261b5454560bef9fd70982d261137b7f4d32c5b12755b4073e4d38050f79815796f752fd61dd9b0fee9c449ce3334ed584baa
diff --git a/dev-ada/gnatmem/files/gnatmem-2016-gentoo.patch b/dev-ada/gnatmem/files/gnatmem-2018-gentoo.patch
index 69530dd24b23..32b08af4da89 100644
--- a/dev-ada/gnatmem/files/gnatmem-2016-gentoo.patch
+++ b/dev-ada/gnatmem/files/gnatmem-2018-gentoo.patch
@@ -1,5 +1,5 @@
---- 1/configure.in.old 2016-12-08 20:57:53.942004080 +0100
-+++ 1/configure.in 2016-12-08 21:00:10.393677257 +0100
+--- a/configure.in 2016-12-08 20:57:53.942004080 +0100
++++ b/configure.in 2016-12-08 21:00:10.393677257 +0100
@@ -2,23 +2,14 @@
AC_INIT(gnatmem.gpr.in)
AC_CANONICAL_SYSTEM
@@ -48,13 +48,12 @@
AC_SUBST(BINUTILS_OBJDIR)
AC_SUBST(BINUTILS_SRCDIR)
---- gnatmem-gpl-2016-src/gnatmem.gpr.in.old 2017-02-02 22:15:30.247906007 +0100
-+++ gnatmem-gpl-2016-src/gnatmem.gpr.in 2017-02-02 22:17:22.604974363 +0100
-@@ -10,8 +10,10 @@
+--- a/gnatmem.gpr.in 2017-02-02 22:15:30.247906007 +0100
++++ b/gnatmem.gpr.in 2017-02-02 22:17:22.604974363 +0100
+@@ -10,8 +10,9 @@
for Languages use ("ada", "c");
package Compiler is
-+ for Driver ("C") use External ("CC", "gcc");
for Default_Switches ("ada") use ("-O2", "-W", "-Wall", "-gnatpg");
for Default_Switches ("c") use ("-O2",
+ "-I..",
@@ -72,8 +71,8 @@
"@LIBDL@",
"@LIBZ@");
end Linker;
---- gnatmem-gpl-2015-src/src/libaddr2line.c.old 2017-01-04 21:03:36.185233702 +0100
-+++ gnatmem-gpl-2015-src/src/libaddr2line.c 2017-01-04 21:04:17.680455390 +0100
+--- a/src/libaddr2line.c 2017-01-04 21:03:36.185233702 +0100
++++ b/src/libaddr2line.c 2017-01-04 21:04:17.680455390 +0100
@@ -23,9 +23,9 @@
#include <string.h>
#include <stdlib.h>
diff --git a/dev-ada/gnatmem/gnatmem-2017.ebuild b/dev-ada/gnatmem/gnatmem-2017.ebuild
deleted file mode 100644
index e7d409d86e59..000000000000
--- a/dev-ada/gnatmem/gnatmem-2017.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# 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/591c45e2c7a447af2deed033 ->
- ${MYP}.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE="gnat_2016 +gnat_2017"
-
-RDEPEND=""
-DEPEND="dev-ada/gprbuild[gnat_2016=,gnat_2017=]"
-
-REQUIRED_USE="^^ ( gnat_2016 gnat_2017 )"
-
-S="${WORKDIR}"/${MYP}
-
-PATCHES=( "${FILESDIR}"/${PN}-2016-gentoo.patch )
-
-src_prepare() {
- default
- mv configure.in configure.ac
- eautoreconf
-}
-
-src_compile() {
- gprbuild -Pgnatmem.gpr -j$(makeopts_jobs) \
- -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS}
-}
-
-src_install() {
- dobin obj/gnatmem
-}
diff --git a/dev-ada/gnatmem/gnatmem-2018.ebuild b/dev-ada/gnatmem/gnatmem-2018.ebuild
index 5c78d05a3175..738da3c95ae8 100644
--- a/dev-ada/gnatmem/gnatmem-2018.ebuild
+++ b/dev-ada/gnatmem/gnatmem-2018.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -14,7 +14,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a72 ->
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
IUSE="gnat_2016 gnat_2017 +gnat_2018"
RDEPEND=""
@@ -24,7 +24,7 @@ REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 )"
S="${WORKDIR}"/${MYP}
-PATCHES=( "${FILESDIR}"/${PN}-2016-gentoo.patch )
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
src_prepare() {
default
@@ -33,14 +33,7 @@ src_prepare() {
}
src_compile() {
- 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} \
+ gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \
-cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS}
}