public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/
Date: Wed, 28 Aug 2019 16:32:02 +0000 (UTC)	[thread overview]
Message-ID: <1567009905.5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12.tupone@gentoo> (raw)

commit:     5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Aug 28 16:31:45 2019 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Aug 28 16:31:45 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5eb2b2fd

dev-ada/gnatcoll-core: stable 2018-r1

Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild |  2 +-
 dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild    | 79 ----------------------
 2 files changed, 1 insertion(+), 80 deletions(-)

diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild
index 80b10b247cb..605dcf42e67 100644
--- a/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild
@@ -13,7 +13,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99
 
 LICENSE="GPL-3"
 SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
 IUSE="gnat_2016 gnat_2017 +gnat_2018 gnat_2019 +shared static-libs static-pic"
 
 RDEPEND="

diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
deleted file mode 100644
index 37d1058f21c..00000000000
--- a/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
+++ /dev/null
@@ -1,79 +0,0 @@
-# Copyright 1999-2018 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-inherit multiprocessing
-
-MYP=${PN}-gpl-${PV}
-
-DESCRIPTION="GNAT Component Collection Core packages"
-HOMEPAGE="http://libre.adacore.com"
-SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99
-	-> ${MYP}-src.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic"
-
-RDEPEND="
-	dev-ada/libgpr[gnat_2016=,gnat_2017=,gnat_2018=]
-	dev-ada/libgpr[shared?,static-libs?,static-pic?]
-	!dev-ada/gnatcoll"
-DEPEND="${RDEPEND}
-	dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018=]"
-
-S="${WORKDIR}"/${MYP}-src
-
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
-
-src_prepare() {
-	if use gnat_2016; then
-		GCC_PV=4.9.4
-	elif use gnat_2017; then
-		GCC_PV=6.3.0
-	else
-		GCC_PV=7.3.1
-	fi
-	default
-	sed -i \
-		-e "s:@GNATLS@:${CHOST}-gnatls-${GCC_PV}:g" \
-		src/gnatcoll-projects.ads \
-		|| die
-}
-
-src_configure() {
-	emake prefix="${D}usr" PROCESSORS=$(makeopts_jobs) setup
-}
-
-src_compile() {
-	build () {
-		gprbuild -p -m -j$(makeopts_jobs) \
-			-XBUILD=PROD -v -XGNATCOLL_VERSION=${PV} \
-			-XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$* -XGPR_BUILD=$1 \
-			gnatcoll.gpr -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} || die
-	}
-	if use shared; then
-		build relocatable
-	fi
-	if use static-pic; then
-		build static-pic
-	fi
-	if use static-libs; then
-		build static
-	fi
-}
-
-src_install() {
-	if use shared; then
-		emake install-relocatable
-	fi
-	if use static-pic; then
-		emake install-static-pic
-	fi
-	if use static-libs; then
-		emake install-static
-	fi
-	rm -r "${D}"/usr/share/gpr/manifests || die
-	einstalldocs
-}


             reply	other threads:[~2019-08-28 16:32 UTC|newest]

Thread overview: 58+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-08-28 16:32 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-05-01 21:20 [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/ Alfredo Tupone
2025-05-01 21:20 Alfredo Tupone
2025-04-14 15:59 Sam James
2025-04-14 15:59 Sam James
2025-04-10 18:17 Alfredo Tupone
2025-03-11  7:54 Sam James
2025-02-24 20:32 Alfredo Tupone
2025-01-09 22:06 Alfredo Tupone
2025-01-03 20:20 Alfredo Tupone
2024-12-14 18:12 Sam James
2024-11-23  8:06 Arthur Zamarin
2024-10-19 18:23 Alfredo Tupone
2024-03-02 16:05 Alfredo Tupone
2024-03-02 12:10 Alfredo Tupone
2023-12-02 16:29 Alfredo Tupone
2023-03-21 21:02 Alfredo Tupone
2023-02-22 18:57 Alfredo Tupone
2023-02-02 21:29 Alfredo Tupone
2023-01-15  9:40 Alfredo Tupone
2023-01-15  9:39 Alfredo Tupone
2023-01-15  9:36 Alfredo Tupone
2022-12-04 21:10 Alfredo Tupone
2022-12-04  8:18 Alfredo Tupone
2022-11-21 18:04 Alfredo Tupone
2022-09-20  6:15 Alfredo Tupone
2021-12-19 22:09 Agostino Sarubbo
2021-12-19 16:55 Alfredo Tupone
2021-12-19  9:32 Alfredo Tupone
2021-11-25  7:18 Alfredo Tupone
2021-11-17  7:31 Alfredo Tupone
2021-11-15 18:36 Alfredo Tupone
2021-09-19 12:56 Alfredo Tupone
2021-07-20  6:33 Agostino Sarubbo
2021-06-25  6:44 Alfredo Tupone
2021-06-04 19:19 Alfredo Tupone
2021-06-03 18:55 Alfredo Tupone
2021-05-22 10:40 Alfredo Tupone
2021-05-14  6:25 Alfredo Tupone
2020-08-01 20:38 Alfredo Tupone
2020-06-15 10:03 Alfredo Tupone
2020-06-12  7:38 Alfredo Tupone
2019-11-09 19:56 Alfredo Tupone
2019-10-21  6:33 Alfredo Tupone
2019-09-20  7:12 Alfredo Tupone
2019-09-15 19:10 Alfredo Tupone
2019-08-27 10:16 Alfredo Tupone
2019-06-21  6:17 Alfredo Tupone
2019-06-07 21:26 Alfredo Tupone
2019-06-07 21:04 Alfredo Tupone
2019-06-07 18:51 Alfredo Tupone
2019-06-04 19:45 Alfredo Tupone
2019-06-04 18:40 Alfredo Tupone
2019-05-30  8:09 Alfredo Tupone
2018-06-30 16:43 Alfredo Tupone
2018-06-28 19:08 Alfredo Tupone
2018-06-28 13:12 Alfredo Tupone
2018-06-25  7:39 Alfredo Tupone

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1567009905.5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12.tupone@gentoo \
    --to=tupone@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox