diff options
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.
|