diff options
| author |  tabarbe <unknown> | 2010-07-28 22:31:03 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-28 22:31:03 +0000 |
| commit | 623a0d6e02b19989c7e883a88194189982891bea (patch) | |
| tree | d61578a8c06d56e4cc4d8f038c9e24a51fed0101 /Source/DafnyDriver | |
| parent | 9ab19a65d2d6ff32073ca54cde89309dd8d7c774 (diff) | |
Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 97452fdb..09f334ba 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -65,9 +65,14 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\AbsInt\bin\Debug\AbsInt.dll</HintPath>
</Reference>
- <Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
- <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
- <Reference Include="DafnyPipeline, Version=2.0.0.0, Culture=neutral, processorArchitecture=MSIL" />
+ <Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <SpecificVersion>False</SpecificVersion>
+ <HintPath>..\AIFramework\bin\debug\AIFramework.dll</HintPath>
+ </Reference>
+ <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <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>
@@ -78,13 +83,22 @@ <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
<Reference Include="System.Data" />
<Reference Include="System.Xml" />
- <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
+ <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <SpecificVersion>False</SpecificVersion>
+ <HintPath>..\VCGeneration\bin\debug\VCGeneration.dll</HintPath>
+ </Reference>
</ItemGroup>
<ItemGroup>
<Compile Include="cce.cs" />
<Compile Include="DafnyDriver.cs" />
</ItemGroup>
<ItemGroup>
+ <ProjectReference Include="..\Dafny\DafnyPipeline.sscproj">
+ <Project>{DEAD83C6-1510-4AF9-8F7D-C837DDBB2632}</Project>
+ <Name>Dafny</Name>
+ </ProjectReference>
+ </ItemGroup>
+ <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
|