Ticket #63158: z3-legacy-fix.diff

File z3-legacy-fix.diff, 217 bytes (added by Wowfunhappy (Jonathan), 3 years ago)
Line 
17a8
2> PortGroup           legacysupport 1.1
359a61,65
4> if {${os.major} <= 16 } {
5>     configure.cxxflags-append -nostdinc++ -I${prefix}/include/libcxx/v1
6>     configure.ldflags-append  -L${prefix}/lib/libcxx
7> }
8>