On Sun, Mar 22, 2020 at 02:42:39PM +0100, Klemens Nanni wrote:
> 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.
jca noted how devel/llvm turns off the detection already; above log does
not appear in the first place.
> Feedback? OK?
Now Cc'ing maintainer as well.
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 15:14:32 -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
@@ -50,6 +51,7 @@ CONFIGURE_ARGS = -DLLVM_ENABLE_FFI=OFF \
-DLLVM_ENABLE_TERMINFO=ON \
-DLLVM_ENABLE_RTTI=ON \
-DCMAKE_DISABLE_FIND_PACKAGE_LibXml2=ON \
+ -DCMAKE_DISABLE_FIND_PACKAGE_Z3=ON \
-DLLVM_LINK_LLVM_DYLIB=OFF \
-DLLVM_BUILD_LLVM_DYLIB=OFF \
-DGO_EXECUTABLE=GO_EXECUTABLE-NOTFOUND \
