replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #3894 from diffblue/VS2015 

Drop the desire to do VS2013 builds
This commit is contained in:
Michael Tautschnig 2019-01-22 21:56:11 +00:00 committed by GitHub
parent be2c068336 1547ab01da
commit 9fc79a85b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
COMPILING.md
View File

@ -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