From e5b702b3f180aa7329df4e6672d0ddfb80039d26 Mon Sep 17 00:00:00 2001 From: Michael Lowell Roberts Date: Thu, 16 Jul 2015 10:38:17 -0700 Subject: [PATCH] clarified README with information provided in issue #163. --- README | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/README b/README index d7f441d64..22fc58c7a 100644 --- a/README +++ b/README @@ -4,7 +4,16 @@ Z3 can be built using Visual Studio Command Prompt and make/g++. 1) Building Z3 on Windows using Visual Studio Command Prompt +32-bit builds, start with: + python scripts/mk_make.py + +or instead, for a 64-bit build: + + python scripts/mk_make.py -x + +then: + cd build nmake