Ticket #11094: tipa.diff

File tipa.diff, 1.2 KB (added by tatyana@…, 17 years ago)
  • Portfile

     
    2020                                                md5 8e3cc71833f947f8c3f2cdcf86a798c5 \
    2121                                                sha1 24a9a9b907affe93422812ee665d4dfbffc7daef \
    2222                                                rmd160 3789e1ea95f649a9788055294bb1a39a0313692d
    23 depends_lib                     lib:libkpathsea:teTeX
     23depends_lib                     bin:mktexlsr:teTeX
    2424patchfiles                      patch-tipa-1.3-Makefile
    2525
    2626configure {}
    2727build {}
    2828destroot {
    2929        system "cd ${worksrcpath}/tipa-${version}/ && make install DESTROOT=${destroot} PREFIX=${prefix}"
     30
     31        file mkdir ${destroot}${prefix}/share/texmf-local/fonts/map/dvips/tipa
     32        file rename ${destroot}${prefix}/share/texmf-local/dvips/config/tipa.map \
     33                ${destroot}${prefix}/share/texmf-local/fonts/map/dvips/tipa
    3034}
    31 
     35post-destroot {
     36        xinstall -m 755 -d ${destroot}${prefix}/share/texmf-local/doc/tipa
     37        xinstall -m 644 -W ${worksrcpath} 00README tipaface.pdf tipaman.pdf tipaman.ps \
     38                ${destroot}${prefix}/share/texmf-local/doc/tipa
     39}
    3240post-activate {
    3341        system "mktexlsr"
     42        ui_msg "\nBefore using tipa, please make sure to update font map files.\n"
     43        ui_msg "  \$ sudo updmap-sys --enable MixedMap tipa.map\n"
    3444}