From 71f953bd32ca709a53c8a0b7e751a70b19c40787 Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Wed, 4 Aug 2010 02:51:28 +0000
Subject: Fixed some infelicities in the project files.

---
 Source/Dafny/AssemblyInfo.cs          | 4 ----
 Source/Dafny/DafnyPipeline.csproj     | 7 ++-----
 Source/DafnyDriver/DafnyDriver.csproj | 9 +++------
 3 files changed, 5 insertions(+), 15 deletions(-)
 delete mode 100644 Source/Dafny/AssemblyInfo.cs

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.
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj
index 03bca2ee..96da0f8b 100644
--- a/Source/DafnyDriver/DafnyDriver.csproj
+++ b/Source/DafnyDriver/DafnyDriver.csproj
@@ -105,14 +105,11 @@
     <Compile Include="..\version.cs" />
   </ItemGroup>
   <ItemGroup>
-    <ProjectReference Include="..\Dafny\DafnyPipeline.sscproj">
-      <Project>{DEAD83C6-1510-4AF9-8F7D-C837DDBB2632}</Project>
-      <Name>Dafny</Name>
+    <ProjectReference Include="..\Dafny\DafnyPipeline.csproj">
+      <Project>{FE44674A-1633-4917-99F4-57635E6FA740}</Project>
+      <Name>DafnyPipeline</Name>
     </ProjectReference>
   </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.
-- 
cgit v1.2.3