Ticket #12909: Portfile.diff

File Portfile.diff, 1.1 KB (added by jmpp@…, 17 years ago)
  • Portfile

     
    3434build.target
    3535destroot.args        PREFIX=${destroot}${prefix}/mozart
    3636post-destroot {
    37     cd ${destroot}${prefix}
    3837
    39     delete mozart/doc
    40     delete mozart/cache/x-oz/doc
     38    delete ${destroot}${prefix}/mozart/doc
     39    delete ${destroot}${prefix}/mozart/cache/x-oz/doc
    4140
    42     xinstall -m 0644 ${filespath}/README.DarwinPorts mozart
     41    xinstall -m 0644 ${filespath}/README.MacPorts ${destroot}${prefix}/mozart
    4342
    44     xinstall -d man/man1
     43    xinstall -d ${destroot}${prefix}/man/man1
     44#this ln would surely need its paths tweaked!
    4545    foreach x [glob ${worksrcpath}/doc/man/*.1] { system "ln $x man/man1" }
    4646
    47     reinplace "s|^# OZHOME=.*|OZHOME=${prefix}/mozart|" mozart/bin/oz
    48     xinstall -d bin
     47    reinplace "s|^# OZHOME=.*|OZHOME=${prefix}/mozart|" ${destroot}${prefix}/mozart/bin/oz
     48    xinstall -d ${destroot}${prefix}/bin
     49#just as this one!
    4950    foreach x [glob -type {x} mozart/bin/*] { system "ln $x bin" }
    5051}
    5152