mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

Be more explicit about using Clang as the compiler as noted in #979.

Browse source 
Referring to the ``mk_make.py`` line might lead someone to think they
need to modify the ``mk_make.py`` file rather than change the command
line invocation.
This commit is contained in:
Dan Liew 2017-04-20 17:25:00 +01:00
parent 4b0f7bc222
commit 2badef9d0b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -54,7 +54,7 @@ sudo make install
``` ```
Note by default ``g++`` is used as the C++ compiler if it is available. If you Note by default ``g++`` is used as the C++ compiler if it is available. If you
would prefer to use Clang change the ``mk_make.py`` line to would prefer to use Clang change the ``mk_make.py`` invocation to:
```bash ```bash
CXX=clang++ CC=clang python scripts/mk_make.py CXX=clang++ CC=clang python scripts/mk_make.py