From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 11EE2138334 for ; Thu, 30 May 2019 07:06:31 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 35D3FE085D; Thu, 30 May 2019 07:06:30 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 06CFEE085D for ; Thu, 30 May 2019 07:06:29 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 5EE9B3452AB for ; Thu, 30 May 2019 07:06:27 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id C77C157E for ; Thu, 30 May 2019 07:06:25 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1559199965.bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/xmlada/files/, dev-ada/xmlada/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ada/xmlada/files/xmlada-2018-gentoo.patch dev-ada/xmlada/metadata.xml dev-ada/xmlada/xmlada-2018-r1.ebuild X-VCS-Directories: dev-ada/xmlada/ dev-ada/xmlada/files/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b X-VCS-Branch: master Date: Thu, 30 May 2019 07:06:25 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 739e31bd-fb20-475e-a907-462c55ca5552 X-Archives-Hash: a7d28bd18ea89a49e2c0ac762f6f2a75 commit: bbffa6c9e2a4a8b67d42a953081b3a1f1cf4b69b Author: Tupone Alfredo gentoo org> AuthorDate: Thu May 30 07:06:05 2019 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Thu May 30 07:06:05 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bbffa6c9 dev-ada/xmlada: Enable build with gnat-gpl-2019 Signed-off-by: Alfredo Tupone gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11 dev-ada/xmlada/files/xmlada-2018-gentoo.patch | 19 +++++-- dev-ada/xmlada/metadata.xml | 3 +- 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 9e79572e306..439b85026d5 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 22eacbe1615..17a114e73eb 100644 --- a/dev-ada/xmlada/metadata.xml +++ b/dev-ada/xmlada/metadata.xml @@ -8,7 +8,8 @@ Compile with dev-lang/gnat-gpl-2016 Compile with dev-lang/gnat-gpl-2017 - Compile with dev-lang/gnat-gpl-2017 + Compile with dev-lang/gnat-gpl-2018 + Compile with dev-lang/gnat-gpl-2019 Build shared library Build static library with pic code diff --git a/dev-ada/xmlada/xmlada-2018-r1.ebuild b/dev-ada/xmlada/xmlada-2018-r1.ebuild new file mode 100644 index 00000000000..48988109dcf --- /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 +}