From 08323006446b11583c70b6b80a108a78d83f3637 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Fri, 30 Jul 2010 18:58:56 +0000
Subject: Also build Boogie and Dafny projects in 32-bit configurations. Don't
 insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec#
 runtime (in fact, most builders will probably have 1.0.21126.0).

---
 Dafny.sln                      |  1 +
 DafnyDriver/DafnyDriver.csproj | 15 ++++++++++++---
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/Dafny.sln b/Dafny.sln
index b953d29c..9aa2c10a 100644
--- a/Dafny.sln
+++ b/Dafny.sln
@@ -26,6 +26,7 @@ Global
 		{DEAD83C6-1510-4AF9-8F7D-C837DDBB2632}.Release|Mixed Platforms.ActiveCfg = Release|.NET
 		{DEAD83C6-1510-4AF9-8F7D-C837DDBB2632}.Release|Mixed Platforms.Build.0 = Release|.NET
 		{63400D1F-05B2-453E-9592-1EAB74B2C9CC}.Debug|.NET.ActiveCfg = Debug|Any CPU
+		{63400D1F-05B2-453E-9592-1EAB74B2C9CC}.Debug|.NET.Build.0 = Debug|Any CPU
 		{63400D1F-05B2-453E-9592-1EAB74B2C9CC}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
 		{63400D1F-05B2-453E-9592-1EAB74B2C9CC}.Debug|Any CPU.Build.0 = Debug|Any CPU
 		{63400D1F-05B2-453E-9592-1EAB74B2C9CC}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
diff --git a/DafnyDriver/DafnyDriver.csproj b/DafnyDriver/DafnyDriver.csproj
index b36faea2..92c1175c 100644
--- a/DafnyDriver/DafnyDriver.csproj
+++ b/DafnyDriver/DafnyDriver.csproj
@@ -79,10 +79,19 @@
       <SpecificVersion>False</SpecificVersion>
       <HintPath>..\..\Binaries\Microsoft.Contracts.dll</HintPath>
     </Reference>
-    <Reference Include="Microsoft.SpecSharp, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
+    <Reference Include="Microsoft.SpecSharp, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+      <SpecificVersion>False</SpecificVersion>
+      <HintPath>..\..\..\Binaries\Microsoft.SpecSharp.dll</HintPath>
+    </Reference>
     <Reference Include="System" />
-    <Reference Include="System.Compiler, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
-    <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
+    <Reference Include="System.Compiler, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+      <SpecificVersion>False</SpecificVersion>
+      <HintPath>..\..\..\Binaries\System.Compiler.dll</HintPath>
+    </Reference>
+    <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
+      <SpecificVersion>False</SpecificVersion>
+      <HintPath>..\..\..\Binaries\System.Compiler.Runtime.dll</HintPath>
+    </Reference>
     <Reference Include="System.Data" />
     <Reference Include="System.Xml" />
     <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-- 
cgit v1.2.3