Opened 16 months ago

Closed 16 months ago

#66609 closed defect (fixed)

boolector needs legacysupport PG for MAP_ANONYMOUS

Reported by: barracuda156 Owned by: barracuda156
Priority: Normal Milestone:
Component: ports Version: 2.8.0
Keywords: Cc:
Port: boolector

Description 

:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_boolector/boolector/work/boolector-3.2.2/src/btormbt.c:4091:26: error: 'MAP_ANONYMOUS' undeclared (first use in this function); did you mean 'MAP_ANON'?
:info:build  4091 |                          MAP_ANONYMOUS | MAP_SHARED,
:info:build       |                          ^~~~~~~~~~~~~
:info:build       |                          MAP_ANON
:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_boolector/boolector/work/boolector-3.2.2/src/btormbt.c:4091:26: note: each undeclared identifier is reported only once for each function it appears in
:info:build make[2]: *** [src/CMakeFiles/btormbt.dir/btormbt.c.o] Error 1

Change History (2)

comment:1 Changed 16 months ago by jmroot (Joshua Root)

If this is the only issue, a tiny patch would also work. 

#ifndef MAP_ANONYMOUS
#define MAP_ANONYMOUS MAP_ANON
#endif

comment:2 Changed 16 months ago by barracuda156

Resolution: → fixed
Status: assigned → closed

In 46715e46251e2a4117913eee363a03ec0db5cdd0/macports-ports (master):

boolector: fix build on <10.11
Fixes: #66609

Note: See TracTickets for help on using tickets.