diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-02 00:26:29 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-02 08:26:29 +0000 |
| commit | 0d5ab1705324e91d9788185cd16e1d4e6bf54fbe (patch) | |
| tree | 3480e9df08b5a6d250a1e19d96fc7142702eb018 /INSTALL.md | |
| parent | 968ba63bab1709096f09efcdf84651c8c1481110 (diff) | |
Add aarch64 (ARM64) cross-compile support. (#6033)
This commit adds support for cross-compiling for aarch64 platforms and simplifies cross-compilation handling for Windows. The configure script now automatically downloads and cross-compiles the required dependencies ANTLR3 and GMP when passing option --arm64 or --win64.
Fixes #1479 #5769.
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/INSTALL.md b/INSTALL.md index 75538d7cf..fc19dc946 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -30,7 +30,6 @@ To build a static binary for macOS, use: Cross-compiling CVC4 with Mingw-w64 can be done as follows: ``` - HOST=x86_64-w64-mingw32 ./contrib/get-win-dependencies ./configure.sh --win64 --static <configure options...> cd <build_dir> # default is ./build @@ -80,8 +79,8 @@ We recommend using a GCC version > 4.5.1. Do **not** install GMP via the provided script `contrib/get-gmp-dev` unless your distribution * does not ship with the GMP configuration you need, e.g., - script `contrib/get-win-dependencies` uses `contrib/get-gmp-dev` when - cross-compiling GMP for Windows. + `contrib/get-gmp-dev` is used in `configure.sh` when cross-compiling GMP for + Windows. * does not ship with static GMP libraries (e.g., Arch Linux) and you want to build CVC4 statically. |