Ticket #29050: Portfile.diff

File Portfile.diff, 461 bytes (added by daitakahashi, 13 years ago)

This is quick hack, but it seems to work.

  • Portfile

    old new  
    1818configure.args   --infodir=${prefix}/share/info \
    1919                 --mandir=${prefix}/share/man \
    2020                 --without-x
     21configure {
     22    portconfigure::configure_main
     23
     24    configure.dir "${worksrcpath}/src/libs/gnulib"
     25    portconfigure::configure_main
     26}
    2127
    2228post-destroot {
    2329    delete ${destroot}${prefix}/lib/charset.alias