diff options
| author |  mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
| commit | 3b42b10888ec2e833a53ceb9a49c80b6ac598721 (patch) | |
| tree | 1de898737423ef4f664d6f421a9d3bbb716a0308 /DafnyDriver | |
| parent | 4e22f5a2942a5ee071e01eb90e219f6980d01e43 (diff) | |
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
Diffstat (limited to 'DafnyDriver')
| -rw-r--r-- | DafnyDriver/DafnyDriver.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/DafnyDriver/DafnyDriver.csproj b/DafnyDriver/DafnyDriver.csproj index 09f334ba..b36faea2 100644 --- a/DafnyDriver/DafnyDriver.csproj +++ b/DafnyDriver/DafnyDriver.csproj @@ -13,6 +13,8 @@ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
+ <SignAssembly>true</SignAssembly>
+ <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -91,6 +93,7 @@ <ItemGroup>
<Compile Include="cce.cs" />
<Compile Include="DafnyDriver.cs" />
+ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\Dafny\DafnyPipeline.sscproj">
|