diff options
| author |  qadeer <unknown> | 2013-12-02 13:18:23 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-02 13:18:23 -0800 |
| commit | 462b42bfcea4a88275afdcc41e3fa3de3f33f63e (patch) | |
| tree | b42f341c44e4186f7de35a7a28775d447e39712f /Source/Concurrency/Concurrency.csproj | |
| parent | d8e2a6ac4b1607bb2ba3746c97587495af9938e7 (diff) | |
added the QED build configuration
Diffstat (limited to 'Source/Concurrency/Concurrency.csproj')
| -rw-r--r-- | Source/Concurrency/Concurrency.csproj | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/Source/Concurrency/Concurrency.csproj b/Source/Concurrency/Concurrency.csproj index 30992ab7..d24277f1 100644 --- a/Source/Concurrency/Concurrency.csproj +++ b/Source/Concurrency/Concurrency.csproj @@ -19,7 +19,7 @@ <DebugType>full</DebugType>
<Optimize>false</Optimize>
<OutputPath>bin\Debug\</OutputPath>
- <DefineConstants>DEBUG;TRACE</DefineConstants>
+ <DefineConstants>TRACE;DEBUG</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
</PropertyGroup>
@@ -41,6 +41,26 @@ <PropertyGroup>
<AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
+ <PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'QED|AnyCPU'">
+ <DebugSymbols>true</DebugSymbols>
+ <OutputPath>bin\QED\</OutputPath>
+ <DefineConstants>TRACE;DEBUG;QED</DefineConstants>
+ <DebugType>full</DebugType>
+ <PlatformTarget>AnyCPU</PlatformTarget>
+ <ErrorReport>prompt</ErrorReport>
+ <CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
+ </PropertyGroup>
+ <Choose>
+ <When Condition="'$(Configuration)' == 'QED'">
+ <ItemGroup>
+ <Reference Include="CertifiedMSAutomata">
+ <HintPath>..\..\Binaries\CertifiedMSAutomata.dll</HintPath>
+ </Reference>
+ </ItemGroup>
+ </When>
+ <Otherwise>
+ </Otherwise>
+ </Choose>
<ItemGroup>
<Reference Include="System" />
<Reference Include="System.Core" />
@@ -57,6 +77,7 @@ <Compile Include="Properties\AssemblyInfo.cs" />
<Compile Include="RefinementCheck.cs" />
<Compile Include="TypeCheck.cs" />
+ <Compile Include="YieldTypeChecker.cs" />
</ItemGroup>
<ItemGroup>
<None Include="App.config" />
@@ -79,6 +100,9 @@ <Name>ParserHelper</Name>
</ProjectReference>
</ItemGroup>
+ <ItemGroup>
+ <WCFMetadata Include="Service References\" />
+ </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.
|