diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-02-04 13:58:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-04 15:58:38 -0600 |
| commit | d89ff37c2dfbd91dd89169ad5dda06b5cc8f0a7b (patch) | |
| tree | a04312dae5b16b785e7c8c6c8ab77e4c82606f64 /INSTALL.md | |
| parent | c8d7db69e6b5274c21029f231a1d312518d658e7 (diff) | |
Clarifying documentation of `--static-binary` (#5844)
The documentation regarding --static-binary is improved.
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 5693dbc1c..86a317168 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -22,6 +22,8 @@ using Mingw-w64. We recommend a 64-bit operating system. 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 . +To build a static binary for macOS, use: +`./configure.sh --static --no-static-binary`. ### Cross-compiling for Windows @@ -29,7 +31,7 @@ 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...> + ./configure.sh --win64 --static <configure options...> cd <build_dir> # default is ./build make # use -jN for parallel build with N threads |