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 /Source/DafnyExtension/DafnyExtension.csproj | |
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
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-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>
|