summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2019-08-28 18:31:45 +0200
committerTupone Alfredo <tupone@gentoo.org>2019-08-28 18:31:45 +0200
commit5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12 (patch)
tree3fb3e10feb0db3b374e26ca8f80c401915bae72a /dev-ada
parentdev-ada/libgpr: stable 2018-r1 (diff)
downloadgentoo-5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12.tar.gz
gentoo-5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12.tar.bz2
gentoo-5eb2b2fd732f8c33e19fa0a63951b0f2a0891d12.zip
dev-ada/gnatcoll-core: stable 2018-r1
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild2
-rw-r--r--dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild79
2 files changed, 1 insertions, 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 80b10b247cb8..605dcf42e672 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 37d1058f21c9..000000000000
--- 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
-}