[MacPorts] #66609: boolector needs legacysupport PG for MAP_ANONYMOUS
MacPorts
noreply at macports.org
Tue Jan 3 08:53:40 UTC 2023
#66609: boolector needs legacysupport PG for MAP_ANONYMOUS
---------------------------+--------------------------
Reporter: barracuda156 | Owner: barracuda156
Type: defect | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version: 2.8.0
Resolution: | Keywords:
Port: boolector |
---------------------------+--------------------------
Comment (by jmroot):
If this is the only issue, a tiny patch would also work.
{{{
#ifndef MAP_ANONYMOUS
#define MAP_ANONYMOUS MAP_ANON
#endif
}}}
--
Ticket URL: <https://trac.macports.org/ticket/66609#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list