diff options
Diffstat (limited to 'science/buddy')
| -rw-r--r-- | science/buddy/Makefile | 30 | ||||
| -rw-r--r-- | science/buddy/distinfo | 2 | ||||
| -rw-r--r-- | science/buddy/pkg-descr | 10 | ||||
| -rw-r--r-- | science/buddy/pkg-plist | 12 |
4 files changed, 54 insertions, 0 deletions
diff --git a/science/buddy/Makefile b/science/buddy/Makefile new file mode 100644 index 000000000000..64e0e9f0ee02 --- /dev/null +++ b/science/buddy/Makefile @@ -0,0 +1,30 @@ +# New ports collection makefile for: buddy +# Date created: 31 August 2004 +# Whom: Leland Wang <llwang@infor.org> +# +# $FreeBSD$ +# + +PORTNAME= buddy +PORTVERSION= 2.4 +CATEGORIES= science +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= buddy + +MAINTAINER= llwang@infor.org +COMMENT= A Binary Decision Diagram library + +USE_LIBTOOL_VER=15 +CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL} +USE_GMAKE= yes +INSTALLS_SHLIB= yes + +DOCS= doc/bddnotes.ps doc/buddy.ps doc/tech.txt README AUTHORS + +post-install: +.if !defined(NOPORTDOCS) + ${MKDIR} ${DOCSDIR} + ${INSTALL_DATA} ${DOCS:S|^|${WRKSRC}/|} ${DOCSDIR} +.endif + +.include <bsd.port.mk> diff --git a/science/buddy/distinfo b/science/buddy/distinfo new file mode 100644 index 000000000000..ef3fc3022c1f --- /dev/null +++ b/science/buddy/distinfo @@ -0,0 +1,2 @@ +MD5 (buddy-2.4.tar.gz) = 3b59cb073bcb3f26efdb851d617ef2ed +SIZE (buddy-2.4.tar.gz) = 766523 diff --git a/science/buddy/pkg-descr b/science/buddy/pkg-descr new file mode 100644 index 000000000000..a37ddc4febf4 --- /dev/null +++ b/science/buddy/pkg-descr @@ -0,0 +1,10 @@ +BuDDY is a Binary Decision Diagram library, with: many highly efficient +vectorized BDD operations, dynamic variable reordering, automated +garbage collection, a C++ interface with automatic reference counting, +and much more. + +Author: Haim Cohen <haimcohen@users.sourceforge.net> +WWW: http://buddy.sourceforge.net/ + +- Leland Wang +llwang@infor.org diff --git a/science/buddy/pkg-plist b/science/buddy/pkg-plist new file mode 100644 index 000000000000..9bdb26d85819 --- /dev/null +++ b/science/buddy/pkg-plist @@ -0,0 +1,12 @@ +include/bdd.h +include/bvec.h +include/fdd.h +lib/libbdd.a +lib/libbdd.so +lib/libbdd.so.0 +%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/bddnotes.ps +%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/buddy.ps +%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/tech.txt +%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/README +%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/AUTHORS +%%PORTDOCS%%@dirrm %%DOCSDIR%% |