Directly reference Boogie projects and add them to the solutions.

Remove "references" directory. Update the build instructions in the readme accordingly. There is some weird stuff going on with Visual Studio solution configurations, but at least I made the necessary manual adjustments for the default configuration of each solution to build successfully.
boogie-org · Jun 25, 2016 · 4a5ef99 · 4a5ef99
1 parent 7c24793
commit 4a5ef99
Show file tree

Hide file tree

Showing 33 changed files with 7,484 additions and 937 deletions.
diff --git a/AddOns/AliasAnalysis/AliasAnalysis.sln b/AddOns/AliasAnalysis/AliasAnalysis.sln
diff --git a/AddOns/AliasAnalysis/AliasAnalysis/AliasAnalysis.csproj b/AddOns/AliasAnalysis/AliasAnalysis/AliasAnalysis.csproj
@@ -33,45 +33,6 @@
     <WarningLevel>4</WarningLevel>
   </PropertyGroup>
   <ItemGroup>
-    <Reference Include="BoogieAbsInt">
-      <HintPath>..\..\..\references\BoogieAbsInt.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieBasetypes">
-      <HintPath>..\..\..\references\BoogieBasetypes.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieCodeContractsExtender">
-      <HintPath>..\..\..\references\BoogieCodeContractsExtender.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieConcurrency">
-      <HintPath>..\..\..\references\BoogieConcurrency.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieCore">
-      <HintPath>..\..\..\references\BoogieCore.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieExecutionEngine">
-      <HintPath>..\..\..\references\BoogieExecutionEngine.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieGraph">
-      <HintPath>..\..\..\references\BoogieGraph.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieHoudini">
-      <HintPath>..\..\..\references\BoogieHoudini.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieModel">
-      <HintPath>..\..\..\references\BoogieModel.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieParserHelper">
-      <HintPath>..\..\..\references\BoogieParserHelper.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieVCExpr">
-      <HintPath>..\..\..\references\BoogieVCExpr.dll</HintPath>
-    </Reference>
-    <Reference Include="BoogieVCGeneration">
-      <HintPath>..\..\..\references\BoogieVCGeneration.dll</HintPath>
-    </Reference>
-    <Reference Include="Provers.SMTLib">
-      <HintPath>..\..\..\references\Provers.SMTLib.dll</HintPath>
-    </Reference>
     <Reference Include="System" />
     <Reference Include="System.Core" />
     <Reference Include="System.Xml.Linq" />
@@ -88,6 +49,58 @@
     <None Include="App.config" />
   </ItemGroup>
   <ItemGroup>
+    <ProjectReference Include="..\..\..\boogie\Source\AbsInt\AbsInt.csproj">
+      <Project>{0efa3e43-690b-48dc-a72c-384a3ea7f31f}</Project>
+      <Name>AbsInt</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Basetypes\Basetypes.csproj">
+      <Project>{43dfad18-3e35-4558-9be2-caff6b5ba8a0}</Project>
+      <Name>Basetypes</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\CodeContractsExtender\CodeContractsExtender.csproj">
+      <Project>{accc0156-0921-43ed-8f67-ad8bdc8cde31}</Project>
+      <Name>CodeContractsExtender</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Concurrency\Concurrency.csproj">
+      <Project>{d07b8e38-e172-47f4-ad02-0373014a46d3}</Project>
+      <Name>Concurrency</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Core\Core.csproj">
+      <Project>{b230a69c-c466-4065-b9c1-84d80e76d802}</Project>
+      <Name>Core</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\ExecutionEngine\ExecutionEngine.csproj">
+      <Project>{eaa5eb79-d475-4601-a59b-825c191cd25f}</Project>
+      <Name>ExecutionEngine</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Graph\Graph.csproj">
+      <Project>{69a2b0b8-bcac-4101-ae7a-556fcc58c06e}</Project>
+      <Name>Graph</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Houdini\Houdini.csproj">
+      <Project>{cf41e903-78eb-43ba-a355-e5feb5ececd4}</Project>
+      <Name>Houdini</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Model\Model.csproj">
+      <Project>{acef88d5-dadd-46da-bae1-2144d63f4c83}</Project>
+      <Name>Model</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\ParserHelper\ParserHelper.csproj">
+      <Project>{fcd3ac7f-9dfd-46c8-ab1e-09f0b0f16dc5}</Project>
+      <Name>ParserHelper</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\Provers\SMTLib\SMTLib.csproj">
+      <Project>{9b163aa3-36bc-4afb-88ab-79bc9e97e401}</Project>
+      <Name>SMTLib</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\VCExpr\VCExpr.csproj">
+      <Project>{56ffdbca-7d14-43b8-a6ca-22a20e417ee1}</Project>
+      <Name>VCExpr</Name>
+    </ProjectReference>
+    <ProjectReference Include="..\..\..\boogie\Source\VCGeneration\VCGeneration.csproj">
+      <Project>{e1f10180-c7b9-4147-b51f-fa1b701966dc}</Project>
+      <Name>VCGeneration</Name>
+    </ProjectReference>
     <ProjectReference Include="..\..\..\source\Util\CorralUtil.csproj">
       <Project>{186de4bd-014d-47c7-a914-831ea98116a9}</Project>
       <Name>CorralUtil</Name>