[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny/

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

commit:     0e92cfaf9a9fe2f03d665e2060d58470ebba1a27
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 18 13:21:42 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Mar 18 23:04:28 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e92cfaf

dev-lang/dafny: disable tests requiring cargo

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

 dev-lang/dafny/dafny-4.5.0.ebuild | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild
index 1f25339c17f6..601423b0fbfa 100644
--- a/dev-lang/dafny/dafny-4.5.0.ebuild
+++ b/dev-lang/dafny/dafny-4.5.0.ebuild
@@ -485,7 +485,10 @@ src_prepare() {
 		git-issues/git-issue-2299.dfy
 		git-issues/git-issue-2301.dfy
 		git-issues/git-issue-505.dfy
+		metatests/InconsistentCompilerBehavior.dfy
+		metatests/TestBeyondVerifierExpect.dfy
 		separate-verification/assumptions.dfy
+		server/counterexample_none.transcript
 		triggers/emptyTrigger.dfy
 		unicodechars/DafnyTests/RunAllTestsOption.dfy
 		vstte2012/Combinators.dfy