Ticket #12360: Portfile.diff

File Portfile.diff, 560 bytes (added by takanori@…, 17 years ago)

Here is a workaround to avoid this issue.

  • Portfile

     
    2020worksrcdir      ${name}${version}/unix
    2121configure.args  --mandir=${prefix}/share/man
    2222
     23post-patch {
     24  # To avoid using odcctools' broken headers.
     25  fs-traverse f ${worksrcpath} {
     26    if [string match "*.c" ${f}] {
     27      reinplace "s|<\\(mach-o/\[^>\]*\\)>|\"/usr/include/\\1\"|" ${f}
     28    }
     29  }
     30}
     31
    2332destroot.destdir  INSTALL_ROOT=${destroot}
    2433post-destroot {
    2534  cd ${destroot}${prefix}/bin