diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-11-04 01:08:54 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-11-04 01:19:32 +0100 |
| commit | 99cfed0d805396e4f21c658db1484e91f2771498 (patch) | |
| tree | 29d4db3637ac7238eb19fde464e0ec2033e883c5 /dev-lang/dafny | |
| parent | app-emacs/racket-mode: bump to 1_p20241031 (diff) | |
| download | gentoo-99cfed0d805396e4f21c658db1484e91f2771498.tar.gz gentoo-99cfed0d805396e4f21c658db1484e91f2771498.tar.bz2 gentoo-99cfed0d805396e4f21c658db1484e91f2771498.zip | |
dev-lang/dafny: remove tests failing with GCC 14
Closes: https://bugs.gentoo.org/942775
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/dafny-4.9.0.ebuild | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-lang/dafny/dafny-4.9.0.ebuild b/dev-lang/dafny/dafny-4.9.0.ebuild index 968c455920bb..aad9495c760b 100644 --- a/dev-lang/dafny/dafny-4.9.0.ebuild +++ b/dev-lang/dafny/dafny-4.9.0.ebuild @@ -495,6 +495,9 @@ src_prepare() { cli/runArgument.dfy comp/CoverageReport.dfy comp/Libraries/consumer.dfy + comp/compile1quiet/CompileRunQuietly.dfy + comp/compile1verbose/CompileAndThenRun.dfy + comp/compile3/JustRun.dfy concurrency/06-ThreadOwnership.dfy concurrency/09-CounterNoStateMachine.dfy dafny0/CoinductiveProofs.dfy @@ -532,6 +535,7 @@ src_prepare() { server/counterexample_none.transcript triggers/emptyTrigger.dfy unicodecharsFalse/DafnyTests/RunAllTestsOption.dfy + unicodecharsFalse/comp/CompileWithArguments.dfy unicodecharsFalse/comp/Print.dfy verification/isolate-assertions.dfy verification/outOfResourceAndIsolateAssertions.dfy |