+### 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`.
+