diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-04 15:35:12 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 15:35:12 -0700 |
| commit | bd50fd6c2f2e042bc895d06ad6990bf0ee34cda4 (patch) | |
| tree | 81071eaf579734054f5985b85ae19e1e92eb95dd /Source/DafnyDriver/DafnyDriver.csproj | |
| parent | 4fc6dbf641b052c0c39ccdea387a6cc6b5c511fd (diff) | |
Fixed some build/migration issues
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.csproj')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 6f32302d..0895b5db 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -130,6 +130,9 @@ <Reference Include="Core">
<HintPath>..\..\Binaries\Core.dll</HintPath>
</Reference>
+ <Reference Include="Provers.SMTLib">
+ <HintPath>..\..\Binaries\Provers.SMTLib.dll</HintPath>
+ </Reference>
<Reference Include="ParserHelper, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\ParserHelper.dll</HintPath>
@@ -172,6 +175,9 @@ <None Include="app.config" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
+ <PropertyGroup>
+ <PreBuildEvent>copy ..\..\..\..\..\boogie\Binaries\UnivBackPred2.smt2 $(TargetDir)</PreBuildEvent>
+ </PropertyGroup>
<!-- 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">
|