diff options
Diffstat (limited to 'lang/llvm')
| -rw-r--r-- | lang/llvm/buildlink3.mk | 6 | ||||
| -rw-r--r-- | lang/llvm/options.mk | 9 |
2 files changed, 12 insertions, 3 deletions
diff --git a/lang/llvm/buildlink3.mk b/lang/llvm/buildlink3.mk index ff7e8284eb1..15dd233736b 100644 --- a/lang/llvm/buildlink3.mk +++ b/lang/llvm/buildlink3.mk @@ -1,4 +1,4 @@ -# $NetBSD: buildlink3.mk,v 1.16 2021/11/23 20:55:44 wiz Exp $ +# $NetBSD: buildlink3.mk,v 1.17 2022/06/11 13:44:05 fcambus Exp $ BUILDLINK_TREE+= llvm @@ -98,6 +98,10 @@ pkgbase := llvm .include "../../mk/terminfo.buildlink3.mk" .endif +.if ${PKG_BUILD_OPTIONS.llvm:Mz3} +.include "../../math/z3/buildlink3.mk" +.endif + .include "../../devel/zlib/buildlink3.mk" .endif # LLVM_BUILDLINK3_MK diff --git a/lang/llvm/options.mk b/lang/llvm/options.mk index aad2d8f3fa3..45a4bff3992 100644 --- a/lang/llvm/options.mk +++ b/lang/llvm/options.mk @@ -1,4 +1,4 @@ -# $NetBSD: options.mk,v 1.12 2022/01/07 15:44:32 tnn Exp $ +# $NetBSD: options.mk,v 1.13 2022/06/11 13:44:05 fcambus Exp $ PKG_OPTIONS_VAR= PKG_OPTIONS.llvm @@ -8,7 +8,7 @@ LLVM_TARGETS= AArch64 AMDGPU ARM AVR BPF Hexagon Lanai Mips MSP430 NVPTX PowerPC PLIST_VARS+= ${tgt} PKG_SUPPORTED_OPTIONS+= llvm-target-${tgt:tl} .endfor -PKG_SUPPORTED_OPTIONS+= terminfo +PKG_SUPPORTED_OPTIONS+= terminfo z3 # Terminfo is used for colour output, only enable it by default if terminfo # is builtin to avoid unnecessary dependencies which could cause bootstrap @@ -55,4 +55,9 @@ LLVM_TARGETS_TO_BUILD+= ${tgt} CMAKE_ARGS+= -DLLVM_ENABLE_TERMINFO=OFF .endif +.if !empty(PKG_OPTIONS:Mz3) +.include "../../math/z3/buildlink3.mk" +CMAKE_ARGS+= -DLLVM_ENABLE_Z3_SOLVER=ON +.endif + CMAKE_ARGS+= -DLLVM_TARGETS_TO_BUILD="${LLVM_TARGETS_TO_BUILD:ts;}" |