Oink is an modern implementation of parity game solvers written in C++. Oink
aims to provide high-performance implementations of state-of-the-art algorithms
representing different approaches to solving parity games.
math/oink: fix build with boost 1.89
Have cmake not check for libboost_system, which will no longer exist
in boost 1.89 (it'll go header-only for this part).
Approved by: portmgr (build fix blanket)
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 )
math/oink: Take back BROKEN_i386, instead attempt to fix on i386
... by correcting the port patch. It had ifdef(__amd64__) for the
mfence() function, but __i386__ was missing. This is likely why
it is breaking on i386.