diff options
| author |  wuestholz <unknown> | 2013-07-26 14:35:05 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-26 14:35:05 -0700 |
| commit | 728c229e257646155a11615906afb9cd6daa2f99 (patch) | |
| tree | 127554c7dad28847a90ac4499f71c8caff09e9f0 /Source/DafnyMenu | |
| parent | 9cc1b3fffb95ee2e4f0db1d165bdc5c6569f4a32 (diff) | |
DafnyExtension: Did some refactoring and worked towards integrating the Dafny menu more tightly.
Diffstat (limited to 'Source/DafnyMenu')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.csproj | 34 | ||||
| -rw-r--r-- | Source/DafnyMenu/Properties/AssemblyInfo.cs | 4 |
2 files changed, 19 insertions, 19 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj index 7fb6cfab..e8decbf8 100644 --- a/Source/DafnyMenu/DafnyMenu.csproj +++ b/Source/DafnyMenu/DafnyMenu.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003" ToolsVersion="4.0">
<PropertyGroup>
<MinimumVisualStudioVersion>11.0</MinimumVisualStudioVersion>
@@ -37,7 +37,7 @@ <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
<DebugType>pdbonly</DebugType>
<Optimize>true</Optimize>
- <OutputPath>bin\Release\</OutputPath>
+ <OutputPath>..\..\Binaries\</OutputPath>
<DefineConstants>TRACE</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
@@ -48,20 +48,24 @@ <Reference Include="DafnyPipeline">
<HintPath>..\..\Binaries\DafnyPipeline.dll</HintPath>
</Reference>
+ <Reference Include="ModelViewer">
+ <HintPath>..\..\..\boogie\Binaries\ModelViewer.dll</HintPath>
+ </Reference>
+ </ItemGroup>
+ <ItemGroup>
<Reference Include="Microsoft.VisualStudio.OLE.Interop" />
- <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.11.0" />
+ <Reference Include="Microsoft.VisualStudio.Shell.Immutable.10.0" />
<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">
+ <Reference Include="Microsoft.VisualStudio.Shell.Interop.11.0">
<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.8.0" />
<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="Microsoft.VisualStudio.Text.Logic" />
+ </ItemGroup>
+ <ItemGroup>
<Reference Include="PresentationCore" />
<Reference Include="PresentationFramework" />
<Reference Include="System" />
@@ -118,24 +122,24 @@ </VSCTCompile>
</ItemGroup>
<ItemGroup>
+ <Folder Include="Resources\" />
+ </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>
<Import Project="$(MSBuildBinPath)\Microsoft.CSharp.targets" />
<Import Project="$(VSToolsPath)\VSSDK\Microsoft.VsSDK.targets" Condition="'$(VSToolsPath)' != ''" />
- <!-- To modify your build process, add your task inside one of the targets below and uncomment it.
+ <!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
<Target Name="BeforeBuild">
</Target>
<Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
diff --git a/Source/DafnyMenu/Properties/AssemblyInfo.cs b/Source/DafnyMenu/Properties/AssemblyInfo.cs index 91380a74..b1a5687d 100644 --- a/Source/DafnyMenu/Properties/AssemblyInfo.cs +++ b/Source/DafnyMenu/Properties/AssemblyInfo.cs @@ -1,7 +1,6 @@ using System;
using System.Reflection;
using System.Resources;
-using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
// General Information about an assembly is controlled through the following
@@ -31,6 +30,3 @@ using System.Runtime.InteropServices; [assembly: AssemblyVersion("1.0.0.0")]
[assembly: AssemblyFileVersion("1.0.0.0")]
-
-
-
|