Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/
Date: Thu, 30 May 2019 08:09:09
Message-Id: 1559203730.4a837b66bad2328bc4c97c6f161689e051dd930b.tupone@gentoo
1 commit: 4a837b66bad2328bc4c97c6f161689e051dd930b
2 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Thu May 30 08:08:50 2019 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Thu May 30 08:08:50 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a837b66
7
8 dev-ada/gnatcoll-core: enable build with gnat-gpl-2019
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11 Package-Manager: Portage-2.3.62, Repoman-2.3.11
12
13 dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild | 81 ++++++++++++++++++++++
14 dev-ada/gnatcoll-core/metadata.xml | 1 +
15 2 files changed, 82 insertions(+)
16
17 diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild
18 new file mode 100644
19 index 00000000000..5aee1f706e9
20 --- /dev/null
21 +++ b/dev-ada/gnatcoll-core/gnatcoll-core-2018-r1.ebuild
22 @@ -0,0 +1,81 @@
23 +# Copyright 1999-2019 Gentoo Authors
24 +# Distributed under the terms of the GNU General Public License v2
25 +
26 +EAPI=6
27 +inherit multiprocessing
28 +
29 +MYP=${PN}-gpl-${PV}
30 +
31 +DESCRIPTION="GNAT Component Collection Core packages"
32 +HOMEPAGE="http://libre.adacore.com"
33 +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99
34 + -> ${MYP}-src.tar.gz"
35 +
36 +LICENSE="GPL-3"
37 +SLOT="0"
38 +KEYWORDS="~amd64 ~x86"
39 +IUSE="gnat_2016 gnat_2017 +gnat_2018 gnat_2019 +shared static-libs static-pic"
40 +
41 +RDEPEND="
42 + dev-ada/libgpr[gnat_2016=,gnat_2017=,gnat_2018=,gnat_2019=]
43 + dev-ada/libgpr[shared?,static-libs?,static-pic?]
44 + !dev-ada/gnatcoll"
45 +DEPEND="${RDEPEND}
46 + dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018=,gnat_2019=]"
47 +
48 +S="${WORKDIR}"/${MYP}-src
49 +
50 +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
51 +
52 +src_prepare() {
53 + if use gnat_2016; then
54 + GCC_PV=4.9.4
55 + elif use gnat_2017; then
56 + GCC_PV=6.3.0
57 + elif use gnat_2018; then
58 + GCC_PV=7.3.1
59 + else
60 + GCC_PV=8.3.1
61 + fi
62 + default
63 + sed -i \
64 + -e "s:@GNATLS@:${CHOST}-gnatls-${GCC_PV}:g" \
65 + src/gnatcoll-projects.ads \
66 + || die
67 +}
68 +
69 +src_configure() {
70 + emake prefix="${D}usr" PROCESSORS=$(makeopts_jobs) setup
71 +}
72 +
73 +src_compile() {
74 + build () {
75 + gprbuild -p -m -j$(makeopts_jobs) \
76 + -XBUILD=PROD -v -XGNATCOLL_VERSION=${PV} \
77 + -XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$* -XGPR_BUILD=$1 \
78 + gnatcoll.gpr -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} || die
79 + }
80 + if use shared; then
81 + build relocatable
82 + fi
83 + if use static-pic; then
84 + build static-pic
85 + fi
86 + if use static-libs; then
87 + build static
88 + fi
89 +}
90 +
91 +src_install() {
92 + if use shared; then
93 + emake install-relocatable
94 + fi
95 + if use static-pic; then
96 + emake install-static-pic
97 + fi
98 + if use static-libs; then
99 + emake install-static
100 + fi
101 + rm -r "${D}"/usr/share/gpr/manifests || die
102 + einstalldocs
103 +}
104
105 diff --git a/dev-ada/gnatcoll-core/metadata.xml b/dev-ada/gnatcoll-core/metadata.xml
106 index 294071cbcd1..5065682aa1e 100644
107 --- a/dev-ada/gnatcoll-core/metadata.xml
108 +++ b/dev-ada/gnatcoll-core/metadata.xml
109 @@ -9,6 +9,7 @@
110 <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag>
111 <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag>
112 <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag>
113 + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2018</flag>
114 <flag name="shared">Build shared library</flag>
115 <flag name="static-pic">Build static library with pic code</flag>
116 </use>