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
}
