diff options
| author |  tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
| commit | 6de3f9c9f86be13bbd4f0bd6e4edf7d7785db0a4 (patch) | |
| tree | 087d90276b93254a98cbd1e3c898d5b2d48af1e8 /Source/BoogieDriver | |
| parent | 5b3285b1261b27a5a6bdeac05ab836c0947280da (diff) | |
Boogie: Changed the cce classes into one separate project, which every other project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods.
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index a5fb46f6..6161cc57 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -87,7 +87,6 @@ <ItemGroup>
<Compile Include="BoogieDriver.cs" />
<Compile Include="..\version.cs" />
- <Compile Include="cce.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AbsInt\AbsInt.csproj">
@@ -102,6 +101,10 @@ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
+ <ProjectReference Include="..\CodeContractsExtender\CodeContractsExtender.csproj">
+ <Project>{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}</Project>
+ <Name>CodeContractsExtender</Name>
+ </ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">
<Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
<Name>Core</Name>
@@ -136,6 +139,9 @@ </ProjectReference>
</ItemGroup>
<ItemGroup>
+ <WCFMetadata Include="Service References\" />
+ </ItemGroup>
+ <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
|