diff options
author | 2010-11-27 05:45:36 +0000 | |
---|---|---|
committer | 2010-11-27 05:45:36 +0000 | |
commit | b9e8031ac88d51facbff4fe5dc635696174d0fe0 (patch) | |
tree | 05dedc70ca0258e67445920d7046bcfc1c4cc22f /Source/DafnyDriver/DafnyDriver.csproj | |
parent | d6bc9bf0a6eac0d8eb3b551c6da1d7754a10a6a1 (diff) |
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.csproj')
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index cdad2463..afd8f9b3 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -10,7 +10,7 @@ <AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>Dafny</RootNamespace>
<AssemblyName>Dafny</AssemblyName>
- <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
+ <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
<SignAssembly>true</SignAssembly>
@@ -34,6 +34,7 @@ <IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
+ <TargetFrameworkProfile />
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -96,10 +97,6 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\Core\bin\Debug\Core.dll</HintPath>
</Reference>
- <Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\Microsoft.Contracts.dll</HintPath>
- </Reference>
<Reference Include="Microsoft.SpecSharp, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\Microsoft.SpecSharp.dll</HintPath>
@@ -148,6 +145,9 @@ <Install>true</Install>
</BootstrapperPackage>
</ItemGroup>
+ <ItemGroup>
+ <None Include="app.config" />
+ </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- 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.
|