ports/71221: new port: science/buddy - A Binary Decision Diagram library

[Li-Lun Wang (Leland Wang)]

>Number:         71221
>Category:       ports
>Synopsis:       new port: science/buddy - A Binary Decision Diagram library
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Wed Sep 01 04:20:21 GMT 2004
>Closed-Date:
>Last-Modified:
>Originator:     Leland Wang
>Release:        FreeBSD 5.3-BETA2 i386
>Organization:
UIUC 
>Environment:
System: FreeBSD ll-X31 5.3-BETA2 FreeBSD 5.3-BETA2 #4: Fri Aug 27 10:56:11 CDT 2004 root at ll-X31:/usr/obj/usr/src/sys/X31 i386


	
>Description:
New port science/buddy.

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.

BuDDy is need by Maude, a high-performance reflective language and system
supporting both equational and rewriting logic specification and
programming for a wide range of applications. I am also making a port
for Maude, but there is a small bug in gcc 3.4. I have submitted a bug
report to gcc bugzilla. Maybe I should wait for the fixed gcc before I submit
the port for Maude.

>How-To-Repeat:
	
>Fix:

# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	buddy
#	buddy/Makefile
#	buddy/distinfo
#	buddy/pkg-plist
#	buddy/pkg-descr
#
echo c - buddy
mkdir -p buddy > /dev/null 2>&1
echo x - buddy/Makefile
sed 's/^X//' >buddy/Makefile << 'END-of-buddy/Makefile'
X# New ports collection makefile for:	buddy
X# Date created:		31 August 2004
X# Whom:			Leland Wang <llwang at infor.org>
X#
X# $FreeBSD$
X#
X
XPORTNAME=	buddy
XPORTVERSION=	2.4
XCATEGORIES=	science
XMASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
XMASTER_SITE_SUBDIR=	buddy
X
XMAINTAINER=	llwang at infor.org
XCOMMENT=	A Binary Decision Diagram library
X
XGNU_CONFIGURE=	yes
XUSE_GMAKE=	yes
X
Xpost-install:
X.if !defined(NOPORTDOCS)
X	${MKDIR} ${DOCSDIR}
X	${INSTALL_MAN} ${WRKSRC}/doc/bddnotes.ps ${DOCSDIR}
X	${INSTALL_MAN} ${WRKSRC}/doc/buddy.ps ${DOCSDIR}
X	${INSTALL_MAN} ${WRKSRC}/doc/tech.txt ${DOCSDIR}
X	${INSTALL_MAN} ${WRKSRC}/README ${DOCSDIR}
X	${INSTALL_MAN} ${WRKSRC}/AUTHORS ${DOCSDIR}
X.endif
X
X.include <bsd.port.mk>
END-of-buddy/Makefile
echo x - buddy/distinfo
sed 's/^X//' >buddy/distinfo << 'END-of-buddy/distinfo'
XMD5 (buddy-2.4.tar.gz) = 3b59cb073bcb3f26efdb851d617ef2ed
XSIZE (buddy-2.4.tar.gz) = 766523
END-of-buddy/distinfo
echo x - buddy/pkg-plist
sed 's/^X//' >buddy/pkg-plist << 'END-of-buddy/pkg-plist'
Xinclude/bdd.h
Xinclude/bvec.h
Xinclude/fdd.h
Xlib/libbdd.a
Xlib/libbdd.la
Xlib/libbdd.so
Xlib/libbdd.so.0
X%%PORTDOCS%%%%DOCSDIR%%/bddnotes.ps
X%%PORTDOCS%%%%DOCSDIR%%/buddy.ps
X%%PORTDOCS%%%%DOCSDIR%%/tech.txt
X%%PORTDOCS%%%%DOCSDIR%%/README
X%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
END-of-buddy/pkg-plist
echo x - buddy/pkg-descr
sed 's/^X//' >buddy/pkg-descr << 'END-of-buddy/pkg-descr'
XBuDDY is a Binary Decision Diagram library, with: many highly efficient
Xvectorized BDD operations, dynamic variable reordering, automated
Xgarbage collection, a C++ interface with automatic reference counting,
Xand much more.
X
XAuthor:	Haim Cohen <haimcohen at users.sourceforge.net>
XWWW:	http://buddy.sourceforge.net/
X
X- Leland Wang
Xllwang at infor.org
END-of-buddy/pkg-descr
exit


	



>Release-Note:
>Audit-Trail:
>Unformatted: