diff options
| -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 ----------- |