From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 25 Sep 2019 16:29:33 +0000 (-0700)
Subject: Add Windows cross-compiling instructions to INSTALL.md. (#3226)
X-Git-Tag: cvc5-1.0.0~3935
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f892370a615ecadc011b49a98d2c4695fafa7f4f;p=cvc5.git

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

diff --git a/INSTALL.md b/INSTALL.md
index fc32138f9..f61342da6 100644
--- 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.