LLVM fails to build when Z3 is installed on system #14038
Description
When a valid installation of Z3 is installed on the system, LLVM seems to implicitly enable Z3 support, but since static analysis is disabled, this results in a build error.
-- Found Z3: /usr/local/lib/libz3.dylib (found suitable version "4.8.0 - 64 bit", minimum required is "4.7.1")
CMake Error at tools/clang/CMakeLists.txt:442 (message):
Cannot disable static analyzer while enabling ARCMT or Z3