diff options
| author | fcambus <fcambus@pkgsrc.org> | 2022-06-11 13:45:44 +0000 |
|---|---|---|
| committer | fcambus <fcambus@pkgsrc.org> | 2022-06-11 13:45:44 +0000 |
| commit | fd4ddf413906e2cbad6ad663520af17e8f40e24d (patch) | |
| tree | 9f9cef4d58eca5e21f26e4d6a4524a72027d0637 /lang | |
| parent | c5098094884d45f6538c4c163e5d0b4afe2ab5b3 (diff) | |
| download | pkgsrc-fd4ddf413906e2cbad6ad663520af17e8f40e24d.tar.gz | |
clang: add a z3 option to allow building against the Z3 constraint solver.
When both lang/llvm and lang/clang are built with the z3 option enabled,
the Z3 constraint solver is activated for the Clang static analyzer.
This option is not enabled by default.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/clang/Makefile.common | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/lang/clang/Makefile.common b/lang/clang/Makefile.common index af0d64c8ff8..2b519c84158 100644 --- a/lang/clang/Makefile.common +++ b/lang/clang/Makefile.common @@ -1,4 +1,4 @@ -# $NetBSD: Makefile.common,v 1.48 2022/05/05 08:24:41 nia Exp $ +# $NetBSD: Makefile.common,v 1.49 2022/06/11 13:45:44 fcambus Exp $ # used by lang/clang/Makefile # used by lang/clang-tools-extra/Makefile @@ -145,7 +145,7 @@ PLIST.notdylib= yes PLIST_SUBST+= SOEXT=${SOEXT} PKG_OPTIONS_VAR= PKG_OPTIONS.clang -PKG_SUPPORTED_OPTIONS= tests +PKG_SUPPORTED_OPTIONS= tests z3 .include "../../mk/bsd.options.mk" @@ -160,6 +160,16 @@ CMAKE_ARGS+= -DLLVM_INCLUDE_TESTS=OFF CMAKE_ARGS+= -DCLANG_INCLUDE_TESTS=OFF .endif +.include "../../lang/llvm/buildlink3.mk" + +.if !empty(PKG_OPTIONS:Mz3) +.if empty(PKG_BUILD_OPTIONS.llvm:Mz3) +PKG_FAIL_REASON+= "z3 PKG_OPTION must be enabled in lang/llvm" +.endif +.include "../../math/z3/buildlink3.mk" +CMAKE_ARGS+= -DLLVM_ENABLE_Z3_SOLVER=ON +.endif + post-extract: ${MKDIR} ${WRKDIR}/build @@ -168,4 +178,3 @@ post-extract: .include "../../lang/python/application.mk" .include "../../lang/python/tool.mk" DEPENDS+= llvm-${PKGVERSION_NOREV}{,nb*}:../../lang/llvm -.include "../../lang/llvm/buildlink3.mk" |