DESCR

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.

Makefile

# $NetBSD: Makefile,v 1.5 2008/06/12 02:14:21 joerg Exp $
#

DISTNAME= buddy-2.4
CATEGORIES= devel
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=buddy/}

MAINTAINER= kristerw@NetBSD.org
HOMEPAGE= http://buddy.sourceforge.net/
COMMENT= Library for binary decision diagrams

PKG_DESTDIR_SUPPORT= user-destdir

USE_LIBTOOL= yes
GNU_CONFIGURE= yes
USE_LANGUAGES= c c++

.include "../../mk/bsd.pkg.mk"

PLIST

@comment $NetBSD: PLIST,v 1.2 2006/03/14 20:23:07 kristerw Exp $
include/bdd.h
include/bvec.h
include/fdd.h
lib/libbdd.la

buildlink3.mk

# $NetBSD: buildlink3.mk,v 1.7 2009/03/20 19:24:10 joerg Exp $

BUILDLINK_TREE+= buddy

.if !defined(BUDDY_BUILDLINK3_MK)
BUDDY_BUILDLINK3_MK:=

BUILDLINK_API_DEPENDS.buddy+= buddy>=2.4
BUILDLINK_PKGSRCDIR.buddy?= ../../devel/buddy
.endif # BUDDY_BUILDLINK3_MK

BUILDLINK_TREE+= -buddy

distinfo

$NetBSD: distinfo,v 1.3 2006/03/14 20:23:07 kristerw Exp $

SHA1 (buddy-2.4.tar.gz) = 0b58bb9f699593de148cd01b48656636eb4c0355
RMD160 (buddy-2.4.tar.gz) = 084f08a4dd109ede2f1d1ee24b4c686cee45e601
Size (buddy-2.4.tar.gz) = 766523 bytes