Port details |
- bddsolve BDD-based satisfiability and reachability solver
- 1.04_17 science =2 1.04_15Version of this port present on the latest quarterly branch.
- Maintainer: ed@FreeBSD.org
- Port Added: 2010-05-12 13:26:00
- Last Update: 2024-11-20 10:05:25
- Commit Hash: 312ee18
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: not specified in port
- WWW:
- https://www.win.tue.nl/~wieger/bddsolve/
- Description:
- Bddsolve is a BDD-based tool for solving satisfiability and reachability
problems. It uses the BDD package Buddy as a backend.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- bddsolve>0:science/bddsolve
- To install the port:
- cd /usr/ports/science/bddsolve/ && make install clean
- To add the package, run one of these commands:
- pkg install science/bddsolve
- pkg install bddsolve
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: bddsolve
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1516181302
SHA256 (bddsolve-source-1.04.zip) = 83fc84063a7fc9b2c8afaa12fab1a81d7b950be438381af14a34dc037d315615
SIZE (bddsolve-source-1.04.zip) = 18446
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Library dependencies:
-
- libbdd.so : science/buddy
- libboost_program_options.so : devel/boost-libs
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for bddsolve-1.04_17:
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
- Options name:
- science_bddsolve
- USES:
- compiler:c++11-lang zip
- 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 |
1.04_17 20 Nov 2024 10:05:25 |
Dima Panov (fluffy) |
devel/boost: bump consu,ers after update Boost to 1.86 release
Sponsored by: Future Crew, LLC |
1.04_16 03 Oct 2024 10:25:14 |
Dima Panov (fluffy) |
*/*: bump consumers after devel/boost* update
With hat: office
Sponsored by: Future Crew, LLC |
1.04_15 13 Feb 2024 14:44:22 |
Dima Panov (fluffy) |
devel/boost: bump consumers after library update |
1.04_14 01 Oct 2023 09:39:18 |
Piotr Kubaj (pkubaj) |
science/bddsolve: fix build with boost 1.83.0
/usr/local/include/boost/timer.hpp:21:3: error: This header is deprecated and
will be removed. (You can define BOOST_TIMER_ENABLE_DEPRECATED to suppress this
error.) |
1.04_14 27 Sep 2023 14:36:30 |
Dima Panov (fluffy) |
devel/boost*: bump all consumers after 1.83.0 |
1.04_13 27 Apr 2023 18:25:55 |
Dima Panov (fluffy) |
*/*: bump all direct Boost cunsumers |
1.04_12 16 Jan 2023 19:32:07 |
Dima Panov (fluffy) |
*/*: bump libboost*.so libraries consumert after Boost upgrade |
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) |
1.04_11 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 ) |
1.04_11 12 Aug 2022 14:46:53 |
Dima Panov (fluffy) |
*/*: bump all consumers after recent boost upgrade |
1.04_10 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 ) |
1.04_10 22 May 2022 20:17:16 |
Dima Panov (fluffy) |
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106 |
1.04_9 27 Apr 2022 13:22:47 |
Piotr Kubaj (pkubaj) |
science/bddsolve: enable on powerpc |
1.04_9 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
1.04_9 11 Dec 2019 17:53:49 |
jbeich |
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136 |
1.04_8 19 Aug 2019 15:35:28 |
jbeich |
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html
PR: 238827
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D20774 |
1.04_7 26 Jul 2019 20:46:57 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330 |
1.04_6 12 Apr 2019 06:36:31 |
jbeich |
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html
PR: 235956
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D19303 |
1.04_5 12 Dec 2018 01:35:36 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.
PR: 231590 |
1.04_4 12 Dec 2018 00:15:50 |
jbeich |
devel/boost-*: update to 1.69.0
Changes: http://www.boost.org/users/history/version_1_69_0.html
PR: 232525
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17645 |
1.04_3 22 Sep 2018 05:30:32 |
linimon |
Fix build on gcc-based archs by updating USES.
Tested on powerpc64 and amd64 (for no regression).
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
1.04_3 09 Aug 2018 06:58:31 |
jbeich |
devel/boost-*: update to 1.68.0
- Switch to C++14 for libboost_system to support C++14 consumers
Changes: http://www.boost.org/users/history/version_1_68_0.html
PR: 229569
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D16165 |
1.04_2 18 Apr 2018 13:57:43 |
jbeich |
devel/boost-*: update to 1.67.0
Changes: http://www.boost.org/users/history/version_1_67_0.html
PR: 227427
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D15030 |
1.04_1 09 Mar 2018 22:46:22 |
linimon |
Add more information to stub error messages.
Remove BROKEN lines where IGNORE has already been set.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
1.04_1 18 Jan 2018 04:11:03 |
jbeich |
devel/boost-*: update to 1.66.0
Changes: http://www.boost.org/users/history/version_1_66_0.html
PR: 223922
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D13279 |
1.04 17 Jan 2018 14:28:32 |
ed |
Upgrade bddsolve to version 1.04.
This release includes a fix that should make it build with C++14.
PR: 216080
Reviewed by: jbeich
Differential Revision: https://reviews.freebsd.org/D13951 |
1.03_6 25 Sep 2017 00:08:17 |
jbeich |
devel/boost-*: update to 1.65.1
Changes: http://www.boost.org/users/history/version_1_65_1.html
PR: 218835
Approved by: maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by: jhibbits (on powerpc64, earlier version)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582 |
1.03_5 25 Sep 2017 00:05:06 |
jbeich |
devel/boost-*: enable C++11 features
PR: 218835
Obtained from: https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by: maintainer timeout (2 months)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582 |
1.03_4 02 May 2017 06:48:11 |
jbeich |
devel/boost-*: update to 1.64.0
Changes: http://www.boost.org/users/history/version_1_64_0.html
PR: 218835
Approved by: office (bapt)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D10472 |
1.03_3 06 Jan 2017 08:45:04 |
jbeich |
devel/boost-*: update to 1.63.0
Changes: http://www.boost.org/users/history/version_1_63_0.html
PR: 215598
Exp-run by: antoine
Approved by: office (bapt)
MFH: 2017Q1 |
1.03_2 23 Nov 2016 12:45:47 |
jbeich |
devel/boost-*: update to 1.62.0
- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC
Changes: http://www.boost.org/users/history/
PR: 199601
Submitted by: Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by: rakuco (kde) (earlier version)
Exp-run by: antoine (3 tries), truckman (consumers only, earlier versions)
Approved by: bapt (office) |
1.03_1 21 Apr 2016 16:43:15 |
swills |
many ports: mark broken on powerpc64 |
1.03_1 01 Apr 2016 14:25:18 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.
With hat: portmgr
Sponsored by: Absolight |
1.03_1 25 Feb 2015 12:01:53 |
marino |
science/bddsolve: Set environment, use CXXFLAGS, cleanup
This port had two main problems:
1) failure to set the enviroment in the build target
2) failure to use CXXFLAGS with CXX
While fixing those, clean up a bit:
3) remove <pre>,<post> by using BROKEN_powerpc instead
4) use CFLAGS+= to augment CFLAGS
5) use LDFLAGS+= to augment LDFLAGS
6) simplify do-build target accordingly
Approved by: just fix it |
1.03_1 12 Nov 2014 18:48:53 |
antoine |
Cleanup plist |
1.03_1 20 Mar 2014 09:34:20 |
ehaupt |
- Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE |
1.03_1 10 Mar 2014 17:01:37 |
bapt |
Convert s* to USES=zip |
1.03_1 07 Feb 2014 11:44:09 |
bapt |
Chase boost and icu bump
While here convert some LIB_DEPENDS |
1.03 12 Dec 2013 14:15:04 |
bapt |
Convert LIB_DEPENDS for ports depending on boost |
1.03 20 Sep 2013 22:48:31 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
science) |
1.03 14 Sep 2013 19:13:46 |
ed (src committer) |
Remove USE_GCC.
All versions of FreeBSD we support are shipped with at least GCC 4.2.1
or Clang. The code seems to build fine with Clang. In fact, on platforms
where we no longer ship libstdc++, this port seems to only build using
Clang. |
1.03 14 Sep 2013 19:08:52 |
ed (src committer) |
Bump bddsolve to version 1.0.3.
Though this does not yet fix the build on FreeBSD HEAD, this version
does fix some tiny issues that prevent it from being built with clang. |
1.02 28 Dec 2011 06:53:08 |
linimon |
Mark as broken on powerpc.
Hat: portmgr |
1.02 03 Jul 2011 13:22:25 |
ohauer |
- remove MD5 |
1.02 12 May 2010 13:25:37 |
beat |
Bddsolve is a BDD-based tool for solving satisfiability and reachability
problems. It uses the BDD package Buddy as a backend.
WWW: http://www.win.tue.nl/~wieger/bddsolve/
Submitted by: ed@ |