Port details |
- oink Modern parity game solvers written in C++
- g20210710_6 math =2 g20210710_6Version of this port present on the latest quarterly branch.
- BROKEN: fails to build with boost-1.85+
IGNORE: is marked as broken: fails to build with boost-1.85+
- Maintainer: yuri@FreeBSD.org
- Port Added: 2021-07-05 19:36:14
- Last Update: 2024-10-03 10:25:08
- Commit Hash: 540078e
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: APACHE20
- WWW:
- https://github.com/trolando/oink
- Description:
- 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.
- ¦ ¦ ¦ ¦
- 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/math/oink/ && make install clean
- We doubt a package is available for this port because we see it marked as as:
-
Packages are normally not provided for ports that are marked as above.
- To add the package, run one of these commands:
- pkg install math/oink
- pkg install oink
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: oink
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1647124747
SHA256 (trolando-oink-g20210710-3327c54_GH0.tar.gz) = 5c4f1658531fcfca394cb46412143ccebc70153953d398942609b18f999a136a
SIZE (trolando-oink-g20210710-3327c54_GH0.tar.gz) = 178207
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:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- Library dependencies:
-
- libboost_iostreams.so : devel/boost-libs
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_oink
- USES:
- cmake:testing
- 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 |
g20210710_6 03 Oct 2024 10:25:08 |
Dima Panov (fluffy) |
math/oink: mark as BROKEN, fails to build with boost-1.85+
With hat: office
Sponsored by: Future Crew, LLC |
g20210710_6 13 Feb 2024 14:44:22 |
Dima Panov (fluffy) |
devel/boost: bump consumers after library update |
g20210710_5 27 Sep 2023 14:36:30 |
Dima Panov (fluffy) |
devel/boost*: bump all consumers after 1.83.0 |
g20210710_4 19 Jul 2023 19:27:16 |
Muhammad Moinur Rahman (bofh) |
math/oink: Fix build with llvm16
- Pet protclippy
Approved by: portmgr (blanket)
Sponsored by: The FreeBSD Foundation |
g20210710_4 27 Apr 2023 18:25:55 |
Dima Panov (fluffy) |
*/*: bump all direct Boost cunsumers |
g20210710_3 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) |
g20210710_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 ) |
g20210710_2 12 Aug 2022 14:46:53 |
Dima Panov (fluffy) |
*/*: bump all consumers after recent boost upgrade |
g20210710_1 22 May 2022 20:17:16 |
Dima Panov (fluffy) |
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106 |
g20210710 13 Mar 2022 02:27:25 |
Yuri Victorovich (yuri) Author: Robert Clausecker |
math/oink: Update g20210704 -> g20210710 and make atomics portable
PR: 262513 |
g20210704_1 04 Jan 2022 18:11:31 |
Piotr Kubaj (pkubaj) |
math/oink: don't set -march=native |
g20210704 04 Sep 2021 04:09:28 |
Yuri Victorovich (yuri) |
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. |
g20210704 04 Sep 2021 03:58:21 |
Yuri Victorovich (yuri) |
math/oink: Broken on i386
Reported by: portscout |
g20210704 13 Jul 2021 09:26:23 |
Piotr Kubaj (pkubaj) |
math/oink: fix build on powerpc*
/wrkdirs/usr/ports/math/oink/work/oink-c1259fe/src/lace.c:973:9: error: invalid
instruction
mfence();
^
/wrkdirs/usr/ports/math/oink/work/oink-c1259fe/src/lace.h:296:33: note: expanded
from macro 'mfence'
^
<inline asm>:1:2: note: instantiated into assembly here
mfence |
g20210704 05 Jul 2021 19:35:37 |
Yuri Victorovich (yuri) |
math/oink: New port: Modern parity game solvers written in C++ |