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

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

commit:     0d918a1667cb6a0ec75028c5817de5bb9c0e750f
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 24 21:53:35 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Feb 24 21:54:03 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d918a16

sci-mathematics/why3-for-spark: fix configure

Closes: https://bugs.gentoo.org/949519
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
index 83f7bbf5a63b..5caf4e27adc6 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
@@ -24,6 +24,7 @@ RDEPEND="
 	>=dev-lang/ocaml-4.11:=[ocamlopt?]
 	dev-ml/menhir:=[ocamlopt?]
 	dev-ml/num:=[ocamlopt?]
+	dev-ml/re:=[ocamlopt?]
 	dev-ml/yojson:=
 	coq? ( <=sci-mathematics/coq-8.18 )
 	emacs? ( app-editors/emacs:* )
@@ -75,6 +76,7 @@ src_prepare() {
 	sed -i \
 		-e 's:configure.in:configure.ac:g' \
 		Makefile.in || die
+	mv configure.{in,ac} || die
 	eautoreconf
 	default
 }