diff options
| author |  mikebarnett <unknown> | 2010-08-04 02:51:28 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-08-04 02:51:28 +0000 |
| commit | 71f953bd32ca709a53c8a0b7e751a70b19c40787 (patch) | |
| tree | 06d76c92f4ac6beef7f8e3a3fb6997d1bb7b7531 /Source/Dafny | |
| parent | bd0e4654440b99bfb768315851e46a53c054c2c9 (diff) | |
Fixed some infelicities in the project files.
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/AssemblyInfo.cs | 4 | ||||
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 7 |
2 files changed, 2 insertions, 9 deletions
diff --git a/Source/Dafny/AssemblyInfo.cs b/Source/Dafny/AssemblyInfo.cs deleted file mode 100644 index 6ed99a25..00000000 --- a/Source/Dafny/AssemblyInfo.cs +++ /dev/null @@ -1,4 +0,0 @@ -using System.Reflection;
-using System.Runtime.CompilerServices;
-
-[assembly: AssemblyKeyFile("..\\InterimKey.snk")]
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index 1179fe04..56261e6b 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -14,7 +14,7 @@ <FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
<SignAssembly>true</SignAssembly>
- <AssemblyOriginatorKeyFile>InterimKey.snk</AssemblyOriginatorKeyFile>
+ <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -102,21 +102,18 @@ <Compile Include="Resolver.cs" />
<Compile Include="SccGraph.cs" />
<Compile Include="Translator.cs" />
+ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
<Compile Include="cce.cs" />
</ItemGroup>
<ItemGroup>
<None Include="Dafny.atg" />
- <None Include="InterimKey.snk" />
</ItemGroup>
<ItemGroup>
<Compile Include="Parser.cs" />
<Compile Include="Scanner.cs" />
</ItemGroup>
- <ItemGroup>
- <Folder Include="Properties\" />
- </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
|