diff options
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 |