Ticket #7963: Portfile.diff

File Portfile.diff, 545 bytes (added by jyrki.wahlstedt@…, 19 years ago)

Portfile diff

  • Portfile

    old new  
    132132                file link -symbolic "${workpath}/mysql5/lib" "${prefix}/lib/mysql5"
    133133                file link -symbolic "${workpath}/mysql5/include" "${prefix}/include/mysql5"
    134134        }
     135
     136        post-destroot {
     137                reinplace "s;${workpath}/mysql5/lib;${prefix}/lib/mysql5;" ${destroot}${prefix}/bin/php-config4
     138        }
    135139}
    136140
    137141variant postgresql8 {