From a0953f7ac639d8e180f62ab3364ccf9af71f783d Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 26 Feb 2023 21:58:19 +0000 Subject: gentoo auto-resync : 26:02:2023 - 21:58:19 --- dev-ada/Manifest.gz | Bin 4564 -> 4562 bytes dev-ada/libadalang/Manifest | 3 +- .../libadalang/files/libadalang-23.0.0-test.patch | 11 +++ dev-ada/libadalang/libadalang-23.0.0-r1.ebuild | 108 +++++++++++++++++++++ dev-ada/libadalang/libadalang-23.0.0.ebuild | 106 -------------------- 5 files changed, 121 insertions(+), 107 deletions(-) create mode 100644 dev-ada/libadalang/files/libadalang-23.0.0-test.patch create mode 100644 dev-ada/libadalang/libadalang-23.0.0-r1.ebuild delete mode 100644 dev-ada/libadalang/libadalang-23.0.0.ebuild (limited to 'dev-ada') diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz index f72ceb3a2a90..fc8af3989c7e 100644 Binary files a/dev-ada/Manifest.gz and b/dev-ada/Manifest.gz differ diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest index fac637cc2a3f..2d4a7404f750 100644 --- a/dev-ada/libadalang/Manifest +++ b/dev-ada/libadalang/Manifest @@ -1,5 +1,6 @@ +AUX libadalang-23.0.0-test.patch 554 BLAKE2B 3f9dd2b8bba0defd745e18e00162116c56cef11395ebea09730337a844824e0b3c231ed650dd2510fca431c12c5d1991bbcf9b772899f85d5f9af90a3acb51b1 SHA512 0f53b76eb2dbdf8c4fdea5d1e582e2402fae31367d48f95e9fb15726af5b32d8a26bb4295c4c60a68fd4e3bf600dd82cbfa4b8b28cadcd626c6c9f652dccb175 DIST libadalang-22.0.0.tar.gz 2364531 BLAKE2B 3992baa7180dce696b2c8aa0d451117a12b90072e83274d96a8d971b627c82bc66c5c21fa1eb6dbdd7ce95e0264852c5702b3d7c90f7bdf093915178e0a4a659 SHA512 b874feb102fe221595ad4b9b95b3ea4c6593686f96097ace17ad3c57534dc801000819de0cf898489e3407fd201eb003dd75f4f743a53dfb76cadfa6c727d789 DIST libadalang-23.0.0.tar.gz 2604724 BLAKE2B 0e415c92fdd150e19288cee87a011c448962531b629b7f77be3b22a7e6662017a6cfd5132a5895c68ffee4b28b7ac35e4b5abc07f015a84638ecb1843976e3e5 SHA512 ed80d751d3a2e07b0d612bda24c0f1d753d15237cde3d9e3bbb6c79c8c98d6af050151c499d161e619282ed8cb742968bbfb5423008aa593a6673fcf0375c7d3 EBUILD libadalang-22.0.0.ebuild 2350 BLAKE2B 226d2cea0435f8a355ed6cf34b1c4ac1949982c15ec67215196ea880642ae455b013209687eadd95997e7f867853949372349a0ad2641e3d12b2873662597ec6 SHA512 56d30b13e86bb15b959ee0d8e4dc24d9cfab1a541e921ba06a570d410c440e753307e8cbad85ff057c609e6210781cc67745bb8e329f80a85c38ee4fdf914cec -EBUILD libadalang-23.0.0.ebuild 2580 BLAKE2B 02fd71bb3884c5a972ec54dec53f5aa7c8e2a290145f0af4aa71607f0e0d9efe6b0b00d2290b70d6bf90eee486fb7c83dd8d5464505b8016373fe9357e69144c SHA512 37a103c6514770442331a6465b4fc1ae9faceb646de385aa9b3cbd1f46e3b8550651badf3aa204ce7f845900dca74361ec0fbcfe48b5ee0a4389c89db6d3bc72 +EBUILD libadalang-23.0.0-r1.ebuild 2636 BLAKE2B c685ccb1ac32bf1c7fef98bd37f94558970c338175d5067947a224806ae523e55e0eb6d3d7bd74d925ee94ae3caafbc2c6ab3c9fc84614574372db47403e706f SHA512 fa8ed0a056e89563d31ec3b956de71d7ba27686d594a641a0a06489e37d76ea3197925f7bbed8b4bbf0b2a7b63d5c903fc7d6e7de97799fb5235761ac80cd4ea MISC metadata.xml 676 BLAKE2B 085445f4e10891044b544d0885a3887a5f8b2d0188ead82eee9e3a351042b171cd3cbfe5ac5910a008e723f74c1f9e96cec5239b91567af28f10c136d5372d6f SHA512 7165db10f2d58592cdf3197778ed42a99d6fa05730ab89ed9faa05146e6d54e3888f7f2841f129c5d2ef5897910348058de4303b105e1ba50ff08e2cbc7831ce diff --git a/dev-ada/libadalang/files/libadalang-23.0.0-test.patch b/dev-ada/libadalang/files/libadalang-23.0.0-test.patch new file mode 100644 index 000000000000..ac5738d5a685 --- /dev/null +++ b/dev-ada/libadalang/files/libadalang-23.0.0-test.patch @@ -0,0 +1,11 @@ +--- a/user_manual/changes/V325-006.yaml 2022-09-15 14:51:28.000000000 +0200 ++++ b/user_manual/changes/V325-006.yaml 2023-02-26 16:41:25.121927720 +0100 +@@ -1,7 +1,7 @@ + type: bugfix + title: Fix exponentiation in Ada integer literal decoding + description: | +- Libadalang’s decoder for integer literals (the ++ Libadalang's decoder for integer literals (the + ``Libadalang.Sources.Decode_Integer_Literal`` procedure) applied the exponent + in base 10 regardless of the base of the literal being evaluated. This is + wrong, as the ARM (2.4.2) states: diff --git a/dev-ada/libadalang/libadalang-23.0.0-r1.ebuild b/dev-ada/libadalang/libadalang-23.0.0-r1.ebuild new file mode 100644 index 000000000000..6df305d7916c --- /dev/null +++ b/dev-ada/libadalang/libadalang-23.0.0-r1.ebuild @@ -0,0 +1,108 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{10..11} ) +ADA_COMPAT=( gnat_2021 gcc_12 gcc_12_2_0 ) + +inherit ada python-single-r1 multiprocessing + +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="test +static-libs static-pic" +REQUIRED_USE="${PYTHON_REQUIRED_USE} + ${ADA_REQUIRED_USE}" +RESTRICT="!test? ( test )" + +RDEPEND="dev-python/pyyaml + =dev-ada/gnatcoll-bindings-23.0.0[${ADA_USEDEP},gmp,iconv] + dev-ada/gnatcoll-bindings[shared,static-libs?,static-pic?] + ${ADA_DEPS} + ${PYTHON_DEPS} + dev-ada/langkit[${ADA_USEDEP},shared,static-libs?,static-pic?] + $(python_gen_cond_dep ' + dev-ada/langkit[${PYTHON_USEDEP}] + ')" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}] +" +BDEPEND="test? ( + dev-ml/dune + dev-ml/zarith + dev-ml/camomile + dev-ml/ocaml-ctypes + dev-ada/e3-testsuite +