blob: 79e1566ebbb1e5b9ffb559999cdbaf0e7fe5ed78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# $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
|
