commit: 920389a3a3ffaad8194fab02688d0c2f32217e13 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Thu Nov 28 18:43:48 2024 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Thu Nov 28 18:47:52 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=920389a3
sci-mathematics/why3-for-spark: VariableOrderWrong Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 84d6fc56c009..7a9e671ad83f 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -13,6 +13,8 @@ DESCRIPTION="Platform for deductive program verification" HOMEPAGE="https://why3.lri.fr/"; SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" +S="${WORKDIR}"/${MYP} + LICENSE="GPL-3" SLOT="0" KEYWORDS="amd64" @@ -47,8 +49,6 @@ BDEPEND=" ) " -S="${WORKDIR}"/${MYP} - PATCHES=( "${FILESDIR}"/${PN}-2020-gentoo.patch "${FILESDIR}"/${P}-flags.patch
