Add Windows cross-compiling instructions to INSTALL.md. (#3226)

diff --git a/INSTALL.md b/INSTALL.md
index fc32138f9ca143b3fdb30b94165b3343dba60a95..f61342da642f1a7612f0ba75504df511b9d95410 100644 (file)
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -12,7 +12,7 @@ CVC4 prerelease version 1.8.
     make install     # to install into the prefix specified above
 
 All binaries are built into `<build_dir>/bin`, the CVC4 library is built into
-`<build_dir>/src`.
+`<build_dir>/lib`.
 
 ## Supported Operating Systems
 
@@ -23,6 +23,21 @@ On macOS, we recommend using Homebrew (https://brew.sh/) to install the
 dependencies.  We also have a Homebrew Tap available at
 https://github.com/CVC4/homebrew-cvc4 .
 
+### Cross-compiling for Windows
+
+Cross-compiling CVC4 with Mingw-w64 can be done as follows:
+
+```
+  HOST=x86_64-w64-mingw32 ./contrib/get-win-dependencies
+  ./configure --win64 --static <configure options...>
+
+  cd <build_dir>   # default is ./build
+  make             # use -jN for parallel build with N threads
+```
+
+The built binary `cvc4.exe` is located in `<build_dir>/bin` and the CVC4 library
+can be found in `<build_dir>/lib`.
+
 ## Build dependencies
 
 The following tools and libraries are required to build and run CVC4.