From ed2dcf22480521288c157d426ec14e5999166563 Mon Sep 17 00:00:00 2001 From: kristerw Date: Wed, 31 Dec 2003 00:04:19 +0000 Subject: 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. --- 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(+) create mode 100644 devel/buddy/DESCR create mode 100644 devel/buddy/Makefile create mode 100644 devel/buddy/PLIST create mode 100644 devel/buddy/buildlink2.mk create mode 100644 devel/buddy/distinfo create mode 100644 devel/buddy/patches/patch-aa create mode 100644 devel/buddy/patches/patch-ab 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 $< -- cgit v1.2.3