[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