diff options
| author |  wuestholz <unknown> | 2013-07-14 17:53:26 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-14 17:53:26 -0700 |
| commit | 0442fec7c535124fb60f412c9c499ee11eaea5ea (patch) | |
| tree | 90a7188d80b351ba146e73b3c3f98132ba786e95 /Source/DafnyMenu/DafnyMenu.csproj | |
| parent | 77eec10b03c8ae26df1e2e1e7965417862a9d68c (diff) | |
DafnyExtension: Worked on integrating BVD.
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.csproj')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.csproj | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj index 6cd493c6..7fb6cfab 100644 --- a/Source/DafnyMenu/DafnyMenu.csproj +++ b/Source/DafnyMenu/DafnyMenu.csproj @@ -52,13 +52,23 @@ <Reference Include="Microsoft.VisualStudio.Shell.11.0, Version=11.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a, processorArchitecture=MSIL" />
<Reference Include="Microsoft.VisualStudio.Shell.Immutable.10.0, Version=10.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a, processorArchitecture=MSIL" />
<Reference Include="Microsoft.VisualStudio.Shell.Interop" />
+ <Reference Include="Microsoft.VisualStudio.Shell.Interop.11.0, Version=11.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a, processorArchitecture=MSIL">
+ <EmbedInteropTypes>True</EmbedInteropTypes>
+ </Reference>
<Reference Include="Microsoft.VisualStudio.Shell.Interop.8.0, Version=8.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a" />
<Reference Include="Microsoft.VisualStudio.Shell.Interop.9.0" />
<Reference Include="Microsoft.VisualStudio.Shell.Interop.10.0" />
<Reference Include="Microsoft.VisualStudio.Text.Logic, Version=11.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a, processorArchitecture=MSIL" />
+ <Reference Include="ModelViewer">
+ <HintPath>..\..\..\boogie\Binaries\ModelViewer.dll</HintPath>
+ </Reference>
+ <Reference Include="PresentationCore" />
+ <Reference Include="PresentationFramework" />
<Reference Include="System" />
<Reference Include="System.Core" />
<Reference Include="System.Design" />
+ <Reference Include="System.Windows.Forms" />
+ <Reference Include="WindowsBase" />
</ItemGroup>
<ItemGroup>
<COMReference Include="EnvDTE">
@@ -72,6 +82,7 @@ </COMReference>
</ItemGroup>
<ItemGroup>
+ <Compile Include="BvdToolWindow.cs" />
<Compile Include="Guids.cs" />
<Compile Include="Resources.Designer.cs">
<AutoGen>True</AutoGen>
@@ -92,6 +103,7 @@ <EmbeddedResource Include="VSPackage.resx">
<MergeWithCTO>true</MergeWithCTO>
<ManifestResourceName>VSPackage</ManifestResourceName>
+ <SubType>Designer</SubType>
</EmbeddedResource>
</ItemGroup>
<ItemGroup>
@@ -102,20 +114,18 @@ <ItemGroup>
<VSCTCompile Include="DafnyMenu.vsct">
<ResourceName>Menus.ctmenu</ResourceName>
+ <SubType>Designer</SubType>
</VSCTCompile>
</ItemGroup>
<ItemGroup>
- <None Include="Resources\Images.png" />
- </ItemGroup>
- <ItemGroup>
- <Content Include="Resources\Package.ico" />
- </ItemGroup>
- <ItemGroup>
<ProjectReference Include="..\DafnyExtension\DafnyExtension.csproj">
<Project>{6e9a5e14-0763-471c-a129-80a879d9e7ba}</Project>
<Name>DafnyExtension</Name>
</ProjectReference>
</ItemGroup>
+ <ItemGroup>
+ <Folder Include="Resources\" />
+ </ItemGroup>
<PropertyGroup>
<UseCodebase>true</UseCodebase>
</PropertyGroup>
|