diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-09-25 09:29:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-25 09:29:33 -0700 |
commit | f892370a615ecadc011b49a98d2c4695fafa7f4f (patch) | |
tree | 887bed1905cf867f0b5115c7d4b9f863675e615d /INSTALL.md | |
parent | b2261930d0fa97f0b40e4f96313db957e8ab9418 (diff) |
Add Windows cross-compiling instructions to INSTALL.md. (#3226)
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 17 |
1 files changed, 16 insertions, 1 deletions
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. |