diff options
| author |  mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
| commit | 8ae5fd2d34c8ab9df4b117fff434dcadb9506c86 (patch) | |
| tree | a24a4420018df9435b1ed66245b5ef0d3ab8cede /Source | |
| parent | b8a3c4ebd639c1481e543fcba2dae7829dac42e4 (diff) | |
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.sscproj | 4 | ||||
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyPipeline.sscproj b/Source/Dafny/DafnyPipeline.sscproj index 3bbf5366..ba644870 100644 --- a/Source/Dafny/DafnyPipeline.sscproj +++ b/Source/Dafny/DafnyPipeline.sscproj @@ -135,6 +135,10 @@ SubType="Code"
RelPath="Compiler.ssc"
/>
+ <File BuildAction="Compile"
+ SubType="Code"
+ RelPath="AssemblyInfo.ssc"
+ />
</Include>
</Files>
</XEN>
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 09f334ba..b36faea2 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/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">
|