diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-27 22:51:19 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-27 23:03:27 +0200 |
| commit | f8818808669f972bf68daf66817dc3bf232b09c0 (patch) | |
| tree | 92d788cec0778468f80ff04d7ce2173aa2c64f91 /dev-lang/dafny | |
| parent | dev-python/ytmusicapi: bump to 1.7.3 (diff) | |
| download | gentoo-f8818808669f972bf68daf66817dc3bf232b09c0.tar.gz gentoo-f8818808669f972bf68daf66817dc3bf232b09c0.tar.bz2 gentoo-f8818808669f972bf68daf66817dc3bf232b09c0.zip | |
dev-lang/dafny: disable broken c++ tests
Closes: https://bugs.gentoo.org/930488
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/dafny-4.6.0.ebuild | 3 |
1 files changed, 3 insertions, 0 deletions
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 |