From e36c2fec9e7fc91e4d69c9141b1755855fc352fd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 27 Nov 2019 09:17:43 -0800 Subject: [PATCH] updated readme for VS and CMake integration Signed-off-by: Nikolaj Bjorner --- README-CMake.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/README-CMake.md b/README-CMake.md index dd5aa3b53..3903a14bf 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -142,8 +142,13 @@ nmake ### Visual Studio -For the Visual Studio generators you need to know which version of Visual Studio you wish -to use and also what architecture you want to build for. +Visual Studio 19 comes with integrated support for CMake. +It suffices to open the (z3) folder where this file and the Z3 project CMakeLists.txt resides, +and Visual Studio does the rest. + +For legacy versions of Visual Studio a process is as follows: +For the Visual Studio generators you need to know which version of +Visual Studio you wish to use and also what architecture you want to build for. We'll use the ``cmake-gui`` here as it is easier to pick the right generator but this can be scripted if need be.