[MacPorts] #66609: boolector needs legacysupport PG for MAP_ANONYMOUS
MacPorts
noreply at macports.org
Sat Jan 7 08:27:32 UTC 2023
#66609: boolector needs legacysupport PG for MAP_ANONYMOUS
---------------------------+--------------------------
Reporter: barracuda156 | Owner: barracuda156
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.8.0
Resolution: fixed | Keywords:
Port: boolector |
---------------------------+--------------------------
Changes (by barracuda156):
* status: assigned => closed
* resolution: => fixed
Comment:
In [changeset:"46715e46251e2a4117913eee363a03ec0db5cdd0/macports-ports"
46715e46251e2a4117913eee363a03ec0db5cdd0/macports-ports] (master):
{{{
#!ConfigurableCommitTicketReference repository="macports-ports"
revision="46715e46251e2a4117913eee363a03ec0db5cdd0"
boolector: fix build on <10.11
Fixes: https://trac.macports.org/ticket/66609
}}}
--
Ticket URL: <https://trac.macports.org/ticket/66609#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list