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/xmlada/files/, dev-ada/xmlada/
Date: Thu, 30 May 2019 07:06:31
Message-Id: 1559199965.bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b.tupone@gentoo
1 commit: bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b
2 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Thu May 30 07:06:05 2019 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Thu May 30 07:06:05 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bbffa6c9
7
8 dev-ada/xmlada: 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/xmlada/files/xmlada-2018-gentoo.patch | 19 +++++--
14 dev-ada/xmlada/metadata.xml | 3 +-
15 dev-ada/xmlada/xmlada-2018-r1.ebuild | 81 +++++++++++++++++++++++++++
16 3 files changed, 98 insertions(+), 5 deletions(-)
17
18 diff --git a/dev-ada/xmlada/files/xmlada-2018-gentoo.patch b/dev-ada/xmlada/files/xmlada-2018-gentoo.patch
19 index 9e79572e306..439b85026d5 100644
20 --- a/dev-ada/xmlada/files/xmlada-2018-gentoo.patch
21 +++ b/dev-ada/xmlada/files/xmlada-2018-gentoo.patch
22 @@ -1,5 +1,5 @@
23 ---- xmlada-gpl-2017-src/Makefile.in.old 2017-12-04 20:09:23.730805855 +0100
24 -+++ xmlada-gpl-2017-src/Makefile.in 2017-12-04 20:09:51.586331155 +0100
25 +--- a/Makefile.in 2017-12-04 20:09:23.730805855 +0100
26 ++++ b/Makefile.in 2017-12-04 20:09:51.586331155 +0100
27 @@ -62,7 +62,8 @@
28
29 # Rebuild the tests (and not the XML/Ada code itself)
30 @@ -9,8 +9,8 @@
31 -XTESTS_ACTIVATED=Only xmlada.gpr
32
33 # Run the tests. This requires an install of XML/Ada first
34 ---- xmlada-gpl-2017-src/tests/Makefile.old 2017-12-04 21:38:29.722818904 +0100
35 -+++ xmlada-gpl-2017-src/tests/Makefile 2017-12-04 21:38:54.229382658 +0100
36 +--- a/tests/Makefile 2017-12-04 21:38:29.722818904 +0100
37 ++++ b/tests/Makefile 2017-12-04 21:38:54.229382658 +0100
38 @@ -1,8 +1,6 @@
39 TESTS= test_unicode \
40 test_state \
41 @@ -28,3 +28,14 @@
42 gprbuild -q -Pdefault.gpr; \
43 ./validate > $(RESULTS)/multiple_xsd.out; \
44 cp $(RESULTS)/multiple_xsd.out $(RESULTS)/multiple_xsd.diff; \
45 +--- a/input_sources/input_sources-http.adb 2019-05-29 10:18:23.428517625 +0200
46 ++++ b/input_sources/input_sources-http.adb 2019-05-29 10:17:53.451007226 +0200
47 +@@ -191,7 +191,7 @@
48 +
49 + Create_Socket (Socket);
50 + Set_Socket_Option (Socket, Socket_Level, (Reuse_Address, True));
51 +- Set_Socket_Option (Socket, Option => (Receive_Buffer, 3000));
52 ++ Set_Socket_Option (Socket, Socket_Level, (Receive_Buffer, 3000));
53 + Connect_Socket (Socket, Addr);
54 +
55 + Channel := Stream (Socket);
56
57 diff --git a/dev-ada/xmlada/metadata.xml b/dev-ada/xmlada/metadata.xml
58 index 22eacbe1615..17a114e73eb 100644
59 --- a/dev-ada/xmlada/metadata.xml
60 +++ b/dev-ada/xmlada/metadata.xml
61 @@ -8,7 +8,8 @@
62 <use>
63 <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag>
64 <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag>
65 - <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2017</flag>
66 + <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag>
67 + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag>
68 <flag name="shared">Build shared library</flag>
69 <flag name="static-pic">Build static library with pic code</flag>
70 </use>
71
72 diff --git a/dev-ada/xmlada/xmlada-2018-r1.ebuild b/dev-ada/xmlada/xmlada-2018-r1.ebuild
73 new file mode 100644
74 index 00000000000..48988109dcf
75 --- /dev/null
76 +++ b/dev-ada/xmlada/xmlada-2018-r1.ebuild
77 @@ -0,0 +1,81 @@
78 +# Copyright 1999-2019 Gentoo Authors
79 +# Distributed under the terms of the GNU General Public License v2
80 +
81 +EAPI=6
82 +
83 +inherit multiprocessing
84 +
85 +MYP=${PN}-gpl-${PV}
86 +
87 +DESCRIPTION="Set of modules that provide a simple manipulation of XML streams"
88 +HOMEPAGE="http://libre.adacore.com/"
89 +SRC_URI="http://mirrors.cdn.adacore.com/art/591aeb88c7a4473fcbb154f8 ->
90 + ${MYP}-src.tar.gz"
91 +
92 +LICENSE="GPL-3"
93 +SLOT="0"
94 +KEYWORDS="~amd64 ~x86"
95 +IUSE="gnat_2016 gnat_2017 +gnat_2018 gnat_2019 +shared static-libs static-pic"
96 +REQUIRED_USE="|| ( shared static-libs static-pic )
97 + ^^ ( gnat_2016 gnat_2017 gnat_2018 gnat_2019 )"
98 +
99 +RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 )
100 + gnat_2017? ( dev-lang/gnat-gpl:6.3.0 )
101 + gnat_2018? ( dev-lang/gnat-gpl:7.3.1 )
102 + gnat_2019? ( dev-lang/gnat-gpl:8.3.1 )"
103 +DEPEND="${RDEPEND}
104 + dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?]"
105 +
106 +S="${WORKDIR}"/${MYP}-src
107 +
108 +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
109 +
110 +src_configure () {
111 + econf --prefix="${D}"/usr
112 +}
113 +
114 +src_compile () {
115 + build () {
116 + gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \
117 + -XBUILD=Production -XPROCESSORS=$(makeopts_jobs) xmlada.gpr \
118 + -cargs ${ADAFLAGS} || die "gprbuild failed"
119 + }
120 + if use shared; then
121 + build relocatable
122 + fi
123 + if use static-libs; then
124 + build static
125 + fi
126 + if use static-pic; then
127 + build static-pic
128 + fi
129 +}
130 +
131 +src_test() {
132 + emake test
133 + emake run_test | grep DIFF && die
134 +}
135 +
136 +src_install () {
137 + build () {
138 + gprinstall -XLIBRARY_TYPE=$1 -f -p -XBUILD=Production \
139 + -XPROCESSORS=$(makeopts_jobs) --prefix="${D}"usr \
140 + --install-name=xmlada --build-var=LIBRARY_TYPE \
141 + --build-var=XMLADA_BUILD \
142 + --build-name=$1 xmlada.gpr || die "gprinstall failed"
143 + }
144 + if use shared; then
145 + build relocatable
146 + fi
147 + if use static-libs; then
148 + build static
149 + fi
150 + if use static-pic; then
151 + build static-pic
152 + fi
153 +
154 + einstalldocs
155 + dodoc xmlada-roadmap.txt
156 + rm "${D}"/usr/share/doc/${PN}/.buildinfo || die
157 + rm -r "${D}"/usr/share/gpr/manifests || die
158 +}