Ticket #34983: Portfile.diff

File Portfile.diff, 861 bytes (added by numaryu, 12 years ago)
  • Portfile

    old new  
    8484                                    ${destroot}${prefix}/bin/mpicc \
    8585                                    ${destroot}${prefix}/etc/mpicxx.conf \
    8686                                    ${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    }
    8796
    8897    file delete ${destroot}${prefix}/sbin/mpeuninstall
    8998}