From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 633DB1582EF for ; Tue, 11 Feb 2025 17:48:16 +0000 (UTC) Received: from lists.gentoo.org (bobolink.gentoo.org [140.211.166.189]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) (Authenticated sender: relay-lists.gentoo.org@gentoo.org) by smtp.gentoo.org (Postfix) with ESMTPSA id 45D6C3430FD for ; Tue, 11 Feb 2025 17:48:16 +0000 (UTC) Received: from bobolink.gentoo.org (localhost [127.0.0.1]) by bobolink.gentoo.org (Postfix) with ESMTP id 41B4D11042D; Tue, 11 Feb 2025 17:48:15 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by bobolink.gentoo.org (Postfix) with ESMTPS id 375EA11042D for ; Tue, 11 Feb 2025 17:48:15 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id D2257343024 for ; Tue, 11 Feb 2025 17:48:14 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 342D527F5 for ; Tue, 11 Feb 2025 17:48:13 +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: <1739295970.7964917133bd5fc53e412f168c702be8c89f3493.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/spark/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-lang/spark/spark-2024.01.11-r1.ebuild dev-lang/spark/spark-2024.01.11.ebuild X-VCS-Directories: dev-lang/spark/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: 7964917133bd5fc53e412f168c702be8c89f3493 X-VCS-Branch: master Date: Tue, 11 Feb 2025 17:48:13 +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: a514731e-5e0c-45b2-bfbf-52841c381af1 X-Archives-Hash: 6c376174facc9f6978801d0a970f175c commit: 7964917133bd5fc53e412f168c702be8c89f3493 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Feb 11 17:45:43 2025 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Tue Feb 11 17:46:10 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=79649171 dev-lang/spark: fix python deps Signed-off-by: Alfredo Tupone gentoo.org> ...2024.01.11.ebuild => spark-2024.01.11-r1.ebuild} | 21 +++++++++++++++++++-- 1 file changed, 19 insertions(+), 2 deletions(-) diff --git a/dev-lang/spark/spark-2024.01.11.ebuild b/dev-lang/spark/spark-2024.01.11-r1.ebuild similarity index 82% rename from dev-lang/spark/spark-2024.01.11.ebuild rename to dev-lang/spark/spark-2024.01.11-r1.ebuild index cdc356d5034b..fc35d9cd7b74 100644 --- a/dev-lang/spark/spark-2024.01.11.ebuild +++ b/dev-lang/spark/spark-2024.01.11-r1.ebuild @@ -4,7 +4,8 @@ EAPI=8 ADA_COMPAT=( gcc_14 ) -inherit ada multiprocessing +PYTHON_COMPAT=( python3_{10..13} pypy3 ) +inherit ada python-any-r1 multiprocessing commitId=ce5fad038790d5dc18f9b5345dc604f1ccf45b06 why3Id=fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084 @@ -25,16 +26,32 @@ IUSE="doc" RDEPEND=" dev-ada/gnatcoll-core[${ADA_USEDEP},shared] - >=dev-ada/gpr-25[${ADA_USEDEP},shared] + ~dev-ada/gpr-24.2.0[${ADA_USEDEP}] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark" DEPEND="${RDEPEND} dev-ada/gprbuild[${ADA_USEDEP}]" +BDEPEND="doc? ( + $(python_gen_any_dep ' + dev-python/sphinx[${PYTHON_USEDEP}] + dev-python/sphinx-rtd-theme[${PYTHON_USEDEP}] + ') +)" REQUIRED_USE="${ADA_REQUIRED_USE}" PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) +python_check_deps() { + python_has_version "dev-python/sphinx[${PYTHON_USEDEP}]" && + python_has_version "dev-python/sphinx-rtd-theme[${PYTHON_USEDEP}]" +} + +pkg_setup() { + use doc && python-any-r1_pkg_setup + ada_pkg_setup +} + src_prepare() { ln -s "${WORKDIR}"/gcc-14.2.0/gcc/ada gnat2why/gnat_src || die default