diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-30 17:29:39 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-30 17:29:39 -0700 |
| commit | 1e6ca606af4e9c952367e862c2b4dcb68ba4643d (patch) | |
| tree | 6fd7800dd4e2e949c2edfe460fb97133be68fd71 /Source | |
| parent | c3facb25dd5e290993a91a896a3b5606d0f4b795 (diff) | |
Include BVD in build (to copy it into the Dafny\Binaries directory)
Batch file for producing a binary distributions
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 4 | ||||
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 0895b5db..c34543d4 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -127,6 +127,10 @@ <Reference Include="AbsInt">
<HintPath>..\..\Binaries\AbsInt.dll</HintPath>
</Reference>
+ <Reference Include="BVD, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <SpecificVersion>False</SpecificVersion>
+ <HintPath>..\..\..\boogie\Binaries\BVD.exe</HintPath>
+ </Reference>
<Reference Include="Core">
<HintPath>..\..\Binaries\Core.dll</HintPath>
</Reference>
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index b04ecc14..8d8b3813 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -48,6 +48,9 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\Basetypes.dll</HintPath>
</Reference>
+ <Reference Include="BVD">
+ <HintPath>..\..\Binaries\BVD.exe</HintPath>
+ </Reference>
<Reference Include="CodeContractsExtender, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\CodeContractsExtender.dll</HintPath>
|