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 }
