Ticket #11576: Portfile.diff

File Portfile.diff, 1023 bytes (added by eborisch (Eric A. Borisch), 12 years ago)

Patch for openmpi Portfile that resolves mpich2 file collisions.

  • Portfile

    old new  
    5151        foreach bin {mpirun mpiexec} {
    5252                system -W ${destroot}${prefix}/bin \
    5353                        "ln -sf ${prefix}/lib/${name}/bin/orterun open${bin}"
     54                move ${destroot}${prefix}/share/man/man1/${bin}.1 \
     55                        ${destroot}${prefix}/share/man/man1/open${bin}.1
    5456        }
    5557        foreach bin ${wrappers} {
    5658                system -W ${destroot}${prefix}/bin \
    … …  
    5860                system -W ${destroot}${prefix}/share/${name} \
    5961                        "ln -sf ${prefix}/share/${name}/${bin}-wrapper-data.txt \
    6062                        open${bin}-wrapper-data.txt"
     63                move ${destroot}${prefix}/share/man/man1/${bin}.1 \
     64                        ${destroot}${prefix}/share/man/man1/open${bin}.1
    6165        }
     66        if {![variant_isset man3]} {
     67                delete ${destroot}${prefix}/share/man/man3
     68        }
     69}
     70
     71default_variants    +man3
     72
     73variant man3 description {\
     74        Install man3 (MPI functions) man pages; conflicts with mpich2} {
     75                conflicts         mpich2
    6276}
    6377
    6478variant threads description {enable threads for MPI applications} {