commit: f8818808669f972bf68daf66817dc3bf232b09c0 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon May 27 20:51:19 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon May 27 21:03:27 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8818808
dev-lang/dafny: disable broken c++ tests Closes: https://bugs.gentoo.org/930488 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/dafny/dafny-4.6.0.ebuild | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.6.0.ebuild index 2ec7748b03e7..c9d648378190 100644 --- a/dev-lang/dafny/dafny-4.6.0.ebuild +++ b/dev-lang/dafny/dafny-4.6.0.ebuild @@ -473,6 +473,9 @@ src_prepare() { VSComp2010/Problem2-Invert.dfy auditor/TestAuditor.dfy benchmarks/sequence-race/SequenceRace.dfy + c++/extern.dfy + c++/functions.dfy + c++/tuple.dfy cli/runArgument.dfy comp/CoverageReport.dfy concurrency/06-ThreadOwnership.dfy
