diff options
| author |  leino <unknown> | 2015-04-06 15:50:18 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-06 15:50:18 -0700 |
| commit | f17ddacb785f5c1a50d5a7172f9f3d05676ec4c5 (patch) | |
| tree | 30b9433d8bae75c7873835a2d03586d5d4cad3d1 /Source | |
| parent | 1dbd8880b6caf05db7f2cd89555e576d79039f25 (diff) | |
Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to Source/DafnyExtension directory) as pre-build events
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 977e7c25..3dc67098 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -239,7 +239,9 @@ <Import Project="$(VSToolsPath)\VSSDK\Microsoft.VsSDK.targets" Condition="'$(VSToolsPath)' != ''" />
<PropertyGroup>
<PreBuildEvent>copy /y "..\Binaries\DafnyPrelude.bpl" "$(ProjectDir)"
-copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)"</PreBuildEvent>
+copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)"
+copy /y "..\Binaries\Z3-LICENSE.txt" "$(ProjectDir)"
+copy /y "..\Binaries\z3.exe" "$(ProjectDir)"</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.
|