Ticket #60986: Portfile-mame.diff

File Portfile-mame.diff, 1.3 KB (added by rhuelga (Roberto Huelga), 4 years ago)

Patch mame portfile

  • Portfile

    old new  
    8282    set executable  mame
    8383}
    8484
     85variant tools description {compile and install the mame tools like chdman and others} {
     86    build.args-append   TOOLS=1
     87}
     88
    8589destroot {
    8690    xinstall ${worksrcpath}/${executable} ${destroot}${prefix}/bin
     91    xinstall ${worksrcpath}/docs/man/mame.6 ${destroot}${prefix}/share/man/man6
     92
     93    if {[variant_isset tools]} {
     94        xinstall ${worksrcpath}/castool \
     95            ${worksrcpath}/chdman \
     96            ${worksrcpath}/floptool \
     97            ${worksrcpath}/imgtool \
     98            ${worksrcpath}/jedutil \
     99            ${worksrcpath}/ldresample \
     100            ${worksrcpath}/ldverify \
     101            ${worksrcpath}/romcmp ${destroot}${prefix}/bin
     102
     103        xinstall ${worksrcpath}/docs/man/castool.1 \
     104            ${worksrcpath}/docs/man/chdman.1 \
     105            ${worksrcpath}/docs/man/floptool.1 \
     106            ${worksrcpath}/docs/man/imgtool.1 \
     107            ${worksrcpath}/docs/man/jedutil.1 \
     108            ${worksrcpath}/docs/man/ldresample.1 \
     109            ${worksrcpath}/docs/man/ldverify.1 \
     110            ${worksrcpath}/docs/man/romcmp.1 ${destroot}${prefix}/share/man/man1
     111    }
    87112}
    88113
    89114# Universal variant is untested