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 | |
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')
-rw-r--r-- | Source/.nuget/packages.config | 4 | ||||
-rw-r--r-- | Source/Boogie.sln | 8 | ||||
-rw-r--r-- | Source/UnitTests/README.md | 11 |
3 files changed, 7 insertions, 16 deletions
diff --git a/Source/.nuget/packages.config b/Source/.nuget/packages.config deleted file mode 100644 index f0b15e98..00000000 --- a/Source/.nuget/packages.config +++ /dev/null @@ -1,4 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?>
-<packages>
- <package id="NUnit.Runners" version="2.6.3" />
-</packages>
\ No newline at end of file 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}"
diff --git a/Source/UnitTests/README.md b/Source/UnitTests/README.md index bda72b9e..ea03f18e 100644 --- a/Source/UnitTests/README.md +++ b/Source/UnitTests/README.md @@ -23,8 +23,12 @@ compilation issues. To fix this you must install NUnit via NuGet. Visual Studio ------------- -To obtain NUnit right click the Boogie Solution in the Solution Explorer -and click ``Enable NuGet Package Restore``. You will get a prompt saying +Visual Studio should automatically download the missing NuGet packages +when the solution is built. + +If for some reason this does not work right click the Boogie Solution in the +Solution Explorer and click ``Enable NuGet Package Restore``. You will get a +prompt saying ``` NuGet Package Manager @@ -34,8 +38,7 @@ missing NuGet packages during build? ``` Press the ``Yes`` button. Now build the solution and NuGet will fetch -NUnit. - +the missing NuGet packages. Monodevelop ----------- |