If devel/z3 is installed, cmake picks it up at configure time:
-- Found Z3: /usr/local/lib/libz3.so.2.0 (found suitable version "4.8.6
- 64 bit", minimum required is "4.7.1")
-- Configuring done
Bump REVISION to be safe in case build machines have picked it up.
Feedback? OK?
Index: Makefile
===================================================================
RCS file: /cvs/ports/devel/clang-tools-extra/Makefile,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 Makefile
--- Makefile 6 Nov 2019 10:07:55 -0000 1.1.1.1
+++ Makefile 22 Mar 2020 13:36:40 -0000
@@ -17,6 +17,7 @@ COMMENT= Clang extra tools
LLVM_V = 8.0.1
DISTNAME = llvm-${LLVM_V}.src
PKGNAME= clang-tools-extra-${LLVM_V}
+REVISION= 0
CATEGORIES = devel
@@ -57,6 +58,7 @@ CONFIGURE_ARGS = -DLLVM_ENABLE_FFI=OFF \
CONFIGURE_ARGS += -DCLANG_ENABLE_STATIC_ANALYZER=ON \
-DCLANG_INCLUDE_TESTS=OFF \
+ -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=OFF \
-DLLVM_BUILD_TESTS=OFF \
-DLLVM_BUILD_BENCHMARKS=OFF \
-DLLVM_ENABLE_DOXYGEN=OFF \
