diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-22 11:02:19 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-22 11:02:19 -0700 |
| commit | d52d7797c7394ecb233837c59e77927b467585fe (patch) | |
| tree | 26cb6cdf625a1e4b617f4a9540ab408a76ac39c6 | |
| parent | 2541e9de002267359897bf967755172fcc726512 (diff) | |
Added Dafny.exe to the DafnyExtension. This way, a copy of the executable will be placed in the DafnyExtension install directory, which can be useful if one wants to manually run whatever version is used by VS
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 88fa22b0..b04ecc14 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -56,6 +56,10 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\Core.dll</HintPath>
</Reference>
+ <Reference Include="Dafny, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+ <HintPath>..\..\Binaries\Dafny.exe</HintPath>
+ <SpecificVersion>False</SpecificVersion>
+ </Reference>
<Reference Include="DafnyPipeline, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\DafnyPipeline.dll</HintPath>
|