Ticket #47232: smlnj-bfulgham.diff

File smlnj-bfulgham.diff, 784 bytes (added by grimreaper (Eitan Adler), 9 years ago)

  • dports/lang/smlnj/Portfile

    PortSystem 1.0 
    55
    66name                smlnj
    77version             110.77
     8revision            1
    89categories          lang ml
    910license             BSD
    1011maintainers         bfulgham
    … … destroot { 
    104105    file copy ${worksrcpath}/bin ${destroot}${smlnj_home}
    105106    file copy ${worksrcpath}/lib ${destroot}${smlnj_home}
    106107
    107     xinstall -m 555 ${filespath}/sml.sh ${destroot}${prefix}/bin/sml
     108    xinstall -m 755 ${filespath}/sml.sh ${destroot}${prefix}/bin/sml
    108109    reinplace "s|__SMLNJ_HOME__|${smlnj_home}|g" \
    109110        ${destroot}${prefix}/bin/sml
    110111