diff options
| author |  rustanleino <unknown> | 2010-07-30 18:58:56 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-30 18:58:56 +0000 |
| commit | 08323006446b11583c70b6b80a108a78d83f3637 (patch) | |
| tree | 057fa545e1b892d12a1893bc2c5aa307e64cb61e | |
| parent | 3b42b10888ec2e833a53ceb9a49c80b6ac598721 (diff) | |
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).
| -rw-r--r-- | Dafny.sln | 1 | ||||
| -rw-r--r-- | DafnyDriver/DafnyDriver.csproj | 15 |
2 files changed, 13 insertions, 3 deletions
@@ -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">
|