[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