Also in the Makefile for 64x64, define both WIN32 and WIN64 because those can be used to identify the Windows platform in application code such as in processors/IA32/bochs. I am not aware of any #ifdef WIN64 at the moment. Most code uses #ifdef _WIN64 to check for that.
Note that, having defined both _WIN32 and _WIN64, code for 32-bit and 64-bit must always begin with #ifdef _WIN64 and only then #elif _WIN32.
I think that the MSVC compiler defines _WIN32 and _WIN64 automatically. Yet, now it is documented in the Makefile.
You can view, comment on, or merge this pull request online at:
> @@ -53,16 +53,17 @@ ifdef MSVC
-# Set minimum version to WindowsXP (see /cygwin/usr/include/w32api/w32api.h)
+# Set minimum version to Windows 8 (see /cygwin/usr/include/w32api/w32api.h)
As suggested on the mailing list, I would just use 0x0600