commit: cf7298ab4cd527f36975ba536d2e0dd80b65ff0d Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Fri Mar 28 22:00:08 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Mar 28 22:00:26 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf7298ab
sci-mathematics/why3-for-spark: fix with ocaml-5 Closes: https://bugs.gentoo.org/952833 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> .../why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 16 ++++++++++++++++ 1 file changed, 16 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 5caf4e27adc6..d05877b02402 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 @@ -76,6 +76,22 @@ src_prepare() { sed -i \ -e 's:configure.in:configure.ac:g' \ Makefile.in || die + sed -i \ + -e 's: effect: effekt:g' \ + -e 's:(effect:(effekt:g' \ + -e 's:\.effect:\.effekt:g' \ + src/extract/mltree.ml \ + src/extract/mltree.mli \ + src/mlw/expr.ml \ + src/mlw/expr.mli \ + src/mlw/ity.ml \ + src/mlw/ity.mli \ + || die + sed -i \ + -e 's:Pervasives:Stdlib:g' \ + src/gnat/gnat_loc.ml \ + src/gnat/gnat_expl.ml \ + || die mv configure.{in,ac} || die eautoreconf default
