From 1547ab01da0380af38f458ad1b70902e54147d6f Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 22 Jan 2019 14:00:43 +0000 Subject: [PATCH] Drop the desire to do VS2013 builds Upgrading to VS2015 enables #3862, noexcept (e.g. #2502), UTF8 strings and constexpr (#2133). --- COMPILING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index 52f4200c33d..acebf9781fa 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -144,7 +144,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. @@ -218,7 +218,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