From ce0649d4207ab1edeea2b26141ad45af7a5ee796 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Mon, 6 Apr 2015 10:28:21 -0700
Subject: Add z3.exe and z3-license.txt to dafny binary and extension
 distribution.

---
 Source/DafnyExtension/DafnyExtension.csproj         | 10 ++++++++--
 Source/DafnyExtension/source.extension.vsixmanifest |  1 +
 2 files changed, 9 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj
index 7b4ec261..977e7c25 100644
--- a/Source/DafnyExtension/DafnyExtension.csproj
+++ b/Source/DafnyExtension/DafnyExtension.csproj
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
 <Project DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003" ToolsVersion="4.0">
   <PropertyGroup>
     <MinimumVisualStudioVersion>11.0</MinimumVisualStudioVersion>
@@ -192,6 +192,12 @@
     <Content Include="DafnyRuntime.cs">
       <IncludeInVSIX>true</IncludeInVSIX>
     </Content>
+    <Content Include="Z3-LICENSE.txt">
+      <IncludeInVSIX>true</IncludeInVSIX>
+    </Content>
+    <Content Include="z3.exe">
+      <IncludeInVSIX>true</IncludeInVSIX>
+    </Content>
   </ItemGroup>
   <ItemGroup>
     <None Include="source.extension.vsixmanifest">
@@ -242,4 +248,4 @@ copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)"</PreBuildEvent>
   <Target Name="AfterBuild">
   </Target>
   -->
-</Project>
+</Project>
\ No newline at end of file
diff --git a/Source/DafnyExtension/source.extension.vsixmanifest b/Source/DafnyExtension/source.extension.vsixmanifest
index f4f66193..ca5647bc 100644
--- a/Source/DafnyExtension/source.extension.vsixmanifest
+++ b/Source/DafnyExtension/source.extension.vsixmanifest
@@ -4,6 +4,7 @@
     <Identity Id="6c7ed99a-206a-4937-9e08-b389de175f68" Version="1.8.0.10115" Language="en-US" Publisher="Microsoft Research" />
     <DisplayName>DafnyLanguageMode</DisplayName>
     <Description xml:space="preserve">This is a language mode for using the Dafny language inside Visual Studio.</Description>
+    <License>Z3-LICENSE.txt</License>
   </Metadata>
   <Installation InstalledByMsi="false">
     <InstallationTarget Version="[11.0,13.0)" Id="Microsoft.VisualStudio.Pro" />
-- 
cgit v1.2.3