From 2bd9bbafe4eb56f03b67af8918ba371b8453e119 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 12 Dec 2015 10:31:12 +0000 Subject: [PATCH] Re-organise the discussion of Clang, it is not a second class citizen and so doesn't deserve to be stuck at the end of the README. It also **does** support OpenMP! --- README.md | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index a731a452d..f4153b21d 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ then: nmake ``` -## Building Z3 using make/g++ and Python +## Building Z3 using make and GCC/Clang Execute: @@ -36,6 +36,15 @@ Execute: sudo make install ``` +Note by default ``gcc`` is used as the C++ compiler if it is available. If you +would prefer to use Clang change the ``mk_make.py`` line to + +```bash + CXX=clang++ CC=clang python scripts/mk_make.py +``` + +Note that Clang < 3.7 does not support OpenMP. + By default, it will install z3 executable at ``PREFIX/bin``, libraries at ``PREFIX/lib``, and include files at ``PREFIX/include``, where ``PREFIX`` installation prefix if inferred by the ``mk_make.py`` script. It is usually @@ -80,13 +89,4 @@ To uninstall Z3, use sudo make uninstall ``` -## Building Z3 using clang and clang++ on Linux/OSX -Remark: clang does not support OpenMP yet. - -```bash - CXX=clang++ CC=clang python scripts/mk_make.py - cd build - make -``` - To clean Z3 you can delete the build directory and run the ``mk_make.py`` script again.