15 lines
383 B
Makefile
15 lines
383 B
Makefile
# $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
|