[pkgsrc/trunk]: pkgsrc/devel/buddy Initial import of buddy version 2.2.

[kristerw <kristerw%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/67c1d0a62a2b
branches:  trunk
changeset: 465479:67c1d0a62a2b
user:      kristerw <kristerw%pkgsrc.org@localhost>
date:      Wed Dec 31 00:04:19 2003 +0000

description:
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.

diffstat:

 devel/buddy/DESCR            |   5 +++++
 devel/buddy/Makefile         |  24 ++++++++++++++++++++++++
 devel/buddy/PLIST            |   9 +++++++++
 devel/buddy/buildlink2.mk    |  22 ++++++++++++++++++++++
 devel/buddy/distinfo         |   6 ++++++
 devel/buddy/patches/patch-aa |  29 +++++++++++++++++++++++++++++
 devel/buddy/patches/patch-ab |  13 +++++++++++++
 7 files changed, 108 insertions(+), 0 deletions(-)

diffs (136 lines):

diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/DESCR Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,5 @@
+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.
diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/Makefile      Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,24 @@
+# $NetBSD: Makefile,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
+#
+
+DISTNAME=      buddy22
+PKGNAME=       buddy-2.2
+CATEGORIES=    devel
+MASTER_SITES=  http://www.itu.dk/research/buddy/
+
+MAINTAINER=    kristerw%NetBSD.org@localhost
+HOMEPAGE=      http://www.itu.dk/research/buddy/
+COMMENT=       Library for binary decision diagrams
+
+MAKEFILE=      makefile
+ALL_TARGET=    buddy
+
+do-install:
+       ${INSTALL_DATA} ${WRKSRC}/src/libbdd.a ${PREFIX}/lib
+       ${INSTALL_DATA} ${WRKSRC}/src/bdd.h ${WRKSRC}/src/fdd.h \
+               ${WRKSRC}/src/bvec.h ${PREFIX}/include
+       ${INSTALL_DATA_DIR} ${PREFIX}/share/doc/buddy
+       ${INSTALL_DATA} ${WRKSRC}/doc/*.ps ${WRKSRC}/doc/*.txt \
+               ${PREFIX}/share/doc/buddy
+
+.include "../../mk/bsd.pkg.mk"
diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/PLIST Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,9 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
+include/bdd.h
+include/bvec.h
+include/fdd.h
+lib/libbdd.a
+share/doc/buddy/bddnotes.ps
+share/doc/buddy/buddy.ps
+share/doc/buddy/tech.txt
+@dirrm share/doc/buddy
diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/buildlink2.mk
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/buildlink2.mk Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,22 @@
+# $NetBSD: buildlink2.mk,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
+
+.if !defined(BUDDY_BUILDLINK2_MK)
+BUDDY_BUILDLINK2_MK=   # defined
+
+BUILDLINK_PACKAGES+=           buddy
+BUILDLINK_DEPENDS.buddy?=      buddy>=2.2
+BUILDLINK_PKGSRCDIR.buddy?=    ../../devel/buddy
+
+EVAL_PREFIX+=                  BUILDLINK_PREFIX.buddy=buddy
+BUILDLINK_PREFIX.buddy_DEFAULT=        ${LOCALBASE}
+
+BUILDLINK_FILES.buddy=         include/bdd.h
+BUILDLINK_FILES.buddy+=                include/bvec.h
+BUILDLINK_FILES.buddy+=                include/fdd.h
+BUILDLINK_FILES.buddy+=                lib/libbdd.*
+
+BUILDLINK_TARGETS+=    buddy-buildlink
+
+buddy-buildlink: _BUILDLINK_USE
+
+.endif # BUDDY_BUILDLINK2_MK
diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/distinfo      Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
+
+SHA1 (buddy22.tar.gz) = 1edef74161825b004872f7a148df4ecfe7efadb5
+Size (buddy22.tar.gz) = 448103 bytes
+SHA1 (patch-aa) = 81241aa7fddf07629cf2cf1a88d3254612db49a3
+SHA1 (patch-ab) = 7c7e356cf1ea7bfdb2e2493c12088fcef1acf936
diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/patches/patch-aa
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/patches/patch-aa      Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,29 @@
+$NetBSD: patch-aa,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
+
+--- config.orig        Sat Nov  9 18:26:56 2002
++++ config     Tue Dec 30 19:52:02 2003
+@@ -4,19 +4,19 @@
+ # ==============================================================
+ 
+ # --- Your compiler flags
+-CFLAGS = -g -ansi -Wmissing-prototypes -Wall
++#CFLAGS = -g -ansi -Wmissing-prototypes -Wall
+ 
+ # --- Where to install the library (directory, no trailing slash)
+-LIBDIR = /usr/local/lib
++#LIBDIR = /usr/local/lib
+ 
+ # --- Where to install the include file (directory, no trailing slash)
+-INCDIR = /usr/local/include
++#INCDIR = /usr/local/include
+ 
+ # --- Your C compiler
+-CC = gcc
++#CC = gcc
+ 
+ # --- Your C++ compiler
+-CPP = g++
++#CPP = g++
+ 
+ # Some machines are missing "CLOCKS_PER_SEC". Please define a default value
+ # If you do not know this, then leave it as it is.
diff -r a29684f59aec -r 67c1d0a62a2b devel/buddy/patches/patch-ab
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/buddy/patches/patch-ab      Wed Dec 31 00:04:19 2003 +0000
@@ -0,0 +1,13 @@
+$NetBSD: patch-ab,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
+
+--- src/makefile.orig  Tue Dec 30 20:04:54 2003
++++ src/makefile       Tue Dec 30 20:05:12 2003
+@@ -19,7 +19,7 @@
+ .SUFFIXES: .cxx .c
+ 
+ .cxx.o:
+-      $(CPP) $(CFLAGS) $(DFLAGS) -c $<
++      $(CXX) $(CFLAGS) $(DFLAGS) -c $<
+ 
+ .c.o:
+       $(CC) $(CFLAGS) $(DFLAGS) -c $<