Ticket #51156: Portfile.diff

File Portfile.diff, 530 bytes (added by licht.m@…, 9 years ago)

  • Portfile.

    old new  
    117117
    118118                        ln -s ${prefix}/bin/arb_pt_server ${destroot}${prefix}/share/arb/bin/arb_pt_server
    119119                        ln -s ${prefix}/bin/arb_name_server ${destroot}${prefix}/share/arb/bin/arb_name_server
     120                        ln -s ${prefix}/bin/muscle ${destroot}${prefix}/share/arb/bin/muscle
    120121
    121122                        xinstall -m 777 -d ${destroot}${prefix}/share/arb/lib/pts
    122123}