BSD Ports

science/buddy 2.4_2 FreeBSD

Binary Decision Diagram library

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Categories
science
Package size
340.9 KiB, 1696.1 KiB installed

Description

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.

In the other systems

SystemPortVersion
FreeBSDscience/buddy2.4_2
NetBSDdevel/buddy2.4
DragonFlyscience/buddy2.4_2

Install

Binary package:

pkg install buddy

From the ports tree:

cd /usr/ports/science/buddy/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	buddy>0:science/buddy
LIB_DEPENDS=	libbdd.so:science/buddy

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest2.4_22.4_22.4_22.4_22.4_2
FreeBSD:14:quarterly2.4_22.4_2n/a2.4_22.4_2
FreeBSD:15:latest2.4_22.4_2n/a2.4_22.4_2
FreeBSD:15:quarterly2.4_22.4_2n/an/an/a
FreeBSD:16:latest2.4_22.4_2n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

Build dependencies 3

Configuration

Options name: science_buddy

OptionDefaultDescription
DOCSoffBuild and/or install documentation
USES
gmake libtool
Service scripts
none

Message after installing

===>   NOTICE:

The buddy port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing

Files

pkg-plist 12
  • include/bdd.h
  • include/bvec.h
  • include/fdd.h
  • lib/libbdd.a
  • lib/libbdd.so
  • lib/libbdd.so.0
  • lib/libbdd.so.0.0.0
  • share/doc/buddy/bddnotes.ps
  • share/doc/buddy/buddy.ps
  • share/doc/buddy/tech.txt
  • share/doc/buddy/README
  • share/doc/buddy/AUTHORS
distinfo 1
FileSizeSHA256
buddy-2.4.tar.gz766523d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
Master sites 1
  • SF/buddy/buddy/BuDDy%202.4

Commit history 0

No commits in the history this site was built from.