===> The following configuration options are available for bddsolve-1.04_22:
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
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.)
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)
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 )
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
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
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)
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)
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
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
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.
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.
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@
