Port details on branch 2022Q3 |
- buddy Binary Decision Diagram library
- 2.4_2 science =0 2.4_2Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2005-01-22 15:02:04
- Last Update: 2023-11-01 22:11:47
- Commit Hash: 05f0f44
- License: not specified in port
- WWW:
- https://buddy.sourceforge.net/
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/science/buddy/ && make install clean
- To add the package, run one of these commands:
- pkg install science/buddy
- pkg install buddy
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: buddy
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (buddy-2.4.tar.gz) = d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
SIZE (buddy-2.4.tar.gz) = 766523
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.3 : devel/gmake
- This port is required by:
- for Libraries
-
- lang/maude
- science/bddsolve
Configuration Options:
- ===> The following configuration options are available for buddy-2.4_2:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- science_buddy
- USES:
- gmake libtool
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|