Ticket #12909: Portfile.diff
File Portfile.diff, 1.1 KB (added by jmpalacios (Juan Manuel Palacios), 17 years ago) |
---|
-
Portfile
34 34 build.target 35 35 destroot.args PREFIX=${destroot}${prefix}/mozart 36 36 post-destroot { 37 cd ${destroot}${prefix}38 37 39 delete mozart/doc40 delete mozart/cache/x-oz/doc38 delete ${destroot}${prefix}/mozart/doc 39 delete ${destroot}${prefix}/mozart/cache/x-oz/doc 41 40 42 xinstall -m 0644 ${filespath}/README. DarwinPortsmozart41 xinstall -m 0644 ${filespath}/README.MacPorts ${destroot}${prefix}/mozart 43 42 44 xinstall -d man/man1 43 xinstall -d ${destroot}${prefix}/man/man1 44 #this ln would surely need its paths tweaked! 45 45 foreach x [glob ${worksrcpath}/doc/man/*.1] { system "ln $x man/man1" } 46 46 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! 49 50 foreach x [glob -type {x} mozart/bin/*] { system "ln $x bin" } 50 51 } 51 52