Wow. a three year old patch. Thanks! On 14 November 2017 at 22:24, Toby Peterson <t...@macports.org> wrote: > tobypeterson pushed a commit to branch master > in repository macports-ports. > > https://github.com/macports/macports-ports/commit/01c37e8ae32a00f0b6edd197c4eb9a85f5e4f5bd > > The following commit(s) were added to refs/heads/master by this push: > new 01c37e8 smlnj: fix https://trac.macports.org/ticket/47232 > 01c37e8 is described below > > commit 01c37e8ae32a00f0b6edd197c4eb9a85f5e4f5bd > Author: Toby Peterson <t...@macports.org> > AuthorDate: Tue Nov 14 22:24:36 2017 -0800 > > smlnj: fix https://trac.macports.org/ticket/47232 > --- > lang/smlnj/Portfile | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/lang/smlnj/Portfile b/lang/smlnj/Portfile > index a2a2a64..6a5009f 100644 > --- a/lang/smlnj/Portfile > +++ b/lang/smlnj/Portfile > @@ -101,7 +101,7 @@ destroot { > file copy ${worksrcpath}/bin ${destroot}${smlnj_home} > file copy ${worksrcpath}/lib ${destroot}${smlnj_home} > > - xinstall -m 555 ${filespath}/sml.sh ${destroot}${prefix}/bin/sml > + xinstall -m 755 ${filespath}/sml.sh ${destroot}${prefix}/bin/sml > reinplace "s|__SMLNJ_HOME__|${smlnj_home}|g" \ > ${destroot}${prefix}/bin/sml > >
-- Eitan Adler