diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-03-18 14:21:42 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-19 00:04:28 +0100 |
| commit | 0e92cfaf9a9fe2f03d665e2060d58470ebba1a27 (patch) | |
| tree | 4255eb3aad22c750acd3b44ea0df25f992af14c5 /dev-lang/dafny | |
| parent | dev-ada/VSS: add shared, static and static-pic use flags (diff) | |
| download | gentoo-0e92cfaf9a9fe2f03d665e2060d58470ebba1a27.tar.gz gentoo-0e92cfaf9a9fe2f03d665e2060d58470ebba1a27.tar.bz2 gentoo-0e92cfaf9a9fe2f03d665e2060d58470ebba1a27.zip | |
dev-lang/dafny: disable tests requiring cargo
Closes: https://bugs.gentoo.org/927242
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/dafny-4.5.0.ebuild | 3 |
1 files changed, 3 insertions, 0 deletions
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 |