notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
Port details
buddy Binary Decision Diagram library
2.4_2 science on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 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 search for ports maintained by this maintainer
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (16 items)
Collapse this list.
  1. @ldconfig
  2. include/bdd.h
  3. include/bvec.h
  4. include/fdd.h
  5. lib/libbdd.a
  6. lib/libbdd.so
  7. lib/libbdd.so.0
  8. lib/libbdd.so.0.0.0
  9. share/doc/buddy/bddnotes.ps
  10. share/doc/buddy/buddy.ps
  11. share/doc/buddy/tech.txt
  12. share/doc/buddy/README
  13. share/doc/buddy/AUTHORS
  14. @owner
  15. @group
  16. @mode
Collapse this list.
Dependency lines:
  • buddy>0:science/buddy
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):
buddy
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest2.4_22.4_22.4_22.4_22.4_2-2.4_2-
FreeBSD:13:quarterly2.4_22.4_22.4_22.4_22.4_22.4_22.4_22.4_2
FreeBSD:14:latest2.4_22.4_22.4_22.4_22.4_22.4_2-2.4_2
FreeBSD:14:quarterly2.4_22.4_2-2.4_22.4_22.4_22.4_22.4_2
FreeBSD:15:latest2.4_22.4_2n/a2.4_2n/a2.4_22.4_22.4_2
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake>=4.3 : devel/gmake
This port is required by:
for Libraries
  1. lang/maude
  2. 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:
Expand this list (56 items)
Collapse this list.
  1. http://cfhcable.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  2. http://cytranet.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  3. http://deac-ams.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  4. http://deac-fra.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  5. http://deac-riga.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  6. http://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  7. http://excellmedia.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  8. http://freefr.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  9. http://gigenet.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  10. http://ixpeering.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  11. http://jaist.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  12. http://jztkft.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  13. http://kumisystems.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  14. http://liquidtelecom.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  15. http://nchc.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  16. http://netactuate.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  17. http://netcologne.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  18. http://netix.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  19. http://onboardcloud.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  20. http://phoenixnap.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  21. http://razaoinfo.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  22. http://sinalbr.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  23. http://sitsa.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  24. http://sonik.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  25. http://tenet.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  26. http://udomain.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  27. http://ufpr.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  28. http://versaweb.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  29. https://cfhcable.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  30. https://cytranet.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  31. https://deac-ams.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  32. https://deac-fra.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  33. https://deac-riga.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  34. https://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  35. https://excellmedia.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  36. https://freefr.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  37. https://gigenet.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  38. https://ixpeering.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  39. https://jaist.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  40. https://jztkft.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  41. https://kumisystems.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  42. https://liquidtelecom.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  43. https://nchc.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  44. https://netactuate.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  45. https://netcologne.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  46. https://netix.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  47. https://onboardcloud.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  48. https://phoenixnap.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  49. https://razaoinfo.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  50. https://sinalbr.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  51. https://sitsa.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  52. https://sonik.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  53. https://tenet.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  54. https://udomain.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  55. https://ufpr.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
  56. https://versaweb.dl.sourceforge.net/project/buddy/buddy/BuDDy%202.4/
Collapse this list.

Number of commits found: 27

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.4_2
01 Nov 2023 22:11:47
commit hash: 05f0f44a557a53913001d6debf17965dfb799288commit hash: 05f0f44a557a53913001d6debf17965dfb799288commit hash: 05f0f44a557a53913001d6debf17965dfb799288commit hash: 05f0f44a557a53913001d6debf17965dfb799288 files touched by this commit
Rodrigo Osorio (rodrigo) search for other commits by this committer
*/*: Update WWW to use HTTPS for sourceforge.net projects

Homepage link is permanent redirected to its HTTPS counterpart
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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 View all of this commit message)
2.4_2
20 Jul 2022 14:22:51
commit hash: 46196047a4df0f85aaee442799209fdaacf03361commit hash: 46196047a4df0f85aaee442799209fdaacf03361commit hash: 46196047a4df0f85aaee442799209fdaacf03361commit hash: 46196047a4df0f85aaee442799209fdaacf03361 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
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 View all of this commit message)
2.4_2
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2.4_2
02 Mar 2015 23:42:00
Revision:380309Original commit files touched by this commit
bapt search for other commits by this committer
Remove Author from pkg-descr and white space fixes
2.4_2
12 Nov 2014 18:48:53
Revision:372500Original commit files touched by this commit
antoine search for other commits by this committer
Cleanup plist
2.4_2
16 Jul 2014 03:18:26
Revision:362024Original commit files touched by this commit
adamw search for other commits by this committer
Add DOCS option where PORTDOCS is in plist.
2.4_2
26 May 2014 19:57:29
Revision:355441Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Switch to USES=gmake,libtool, drop .la files
- Strip library
- Fix comment
2.4_1
21 Feb 2014 01:58:35
Revision:345301Original commit files touched by this commit
miwi search for other commits by this committer
- Stage support
- Convert USE_GMAKE to USES
2.4_1
18 Dec 2013 10:38:34
Revision:336813Original commit files touched by this commit
koobs search for other commits by this committer
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
Revision:327767Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
science)
2.4_1
24 Oct 2011 04:17:38
Original commit files touched by this commit
dougb search for other commits by this committer
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
Original commit files touched by this commit
ohauer search for other commits by this committer
 - remove MD5
2.4_1
04 Dec 2010 07:34:27
Original commit files touched by this commit
ade search for other commits by this committer
Sync to new bsd.autotools.mk
2.4_1
22 Aug 2009 00:35:32
Original commit files touched by this commit Sanity Test Failure
amdmi3 search for other commits by this committer
- Switch SourceForge ports to the new File Release System: categories starting
with P,R,S
2.4_1
02 Aug 2009 19:36:34
Original commit files touched by this commit
mezz search for other commits by this committer
-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
Original commit files touched by this commit
rafan search for other commits by this committer
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 View all of this commit message)
2.4_1
19 Apr 2008 17:56:05
Original commit files touched by this commit Sanity Test Failure
miwi search for other commits by this committer
- 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
Original commit files touched by this commit
kris search for other commits by this committer
Use libtool port instead of included one to avoid objformat a.out botch
2.4_1
23 Feb 2006 10:40:45
Original commit files touched by this commit
ade search for other commits by this committer
Conversion to a single libtool environment.

Approved by:    portmgr (kris)
2.4
15 Feb 2006 09:49:25
Original commit files touched by this commit
ehaupt search for other commits by this committer
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
Original commit files touched by this commit
edwin search for other commits by this committer
SHA256ify

Approved by: krion@
2.4
15 Nov 2005 06:52:12
Original commit files touched by this commit
ade search for other commits by this committer
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
Original commit files touched by this commit
obrien search for other commits by this committer
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.
2.4
11 Apr 2005 08:04:41
Original commit files touched by this commit
obrien search for other commits by this committer
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
Original commit files touched by this commit
thierry search for other commits by this committer
Add buddy 2.4, a Binary Decision Diagram library.

PR:             71221
Submitted by:   Leland Wang

Number of commits found: 27