pkgsrc/devel/buddy/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"
Add DESTDIR support. 2008-06-12 04:14:13 +02:00			`# $NetBSD: Makefile,v 1.5 2008/06/12 02:14:21 joerg Exp $`
Initial import of buddy version 2.2. 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. 2003-12-31 01:04:19 +01:00			`#`

Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`DISTNAME= buddy-2.4`
Initial import of buddy version 2.2. 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. 2003-12-31 01:04:19 +01:00			`CATEGORIES= devel`
Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=buddy/}`
Initial import of buddy version 2.2. 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. 2003-12-31 01:04:19 +01:00
			`MAINTAINER= kristerw@NetBSD.org`
Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`HOMEPAGE= http://buddy.sourceforge.net/`
Initial import of buddy version 2.2. 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. 2003-12-31 01:04:19 +01:00			`COMMENT= Library for binary decision diagrams`

Add DESTDIR support. 2008-06-12 04:14:13 +02:00			`PKG_DESTDIR_SUPPORT= user-destdir`

Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`USE_LIBTOOL= yes`
			`GNU_CONFIGURE= yes`
			`USE_LANGUAGES= c c++`
Initial import of buddy version 2.2. 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. 2003-12-31 01:04:19 +01:00
			`.include "../../mk/bsd.pkg.mk"`