Port details |
- buddy Binary Decision Diagram library
- 2.4_2 science =2 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
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
2.4_2 01 Nov 2023 22:11:47 |
Rodrigo Osorio (rodrigo) |
*/*: Update WWW to use HTTPS for sourceforge.net projects
Homepage link is permanent redirected to its HTTPS counterpart |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.4_2 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
2.4_2 20 Jul 2022 14:22:51 |
Tobias C. Berner (tcberner) |
science: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Andreas Fehlner <fehlner@gmx.de>
* Brad Huntting <huntting@glarp.com>
* Chao Shin <quakelee@cn.FreeBSD.org>
* Cheng-Lung Sung <clsung@FreeBSD.org>
* Chia-Hsing Yu <me@davidyu.org>
* Chris Rees <utisoft@gmail.com>
* David Naylor <dbn@FreeBSD.org>
* Dmitry Sivachenko <demon@FreeBSD.org>
* Ed Schouten <ed@FreeBSD.org>
* Eric Freeman <freebsdports@chillibear.com>
* Erik B Knudsen (Only the first 15 lines of the commit message are shown above ) |
2.4_2 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.4_2 02 Mar 2015 23:42:00 |
bapt |
Remove Author from pkg-descr and white space fixes |
2.4_2 12 Nov 2014 18:48:53 |
antoine |
Cleanup plist |
2.4_2 16 Jul 2014 03:18:26 |
adamw |
Add DOCS option where PORTDOCS is in plist. |
2.4_2 26 May 2014 19:57:29 |
amdmi3 |
- Switch to USES=gmake,libtool, drop .la files
- Strip library
- Fix comment |
2.4_1 21 Feb 2014 01:58:35 |
miwi |
- Stage support
- Convert USE_GMAKE to USES |
2.4_1 18 Dec 2013 10:38:34 |
koobs |
Reset maintainer for llwang@infor.org
Reset maintainership for llwang@infor.org due to multiple timeouts and email
address permanent failure. Return all ports to the free pool except
py-numpy, which is taken under the wing of the python@ team.
We thank you for your contribution to the FreeBSD project
Approved by: portmgr |
2.4_1 20 Sep 2013 22:48:31 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
science) |
2.4_1 24 Oct 2011 04:17:38 |
dougb |
Remove more tags from pkg-descr files fo the form:
- Name
em@i.l
or variations thereof. While I'm here also fix some whitespace and other
formatting errors, including moving WWW: to the last line in the file. |
2.4_1 03 Jul 2011 13:22:25 |
ohauer |
- remove MD5 |
2.4_1 04 Dec 2010 07:34:27 |
ade |
Sync to new bsd.autotools.mk |
2.4_1 22 Aug 2009 00:35:32 |
amdmi3 |
- Switch SourceForge ports to the new File Release System: categories starting
with P,R,S |
2.4_1 02 Aug 2009 19:36:34 |
mezz |
-Repocopy devel/libtool15 -> libtool22 and libltdl15 -> libltdl22.
-Update libtool and libltdl to 2.2.6a.
-Remove devel/libtool15 and devel/libltdl15.
-Fix ports build with libtool22/libltdl22.
-Bump ports that depend on libltdl22 due to shared library version change.
-Explain what to do update in the UPDATING.
It has been tested with GNOME2, XFCE4, KDE3, KDE4 and other many wm/desktop
and applications in the runtime.
With help: marcus and kwm
Pointyhat-exp: a few times by pav
Tested by: pgollucci, "Romain Tartière" <romain@blogreen.org>, and
a few MarcusCom CVS users. Also, I might have missed a few.
Repocopy by: marcus
Approved by: portmgr |
2.4_1 21 Aug 2008 06:18:49 |
rafan |
Update CONFIGURE_ARGS for how we pass CONFIGURE_TARGET to configure script.
Specifically, newer autoconf (> 2.13) has different semantic of the
configure target. In short, one should use --build=CONFIGURE_TARGET
instead of CONFIGURE_TARGET directly. Otherwise, you will get a warning
and the old semantic may be removed in later autoconf releases.
To workaround this issue, many ports hack the CONFIGURE_TARGET variable
so that it contains the ``--build='' prefix.
To solve this issue, under the fact that some ports still have
configure script generated by the old autoconf, we use runtime detection
in the do-configure target so that the proper argument can be used.
Changes to Mk/*:
- Add runtime detection magic in bsd.port.mk (Only the first 15 lines of the commit message are shown above ) |
2.4_1 19 Apr 2008 17:56:05 |
miwi |
- Remove unneeded dependency from gtk12/gtk20 [1]
- Remove USE_XLIB/USE_X_PREFIX/USE_XPM in favor of USE_XORG
- Remove X11BASE support in favor of LOCALBASE or PREFIX
- Use USE_LDCONFIG instead of INSTALLS_SHLIB
- Remove unneeded USE_GCC 3.4+
Thanks to all Helpers:
Dmitry Marakasov, Chess Griffin, beech@, dinoex, rafan, gahr,
ehaupt, nox, itetcu, flz, pav
PR: 116263
Tested on: pointyhat
Approved by: portmgr (pav) |
2.4_1 27 Jan 2007 08:47:26 |
kris |
Use libtool port instead of included one to avoid objformat a.out botch |
2.4_1 23 Feb 2006 10:40:45 |
ade |
Conversion to a single libtool environment.
Approved by: portmgr (kris) |
2.4 15 Feb 2006 09:49:25 |
ehaupt |
Correct the author information in pkg-descr for science/buddy as requested by
the author.
PR: 93372
Submitted by: Li-Lun Wang (Leland Wang) <llwang@infor.org> (maintainer) |
2.4 24 Jan 2006 01:01:36 |
edwin |
SHA256ify
Approved by: krion@ |
2.4 15 Nov 2005 06:52:12 |
ade |
Mass-conversion to the USE_AUTOTOOLS New World Order. The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.
Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.
Preliminary documentation can be found at:
http://people.FreeBSD.org/~ade/autotools.txt
which is in the process of being SGMLized before introduction into the
Porters Handbook.
Light blue touch-paper. Run. |
2.4 12 Apr 2005 03:26:57 |
obrien |
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE. |
2.4 11 Apr 2005 08:04:41 |
obrien |
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'. |
2.4 22 Jan 2005 15:01:02 |
thierry |
Add buddy 2.4, a Binary Decision Diagram library.
PR: 71221
Submitted by: Leland Wang |