diff options
| author | Thierry Thomas <thierry@FreeBSD.org> | 2005-01-22 15:01:02 +0000 |
|---|---|---|
| committer | Thierry Thomas <thierry@FreeBSD.org> | 2005-01-22 15:01:02 +0000 |
| commit | b1f1283d7fab256ddace6c89b26aa3d1d02cf161 (patch) | |
| tree | 655db08c7939fc05fab1d0f5beb88dc380ab560b /science | |
| parent | Add squid security advisories for two recent squid entries. (diff) | |
Add buddy 2.4, a Binary Decision Diagram library.
PR: 71221
Submitted by: Leland Wang
Notes
Notes:
svn path=/head/; revision=127101
Diffstat (limited to 'science')
| -rw-r--r-- | science/Makefile | 1 | ||||
| -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 |
5 files changed, 55 insertions, 0 deletions
diff --git a/science/Makefile b/science/Makefile index bd4960319f46..9c1222591094 100644 --- a/science/Makefile +++ b/science/Makefile @@ -7,6 +7,7 @@ SUBDIR += abinit SUBDIR += at SUBDIR += bblimage + SUBDIR += buddy SUBDIR += cdcl SUBDIR += cdcl-gtk SUBDIR += chemtool 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%% |