summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar leino <unknown>2015-04-06 15:50:18 -0700
committerGravatar leino <unknown>2015-04-06 15:50:18 -0700
commitf17ddacb785f5c1a50d5a7172f9f3d05676ec4c5 (patch)
tree30b9433d8bae75c7873835a2d03586d5d4cad3d1 /Source
parent1dbd8880b6caf05db7f2cd89555e576d79039f25 (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.csproj4
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.