diff options
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 05bcc503..843c1528 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -116,6 +116,7 @@ <Reference Include="Provers.SMTLib">
<HintPath>..\..\..\boogie\Binaries\Provers.SMTLib.dll</HintPath>
</Reference>
+ <Reference Include="System.IO.Compression.FileSystem" />
<Reference Include="VCExpr">
<HintPath>..\..\..\boogie\Binaries\VCExpr.dll</HintPath>
</Reference>
@@ -183,6 +184,9 @@ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
+ <Content Include="DafnyOptions.txt">
+ <IncludeInVSIX>true</IncludeInVSIX>
+ </Content>
<Content Include="DafnyPrelude.bpl">
<IncludeInVSIX>true</IncludeInVSIX>
</Content>
@@ -220,6 +224,9 @@ <Install>false</Install>
</BootstrapperPackage>
</ItemGroup>
+ <ItemGroup>
+ <WCFMetadata Include="Service References\" />
+ </ItemGroup>
<PropertyGroup>
<UseCodebase>true</UseCodebase>
</PropertyGroup>
|