diff options
| author |  stobies <unknown> | 2011-09-05 13:34:22 +0200 |
|---|---|---|
| committer | stobies <unknown> | 2011-09-05 13:34:22 +0200 |
| commit | 146feb39edf4309473e85ebeb5c7bd776b2a94ee (patch) | |
| tree | ea0c19dc6260cde716832e84e2042549e2745660 | |
| parent | 982548560d971b07dcaefb39f186833186724570 (diff) | |
Added build version stamping for Houdini.dll
| -rw-r--r-- | .hgignore | 2 | ||||
| -rw-r--r-- | Source/Houdini/Houdini.csproj | 5 |
2 files changed, 5 insertions, 2 deletions
@@ -1,7 +1,7 @@ syntax: regexp
^Source/t$
^Source/_ReSharper\.Boogie$
-^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
+^(Source|BCT|Jennisys)/.*\.(user|suo|cache|vs10x)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
diff --git a/Source/Houdini/Houdini.csproj b/Source/Houdini/Houdini.csproj index bd4e693b..b87f68d7 100644 --- a/Source/Houdini/Houdini.csproj +++ b/Source/Houdini/Houdini.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -46,6 +46,9 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="..\version.cs">
+ <Link>version.cs</Link>
+ </Compile>
<Compile Include="Checker.cs" />
<Compile Include="Houdini.cs" />
</ItemGroup>
|