# $NetBSD: buildlink3.mk,v 1.3 2018/12/18 06:46:39 kamil Exp $

BUILDLINK_TREE+=	z3

.if !defined(Z3_BUILDLINK3_MK)
Z3_BUILDLINK3_MK:=

BUILDLINK_API_DEPENDS.z3+=	z3>=4.8.3
BUILDLINK_PKGSRCDIR.z3?=	../../math/z3

.endif  # Z3_BUILDLINK3_MK

BUILDLINK_TREE+=	-z3