diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2019-05-30 09:06:05 +0200 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2019-05-30 09:06:05 +0200 |
commit | bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b (patch) | |
tree | 915395b276c28308a2183bb37342279091cecd52 /dev-ada | |
parent | dev-ada/gprbuild: Enable compilation with gnat-gpl-2019 (diff) | |
download | gentoo-bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b.tar.gz gentoo-bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b.tar.bz2 gentoo-bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b.zip |
dev-ada/xmlada: Enable build with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
Diffstat (limited to 'dev-ada')
-rw-r--r-- | dev-ada/xmlada/files/xmlada-2018-gentoo.patch | 19 | ||||
-rw-r--r-- | dev-ada/xmlada/metadata.xml | 3 | ||||
-rw-r--r-- | dev-ada/xmlada/xmlada-2018-r1.ebuild | 81 |
3 files changed, 98 insertions, 5 deletions
diff --git a/dev-ada/xmlada/files/xmlada-2018-gentoo.patch b/dev-ada/xmlada/files/xmlada-2018-gentoo.patch index 9e79572e3067..439b85026d5f 100644 --- a/dev-ada/xmlada/files/xmlada-2018-gentoo.patch +++ b/dev-ada/xmlada/files/xmlada-2018-gentoo.patch @@ -1,5 +1,5 @@ ---- xmlada-gpl-2017-src/Makefile.in.old 2017-12-04 20:09:23.730805855 +0100 -+++ xmlada-gpl-2017-src/Makefile.in 2017-12-04 20:09:51.586331155 +0100 +--- a/Makefile.in 2017-12-04 20:09:23.730805855 +0100 ++++ b/Makefile.in 2017-12-04 20:09:51.586331155 +0100 @@ -62,7 +62,8 @@ # Rebuild the tests (and not the XML/Ada code itself) @@ -9,8 +9,8 @@ -XTESTS_ACTIVATED=Only xmlada.gpr # Run the tests. This requires an install of XML/Ada first ---- xmlada-gpl-2017-src/tests/Makefile.old 2017-12-04 21:38:29.722818904 +0100 -+++ xmlada-gpl-2017-src/tests/Makefile 2017-12-04 21:38:54.229382658 +0100 +--- a/tests/Makefile 2017-12-04 21:38:29.722818904 +0100 ++++ b/tests/Makefile 2017-12-04 21:38:54.229382658 +0100 @@ -1,8 +1,6 @@ TESTS= test_unicode \ test_state \ @@ -28,3 +28,14 @@ gprbuild -q -Pdefault.gpr; \ ./validate > $(RESULTS)/multiple_xsd.out; \ cp $(RESULTS)/multiple_xsd.out $(RESULTS)/multiple_xsd.diff; \ +--- a/input_sources/input_sources-http.adb 2019-05-29 10:18:23.428517625 +0200 ++++ b/input_sources/input_sources-http.adb 2019-05-29 10:17:53.451007226 +0200 +@@ -191,7 +191,7 @@ + + Create_Socket (Socket); + Set_Socket_Option (Socket, Socket_Level, (Reuse_Address, True)); +- Set_Socket_Option (Socket, Option => (Receive_Buffer, 3000)); ++ Set_Socket_Option (Socket, Socket_Level, (Receive_Buffer, 3000)); + Connect_Socket (Socket, Addr); + + Channel := Stream (Socket); diff --git a/dev-ada/xmlada/metadata.xml b/dev-ada/xmlada/metadata.xml index 22eacbe16159..17a114e73ebb 100644 --- a/dev-ada/xmlada/metadata.xml +++ b/dev-ada/xmlada/metadata.xml @@ -8,7 +8,8 @@ <use> <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> - <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2017</flag> + <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag> <flag name="shared">Build shared library</flag> <flag name="static-pic">Build static library with pic code</flag> </use> diff --git a/dev-ada/xmlada/xmlada-2018-r1.ebuild b/dev-ada/xmlada/xmlada-2018-r1.ebuild new file mode 100644 index 000000000000..48988109dcfc --- /dev/null +++ b/dev-ada/xmlada/xmlada-2018-r1.ebuild @@ -0,0 +1,81 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit multiprocessing + +MYP=${PN}-gpl-${PV} + +DESCRIPTION="Set of modules that provide a simple manipulation of XML streams" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/591aeb88c7a4473fcbb154f8 -> + ${MYP}-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018 gnat_2019 +shared static-libs static-pic" +REQUIRED_USE="|| ( shared static-libs static-pic ) + ^^ ( gnat_2016 gnat_2017 gnat_2018 gnat_2019 )" + +RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 ) + gnat_2017? ( dev-lang/gnat-gpl:6.3.0 ) + gnat_2018? ( dev-lang/gnat-gpl:7.3.1 ) + gnat_2019? ( dev-lang/gnat-gpl:8.3.1 )" +DEPEND="${RDEPEND} + dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?]" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_configure () { + econf --prefix="${D}"/usr +} + +src_compile () { + build () { + gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \ + -XBUILD=Production -XPROCESSORS=$(makeopts_jobs) xmlada.gpr \ + -cargs ${ADAFLAGS} || die "gprbuild failed" + } + if use shared; then + build relocatable + fi + if use static-libs; then + build static + fi + if use static-pic; then + build static-pic + fi +} + +src_test() { + emake test + emake run_test | grep DIFF && die +} + +src_install () { + build () { + gprinstall -XLIBRARY_TYPE=$1 -f -p -XBUILD=Production \ + -XPROCESSORS=$(makeopts_jobs) --prefix="${D}"usr \ + --install-name=xmlada --build-var=LIBRARY_TYPE \ + --build-var=XMLADA_BUILD \ + --build-name=$1 xmlada.gpr || die "gprinstall failed" + } + if use shared; then + build relocatable + fi + if use static-libs; then + build static + fi + if use static-pic; then + build static-pic + fi + + einstalldocs + dodoc xmlada-roadmap.txt + rm "${D}"/usr/share/doc/${PN}/.buildinfo || die + rm -r "${D}"/usr/share/gpr/manifests || die +} |