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.

7 files changed, 108 insertions, 0 deletions

diff --git a/devel/buddy/DESCR b/devel/buddy/DESCR
new file mode 100644
index 00000000000..d696c4d09c5
--- /dev/null
+++ b/devel/buddy/DESCR
@@ -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 --git a/devel/buddy/Makefile b/devel/buddy/Makefile
new file mode 100644
index 00000000000..fa21972f9e9
--- /dev/null
+++ b/devel/buddy/Makefile
@@ -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
+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 --git a/devel/buddy/PLIST b/devel/buddy/PLIST
new file mode 100644
index 00000000000..d3f296bb523
--- /dev/null
+++ b/devel/buddy/PLIST
@@ -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 --git a/devel/buddy/buildlink2.mk b/devel/buddy/buildlink2.mk
new file mode 100644
index 00000000000..b295e67a999
--- /dev/null
+++ b/devel/buddy/buildlink2.mk
@@ -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 --git a/devel/buddy/distinfo b/devel/buddy/distinfo
new file mode 100644
index 00000000000..6c59aba1a58
--- /dev/null
+++ b/devel/buddy/distinfo
@@ -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 --git a/devel/buddy/patches/patch-aa b/devel/buddy/patches/patch-aa
new file mode 100644
index 00000000000..d3dc85d44a0
--- /dev/null
+++ b/devel/buddy/patches/patch-aa
@@ -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 --git a/devel/buddy/patches/patch-ab b/devel/buddy/patches/patch-ab
new file mode 100644
index 00000000000..2959bfca290
--- /dev/null
+++ b/devel/buddy/patches/patch-ab
@@ -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 $<