diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-01-29 16:17:10 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-01-29 16:17:10 +0000 |
commit | be425ff3e7aca4642e854ef5de6a7abc66ae1f0b (patch) | |
tree | d5e135260532dc66454dae1ba957069159e2c5aa /Source/Boogie.sln | |
parent | b0a6732b6fbf82f3103de278529f7eb46e24c6b2 (diff) |
Try to fix the "out-of-the-box" build of Boogie under Visual Studio. It turns
out we had the repository set up in "MSBuild-Integrated package" mode[1]
(missing packages won't fetched unless the user explicitly allows it for the
solution) but what we want is "Automatic package restore" (provided NuGet is
setup correctly automatically fetch the missing packages). I've followed the
migration guide [2] and it appears that now Visual Studio will try to
automatically fetch after making this change.
[1] http://docs.nuget.org/consume/package-restore
[2] http://docs.nuget.org/Consume/Package-Restore/Migrating-to-Automatic-Package-Restore
Diffstat (limited to 'Source/Boogie.sln')
-rw-r--r-- | Source/Boogie.sln | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln index ddf1cfbe..f16c1032 100644 --- a/Source/Boogie.sln +++ b/Source/Boogie.sln @@ -44,14 +44,6 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Concurrency", "Concurrency\ EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "UnitTests", "UnitTests", "{0C77D814-EC94-45D7-9F9B-213C425D0F15}"
EndProject
-Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".nuget", ".nuget", "{83CAF6FB-75EB-422D-B341-D61E07A0FAEB}"
- ProjectSection(SolutionItems) = preProject
- .nuget\NuGet.Config = .nuget\NuGet.Config
- .nuget\NuGet.exe = .nuget\NuGet.exe
- .nuget\NuGet.targets = .nuget\NuGet.targets
- .nuget\packages.config = .nuget\packages.config
- EndProjectSection
-EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "CoreTests", "UnitTests\CoreTests\CoreTests.csproj", "{961B3BCA-2067-43B2-8E43-23C4293F21B9}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "TestUtil", "UnitTests\TestUtil\TestUtil.csproj", "{59118E35-4236-495E-AF6E-0D641302ED2C}"
|