debian/0000775000000000000000000000000012314366133007172 5ustar debian/rules0000775000000000000000000000251312314366031010250 0ustar #!/usr/bin/make -f DPKG_EXPORT_BUILDFLAGS = 1 include /usr/share/dpkg/buildflags.mk SONAME=0 BASENAME=libbdd PACKAGE=$(BASENAME)$(SONAME)c2 DEVPACKAGE=$(BASENAME)-dev DESTDIR = debian/tmp get-orig-source: wget ftp://ftp.sourceforge.net/pub/sourceforge/b/bu/buddy/buddy-2.4.tar.gz configure: configure-stamp configure-stamp: dh_testdir dh_autoreconf ./configure --prefix=/usr touch $@ build-arch: build build-indep: build build: configure build-stamp build-stamp: dh_testdir $(MAKE) touch $@ clean: dh_testdir dh_testroot libtool --mode=clean rm [ ! -f Makefile ] || $(MAKE) distclean dh_autoreconf_clean dh_clean install: install-stamp install-stamp: build dh_testdir dh_testroot dh_prep dh_installdirs $(MAKE) install prefix=$(CURDIR)/$(DESTDIR)/usr dh_install --list-missing --sourcedir=$(DESTDIR) touch $@ binary-indep: build install binary-arch: build install dh_testdir dh_testroot dh_installdocs cp $(CURDIR)/ChangeLog $(CURDIR)/debian/$(PACKAGE)/usr/share/doc/$(PACKAGE)/changelog dh_installdocs -p$(DEVPACKAGE) dh_installexamples -p$(DEVPACKAGE) dh_installchangelogs dh_strip dh_compress dh_fixperms dh_makeshlibs dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: get-orig-source configure build clean install binary-indep binary-arch binary debian/libbdd0c2.docs0000664000000000000000000000001512314362727011572 0ustar AUTHORS NEWS debian/changelog0000664000000000000000000000743312314366116011054 0ustar buddy (2.4-9ubuntu1) trusty; urgency=medium * Merge from Debian unstable. Remaining changes: - Use dh-autoreconf instead of autotools-dev to also fix FTBFS on ppc64el (still updates config.{sub,guess}). -- Logan Rosen Tue, 25 Mar 2014 16:50:58 -0400 buddy (2.4-9) unstable; urgency=low * QA upload. * Maintainer field set to QA Group. * Build with default compiler flags. * Bump Standards-Version to 3.9.5. * Add missing debian/rules targets: build-arch, build-indep. * Set debhelper compatibility level to 9. -- Emanuele Rocca Sun, 23 Mar 2014 16:04:56 +0100 buddy (2.4-8ubuntu1) trusty; urgency=medium * Use dh-autoreconf instead of autotools-dev to get new libtool macros for ppc64el (still updates config.{sub,guess}). -- Logan Rosen Tue, 24 Dec 2013 17:50:47 -0500 buddy (2.4-8) unstable; urgency=low * Upgraded to Standards-Version 3.9.1, removing the .la files. (Closes: #621250) -- Jens Peter Secher Tue, 12 Apr 2011 00:02:46 +0200 buddy (2.4-7) unstable; urgency=low * Converted to dpkg-source format quilt (3.0). * Use mercurial-buildpackage for package package maintenance through http://hg.debian.org/hg/collab-maint/libbdd. * Converted to debhelper 7 and use dh_prep and misc:Depends. * Upgraded to Standards-Version 3.8.4, using the Homepage control field. * Removed obsolete conflicts etc. -- Jens Peter Secher Sat, 17 Apr 2010 16:08:48 +0200 buddy (2.4-6) unstable; urgency=low * Removed watch file since it does not work reliably. (Closes: bug#450058). * Use ${binary:Version} in control to allow binNMU. * Bumped Standards-Version to 3.7.2. * Stop Lintian complaining about outdated autotools files, since these files are overwritten automatically. -- Jens Peter Secher Sun, 6 May 2007 10:55:18 +0200 buddy (2.4-5) unstable; urgency=low * Automatically link to most recent config.{sub,guess} to avoid further failed builds. (Closes: bug#319882) -- Jens Peter Secher Mon, 25 Jul 2005 23:28:02 +0200 buddy (2.4-4) unstable; urgency=low * Changed shared-library package name due to GCC4 transition ABI change, essentially just applying Ubuntu patch from Stephan Hermann. * Bumped Standards-Version. -- Jens Peter Secher Thu, 21 Jul 2005 12:30:57 +0200 buddy (2.4-3) unstable; urgency=low * Improved the description of the packages. * Rewrote this changelog so it is easier to see what has been going on, and uploading with the full changelog. * Uploading as official Debian package. (Closes: bug#148764) -- Jens Peter Secher Tue, 1 Mar 2005 21:40:34 +0100 buddy (2.4-2) unstable; urgency=low * Changed control and rules files to build unversioned -dev package instead of versioned -dev package, and furthermore conflict with the versioned -dev package. -- Jens Peter Secher Wed, 12 Jan 2005 20:11:03 +0100 buddy (2.4-1) unstable; urgency=low * New upstream version. * Because upstream now uses standard build procedure, almost all of the debian-specific build scripting has been removed. -- Jens Peter Secher Sun, 26 Dec 2004 15:13:55 +0100 buddy (2.2-2) unstable; urgency=low * New debian/compat file. * Respect DEB_BUILD_OPTIONS. * Remove obsolete configure stamp. * Use ${misc:Depends}. * Change section of libbdd-dev to "libdevel". -- Jens Peter Secher Sat, 27 Mar 2004 20:35:45 +0100 buddy (2.2-1) unstable; urgency=low * New upstream release -- Jens Peter Secher Wed, 15 Jan 2003 00:46:25 +0100 buddy (2.0-1) unstable; urgency=low * Initial Release. -- Jens Peter Secher Tue, 11 Dec 2001 17:12:48 +0100 debian/compat0000664000000000000000000000000212314362744010374 0ustar 9 debian/libbdd-dev.docs0000664000000000000000000000006112314362727012042 0ustar README doc/bddnotes.ps doc/buddy.ps doc/tech.txt debian/copyright0000664000000000000000000000406712314362727011141 0ustar This package was made by Jens Peter Secher Dec 2004. The source was downloaded from http://buddy.sourceforge.net/. Upstream Author: Jorn Lind-Nielsen Copyright: ========================================================================== *** BuDDy *** Binary Decision Diagrams Library Package v2.4 -------------------------------------------------------------------------- Copyright (C) 1996-2002 by Jorn Lind-Nielsen All rights reserved Permission is hereby granted, without written agreement and without license or royalty fees, to use, reproduce, prepare derivative works, distribute, and display this software and its documentation for any purpose, provided that (1) the above copyright notice and the following two paragraphs appear in all copies of the source code and (2) redistributions, including without limitation binaries, reproduce these notices in the supporting documentation. Substantial modifications to this software may be copyrighted by their authors and need not follow the licensing terms described here, provided that the new terms are clearly indicated in all files where they apply. IN NO EVENT SHALL JORN LIND-NIELSEN, OR DISTRIBUTORS OF THIS SOFTWARE BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE AUTHORS OR ANY OF THE ABOVE PARTIES HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. JORN LIND-NIELSEN SPECIFICALLY DISCLAIM ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS HAVE NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS. ========================================================================== debian/source/0000775000000000000000000000000012314366131010470 5ustar debian/source/format0000664000000000000000000000001412314362727011705 0ustar 3.0 (quilt) debian/libbdd0c2.install0000664000000000000000000000005412314362727012313 0ustar usr/lib/libbdd.so.0.0.0 usr/lib/libbdd.so.0 debian/libbdd-dev.README.Debian0000664000000000000000000000130312314362727013230 0ustar BuDDy for Debian ---------------- Documentation. buddy.ps: Package documentation. bddnotes.ps: BDD introduction notes. examples: fdd: An example of use of the FDD interface. calculator: An example of a BDD calculator. Uses reordering. adder: Construction of a N-bit adder. Uses reordering. milner: A calculation of the reachable statespace for Milner's scheduler. C++. cmilner: As above but purely in ANSI-C. queen: Solution to the N-queen chess problem. solitare: Solution to a solitare game. money: Solution to the send-more-money problem (bvec demo). -- Jens Peter Secher , Sun, 6 May 2007 10:51:43 +0200 debian/source.lintian-overrides0000664000000000000000000000022612314362727014057 0ustar # Lintian overrides for BuDDy. # # The upstream autotools files are automatically overwritten on build. buddy source: outdated-autotools-helper-file debian/control0000664000000000000000000000257312314366120010600 0ustar Source: buddy Section: devel Priority: optional Maintainer: Ubuntu Developers XSBC-Original-Maintainer: Debian QA Group Build-Depends: debhelper (>= 9), libtool, dh-autoreconf Standards-Version: 3.9.5 Vcs-Hg: http://hg.debian.org/hg/collab-maint/libbdd Homepage: http://buddy.sourceforge.net Package: libbdd0c2 Section: libs Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Description: Binary decision-diagram library (runtime) Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library. Package: libbdd-dev Section: libdevel Architecture: any Depends: libbdd0c2 (= ${binary:Version}), ${misc:Depends}, libc6-dev | libc-dev Description: Binary decision-diagram library (development) Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more. . libbdd-dev is the BuDDy development package containing a static library and the include files needed for building applications using BuDDy. debian/libbdd-dev.examples0000664000000000000000000000341112314362727012732 0ustar examples/Makefile.am examples/Makefile.in examples/runregression examples/adder/Makefile.am examples/adder/Makefile.in examples/adder/adder.cxx examples/adder/runtest examples/adder/expected examples/Makefile.def examples/bddcalc/examples/c432.cal examples/bddcalc/examples/c499.cal examples/bddcalc/examples/c1355.cal examples/bddcalc/examples/c1908.cal examples/bddcalc/examples/c2670.cal examples/bddcalc/examples/c3540.cal examples/bddcalc/examples/readme examples/bddcalc/Makefile.am examples/bddcalc/Makefile.in examples/bddcalc/lexer.cxx examples/bddcalc/parser.cxx examples/bddcalc/parser.h examples/bddcalc/hashtbl.h examples/bddcalc/hashtbl.cxx examples/bddcalc/lexer.lxx examples/bddcalc/parser.yxx examples/bddcalc/parser_.h examples/bddcalc/slist.h examples/bddcalc/readme examples/bddcalc/example.cal examples/bddcalc/runtest examples/bddcalc/expected examples/bddtest/Makefile.am examples/bddtest/Makefile.in examples/bddtest/bddtest.cxx examples/bddtest/runtest examples/bddtest/expected examples/cmilner/Makefile.am examples/cmilner/Makefile.in examples/cmilner/cmilner.c examples/cmilner/readme examples/cmilner/runtest examples/cmilner/expected examples/fdd/Makefile.am examples/fdd/Makefile.in examples/fdd/fdd.cxx examples/fdd/runtest examples/fdd/expected examples/milner/Makefile.am examples/milner/Makefile.in examples/milner/milner.cxx examples/milner/readme examples/milner/runtest examples/milner/expected examples/money/Makefile.am examples/money/Makefile.in examples/money/money.cxx examples/money/runtest examples/money/expected examples/queen/Makefile.am examples/queen/Makefile.in examples/queen/queen.cxx examples/queen/runtest examples/queen/expected examples/solitare/Makefile.am examples/solitare/Makefile.in examples/solitare/solitare.cxx examples/solitare/readme debian/libbdd-dev.install0000664000000000000000000000013212314362727012557 0ustar usr/lib/libbdd.a usr/lib/libbdd.so usr/include/bdd.h usr/include/bvec.h usr/include/fdd.h