From ce0649d4207ab1edeea2b26141ad45af7a5ee796 Mon Sep 17 00:00:00 2001 From: qunyanm 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 @@ - + 11.0 @@ -192,6 +192,12 @@ true + + true + + + true + @@ -242,4 +248,4 @@ copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)" --> - + \ 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 @@ DafnyLanguageMode This is a language mode for using the Dafny language inside Visual Studio. + Z3-LICENSE.txt -- cgit v1.2.3