[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     0ce761414e3e10334c3f5b0494aafc5cb9761400
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Feb  8 20:37:40 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Feb  8 20:59:03 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0ce76141

sci-mathematics/why3-for-spark: requires older coq

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 ...r-spark-2023.12.13.ebuild => why3-for-spark-2023.12.13-r1.ebuild} | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
similarity index 96%
rename from sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13.ebuild
rename to sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
index fcbbcab6ccbc..03163b6ad325 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
@@ -25,7 +25,7 @@ RDEPEND="
 	dev-ml/menhir:=[ocamlopt?]
 	dev-ml/num:=[ocamlopt?]
 	dev-ml/yojson:=
-	coq? ( sci-mathematics/coq )
+	coq? ( <=sci-mathematics/coq-8.18 )
 	emacs? ( app-editors/emacs:* )
 	gtk? ( dev-ml/lablgtk:=[sourceview] )
 	html? ( dev-tex/hevea:= )
@@ -71,6 +71,9 @@ REQUIRED_USE="html? ( doc ) ocamlopt"
 
 src_prepare() {
 	find examples -name \*gz | xargs gunzip
+	sed -i \
+		-e 's:configure.in:configure.ac:g' \
+		Makefile.in || die
 	eautoreconf
 	default
 }