Ticket #54231: mercury_r1.patch

File mercury_r1.patch, 742 bytes (added by jxy (Xiao-Yong), 7 years ago)

patch to fix install location of info and man

  • Portfile

    old new  
    44
    55name                mercury
    66version             14.01.1
    7 revision            0
     7revision            1
    88categories          lang
    99maintainers         nomaintainer
    1010platforms           darwin
    … …  
    4040depends_lib \
    4141    port:readline
    4242
     43destroot.args       INSTALL_INFO_DIR=${destroot}${prefix}/share/info \
     44                    INSTALL_MAN_DIR=${destroot}${prefix}/share/man
     45
    4346livecheck.url       http://dl.mercurylang.org/index.html
    4447livecheck.type      regex
    4548livecheck.regex     ${name}-srcdist-(\[0-9.\]+)${extract.suffix}