4e7317bf97
The BuDDy Binary Decision Diagrams (BDD) library presented here was made as part of a ph.d. project on model checking of finite state machines. The library has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation.
22 lines
595 B
Makefile
22 lines
595 B
Makefile
# $NetBSD: buildlink2.mk,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
|
|
|
|
.if !defined(BUDDY_BUILDLINK2_MK)
|
|
BUDDY_BUILDLINK2_MK= # defined
|
|
|
|
BUILDLINK_PACKAGES+= buddy
|
|
BUILDLINK_DEPENDS.buddy?= buddy>=2.2
|
|
BUILDLINK_PKGSRCDIR.buddy?= ../../devel/buddy
|
|
|
|
EVAL_PREFIX+= BUILDLINK_PREFIX.buddy=buddy
|
|
BUILDLINK_PREFIX.buddy_DEFAULT= ${LOCALBASE}
|
|
|
|
BUILDLINK_FILES.buddy= include/bdd.h
|
|
BUILDLINK_FILES.buddy+= include/bvec.h
|
|
BUILDLINK_FILES.buddy+= include/fdd.h
|
|
BUILDLINK_FILES.buddy+= lib/libbdd.*
|
|
|
|
BUILDLINK_TARGETS+= buddy-buildlink
|
|
|
|
buddy-buildlink: _BUILDLINK_USE
|
|
|
|
.endif # BUDDY_BUILDLINK2_MK
|