From 07645543e939322a8a6b8055d9a221b93e817f1a Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Fri, 13 Jul 2018 07:37:50 +0100 Subject: [PATCH] Compilation instructions now say that VS 2015 is required --- COMPILING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index 48d879e80d8..83ed0fb4d11 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -150,7 +150,7 @@ Follow these instructions: # COMPILATION ON WINDOWS -There are two options: the Visual Studio compiler with version 12 (2013) or +There are two options: the Visual Studio compiler with version 14 (2015) or later, or the MinGW cross compiler with version 5.4 or later. We recommend Visual Studio. @@ -223,7 +223,7 @@ require manual modification of build files. ``` You shoud also install [Homebrew](https://brew.sh), after which you can run `brew install cmake` to install CMake. - - On Windows, ensure you have Visual Studio 2013 or later installed. + - On Windows, ensure you have Visual Studio 2015 or later installed. Then, download CMake from the [official download page](https://cmake.org/download). You'll also need `git` and `patch`, which are both provided by the