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 61977138334 for ; Thu, 5 Jul 2018 19:21:37 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5764CE089A; Thu, 5 Jul 2018 19:21:36 +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 0EEC3E089A for ; Thu, 5 Jul 2018 19:21:36 +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 D5DAA335C7D for ; Thu, 5 Jul 2018 19:21:33 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id EAEF82E5 for ; Thu, 5 Jul 2018 19:21:31 +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: <1530818480.a75968272fa14056564fa2d2d7532c79d47c45e1.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/libadalang/files/, dev-ada/libadalang/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ada/libadalang/Manifest dev-ada/libadalang/files/libadalang-2018-gentoo.patch dev-ada/libadalang/libadalang-2018.ebuild dev-ada/libadalang/metadata.xml X-VCS-Directories: dev-ada/libadalang/files/ dev-ada/libadalang/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: a75968272fa14056564fa2d2d7532c79d47c45e1 X-VCS-Branch: master Date: Thu, 5 Jul 2018 19:21:31 +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-Archives-Salt: e923b733-2c0e-4a74-8cfc-701cc3ec4aec X-Archives-Hash: b8b28e86da2e43a8a372e5477975284e commit: a75968272fa14056564fa2d2d7532c79d47c45e1 Author: Tupone Alfredo gentoo org> AuthorDate: Thu Jul 5 19:21:20 2018 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jul 5 19:21:20 2018 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7596827 dev-ada/libadalang: Bump to 2018 Package-Manager: Portage-2.3.40, Repoman-2.3.9 dev-ada/libadalang/Manifest | 1 + .../libadalang/files/libadalang-2018-gentoo.patch | 21 +++++++++ dev-ada/libadalang/libadalang-2018.ebuild | 50 ++++++++++++++++++++++ dev-ada/libadalang/metadata.xml | 1 + 4 files changed, 73 insertions(+) diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest index a4863a34881..adfbb0304c9 100644 --- a/dev-ada/libadalang/Manifest +++ b/dev-ada/libadalang/Manifest @@ -1 +1,2 @@ DIST libadalang-2017-src.tar.gz 1862217 BLAKE2B 58f72726285e56a15278e85902fabf988327ea86a08cc6c86271d61075a6b19a0bffa86e5302f5c32e6d35ef95473ad747853b14899a12d09d49d656f4e6559e SHA512 c8663a7214c3c1dd73a6589a6db10d219fcd2db39ba2ce184eea85272c5f206ab0aa8d13b0e19b08a5996906c7fbddd479795363ec22e889dfceda9967c346c7 +DIST libadalang-gpl-2018-src.tar.gz 1990774 BLAKE2B ffad46d4988de7fb8c9bf94d24360a726c59e3c70a2318725a59e0b6b62351e8f5d8dd6501964618607122e3c7cb3bda0e1181818c68324d4067d59ac93e2b1c SHA512 b95196323097065be2996ced767f8f89fb77445f99c249d84043c68d926d61c78b310b4fef0699d08f9112dc423596c076f452745469a75a8467c35b5e10ac2c diff --git a/dev-ada/libadalang/files/libadalang-2018-gentoo.patch b/dev-ada/libadalang/files/libadalang-2018-gentoo.patch new file mode 100644 index 00000000000..ef92b255cf4 --- /dev/null +++ b/dev-ada/libadalang/files/libadalang-2018-gentoo.patch @@ -0,0 +1,21 @@ +--- a/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:01:31.495287196 +0200 ++++ b/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:00:08.104464440 +0200 +@@ -72,6 +72,7 @@ + -- different default standard. + + "-I{support_include_dir}", "-g"); ++ for Driver ("C") use External ("GCC", "gcc"); + end Compiler; + end P; + '''.format(main_source=compile_units[0], +--- a/ada/testsuite/tests/c_api/unit_file_providers/test.out 2018-07-05 20:57:15.718357269 +0200 ++++ b/ada/testsuite/tests/c_api/unit_file_providers/test.out 2018-07-05 20:58:47.363026320 +0200 +@@ -5,6 +5,8 @@ + Calling ufp_get_unit_filename (some_field=42, kind=0) with name: "foo" + Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" + Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" ++Calling ufp_get_unit_filename (some_field=42, kind=0) with name: "foo" ++Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" + resolves to: + + Calling ufp_destroy (some_field=42) diff --git a/dev-ada/libadalang/libadalang-2018.ebuild b/dev-ada/libadalang/libadalang-2018.ebuild new file mode 100644 index 00000000000..14689aeaafd --- /dev/null +++ b/dev-ada/libadalang/libadalang-2018.ebuild @@ -0,0 +1,50 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +PYTHON_COMPAT=( python2_7 ) + +inherit python-single-r1 + +MYP=${PN}-gpl-${PV}-src +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf9adc7a4475263382c18 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018" + +RDEPEND="dev-python/pyyaml + || ( + dev-ada/gnatcoll[projects,shared,gnat_2016=,gnat_2017=] + dev-ada/gnatcoll-bindings[iconv,shared,gnat_2016=,gnat_2017=,gnat_2018] + ) + ${PYTHON_DEPS}" +DEPEND="${RDEPEND} + >=dev-ada/langkit-2018" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_configure() { + ada/manage.py generate || die +} + +src_compile() { + ada/manage.py build || die +} + +src_test () { + ada/manage.py test | grep FAILED && die +} + +src_install () { + ada/manage.py install "${D}"usr + python_domodule build/python/libadalang.py +} diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml index 31ddba84751..7af42063559 100644 --- a/dev-ada/libadalang/metadata.xml +++ b/dev-ada/libadalang/metadata.xml @@ -8,6 +8,7 @@ Compile with dev-lang/gnat-gpl-2016 Compile with dev-lang/gnat-gpl-2017 + Compile with dev-lang/gnat-gpl-2018 Libadalang is a project to build a high performance semantic engine for