diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/INSTALL.md b/INSTALL.md index 55bd4aef5..f61342da6 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -1,4 +1,4 @@ -CVC4 prerelease version 1.7. +CVC4 prerelease version 1.8. ============================ ## Building CVC4 @@ -12,7 +12,7 @@ CVC4 prerelease version 1.7. 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. |