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: Mon, 15 Jun 2020 10:03:53 +0000 (UTC) [thread overview]
Message-ID: <1592215420.891778f7355fda61822021ef999322ec8a6f8b45.tupone@gentoo> (raw)
commit: 891778f7355fda61822021ef999322ec8a6f8b45
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 15 10:02:55 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Jun 15 10:03:40 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=891778f7
dev-ada/gnatcoll-core: version bump to 2020
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ada/gnatcoll-core/Manifest | 1 +
dev-ada/gnatcoll-core/gnatcoll-core-2020.ebuild | 74 +++++++++++++++++++++++++
2 files changed, 75 insertions(+)
diff --git a/dev-ada/gnatcoll-core/Manifest b/dev-ada/gnatcoll-core/Manifest
index 063e1f6bff1..88b8a3deb11 100644
--- a/dev-ada/gnatcoll-core/Manifest
+++ b/dev-ada/gnatcoll-core/Manifest
@@ -1 +1,2 @@
DIST gnatcoll-core-2019-20190515-24AD8-src.tar.gz 1423276 BLAKE2B 154b7a7f77c1f0d6414cb407958d64b84be8d19b7e3a12f69bd3dd1253b71df394aa0c842d2caf9d2de071ea5466589111526329155291f0d967c8b4cc2b18ac SHA512 9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a
+DIST gnatcoll-core-2020-20200429-19B7C-src.tar.gz 1396475 BLAKE2B 329e7f799ad62dfc6f71ca78a736bfc8c768a576f817d03b0d73e25b6e97ae0de0ad5a055bb800f7b83d7449ef8fe703c2779f73fc13a09bbcc1d3d8cc880fd1 SHA512 320878335f2ea1ce91a7770cc181e9cc228c80b1f7a3926a4e27c3822eb8f58726c62a014e2fa4c3f8699851ea87424be26d619ab4931b2e969e3a2e96e58b73
diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-2020.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2020.ebuild
new file mode 100644
index 00000000000..5eedcf63d7e
--- /dev/null
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-2020.ebuild
@@ -0,0 +1,74 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+ADA_COMPAT=( gnat_201{6,7,8,9} )
+inherit ada multiprocessing
+
+MYP=${P}-20200429-19B7C
+
+DESCRIPTION="GNAT Component Collection Core packages"
+HOMEPAGE="http://libre.adacore.com"
+SRC_URI="https://community.download.adacore.com/v1/c94f2ac914cb305f6bef174329fa0b5003d84935?filename=${MYP}-src.tar.gz
+ -> ${MYP}-src.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs static-pic"
+
+RDEPEND="
+ >=dev-ada/libgpr-2020[${ADA_USEDEP},shared?,static-libs?,static-pic?]
+"
+DEPEND="${RDEPEND}
+ dev-ada/gprbuild[${ADA_USEDEP}]"
+
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+
+S="${WORKDIR}"/${MYP}-src
+
+PATCHES=( "${FILESDIR}"/${PN}-2018-gentoo.patch )
+
+src_prepare() {
+ default
+ sed -i \
+ -e "s:@GNATLS@:${GNATLS}: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
+}
next reply other threads:[~2020-06-15 10:03 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-15 10:03 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-02-24 20:32 [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/ 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-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-28 16:32 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=1592215420.891778f7355fda61822021ef999322ec8a6f8b45.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