commit: 99cfed0d805396e4f21c658db1484e91f2771498 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon Nov 4 00:08:54 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon Nov 4 00:19:32 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99cfed0d
dev-lang/dafny: remove tests failing with GCC 14 Closes: https://bugs.gentoo.org/942775 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/dafny/dafny-4.9.0.ebuild | 4 ++++ 1 file changed, 4 insertions(+) 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
