commit: 1ad8039363dd8397971f0ad9fd5b39f40e20102b Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed Apr 9 19:57:24 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed Apr 9 19:58:05 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ad80393
sci-mathematics/why3: fix with ocaml-5 Closes: https://bugs.gentoo.org/952926 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/why3/why3-1.7.2.ebuild | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild index 7e5ea53e4f28..aabe6abb7ced 100644 --- a/sci-mathematics/why3/why3-1.7.2.ebuild +++ b/sci-mathematics/why3/why3-1.7.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -60,6 +60,17 @@ src_prepare() { # remove QA warning about duplicated compressed file: rm examples/mlcfg/basic/why3shapes.gz || 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 eautoreconf default }
