[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     6dc8e8ef6c58cb19fa64d6149e3a7178b7144da9
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 11 20:02:25 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Apr 11 20:02:38 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6dc8e8ef

sci-mathematics/coq: disable failing test

Closes: https://bugs.gentoo.org/859877
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/coq/coq-8.17.0.ebuild | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild
index 19df902424b8..f8376e6eeb69 100644
--- a/sci-mathematics/coq/coq-8.17.0.ebuild
+++ b/sci-mathematics/coq/coq-8.17.0.ebuild
@@ -53,6 +53,13 @@ BDEPEND="
 
 DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md CREDITS INSTALL.md README.md )
 
+src_prepare() {
+	# Remove failing tests. bug #859877
+	rm -r test-suite/coq-makefile/timing || die
+
+	default
+}
+
 src_configure() {
 	export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/"