blob: 64abc8b920cba8f06b0201c27a73fa8efb13a745 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# $NetBSD: buildlink3.mk,v 1.2 2019/08/24 22:14:13 alnsn Exp $
BUILDLINK_TREE+= yices2
.if !defined(YICES2_BUILDLINK3_MK)
YICES2_BUILDLINK3_MK:=
BUILDLINK_API_DEPENDS.yices2+= yices2>=2.6.1
BUILDLINK_ABI_DEPENDS.yices2+= yices2>=2.6.1
BUILDLINK_PKGSRCDIR.yices2?= ../../math/yices2
.include "../../devel/gmp/buildlink3.mk"
.endif # YICES2_BUILDLINK3_MK
BUILDLINK_TREE+= -yices2
|
