# $NetBSD: buildlink3.mk,v 1.1.1.1 2019/08/24 22:09:16 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
.endif # YICES2_BUILDLINK3_MK

.include "../../devel/gmp/buildlink3.mk"

BUILDLINK_TREE+=	-yices2