Ticket #34983: Portfile.diff
File Portfile.diff, 861 bytes (added by numaryu, 12 years ago) |
---|
-
Portfile
old new 84 84 ${destroot}${prefix}/bin/mpicc \ 85 85 ${destroot}${prefix}/etc/mpicxx.conf \ 86 86 ${destroot}${prefix}/etc/mpicc.conf 87 if {[ variant_isset gcc42 ] || 88 [ variant_isset gcc43 ] || 89 [ variant_isset gcc44 ] || 90 [ variant_isset gcc45 ]} { 91 reinplace -E "s|${destroot}||g" ${destroot}${prefix}/bin/mpif77 \ 92 ${destroot}${prefix}/bin/mpif90 \ 93 ${destroot}${prefix}/etc/mpif77.conf \ 94 ${destroot}${prefix}/etc/mpif90.conf 95 } 87 96 88 97 file delete ${destroot}${prefix}/sbin/mpeuninstall 89 98 }