Ticket #24795: Portfile-rhino.diff

File Portfile-rhino.diff, 765 bytes (added by franck.cassedanne@…, 14 years ago)

  • (a) Portfile_bak vs. (b) Portfile

    a b  
    4949    file copy ${worksrcpath}/js.jar ${javadir}/${name}/js.jar
    5050    file copy ${worksrcpath}/js-14.jar ${javadir}/${name}/js-14.jar
    5151
    52     system "cd ${javadir}/${name}/bin \
    53         && echo \"java -jar ${prefix}/share/java/${name}/js.jar\" > ${destroot}${prefix}/bin/rhino \
    54         && chmod +x ${destroot}${prefix}/bin/rhino"
     52    set rhino [open ${destroot}${prefix}/bin/rhino "w"]
     53    puts $rhino "java -jar ${prefix}/share/java/${name}/js.jar"
     54    close $rhino
     55    file attributes ${destroot}${prefix}/bin/rhino -permissions +x
    5556
    5657    file copy ${worksrcpath}/javadoc/ ${docdir}
    5758    file copy ${worksrcpath}/examples/ ${examplesdir}