Ticket #49016: Portfile-openmpi.diff

File Portfile-openmpi.diff, 1.0 KB (added by gfiumara (Greg Fiumara), 9 years ago)

openmpi port patch

  • Portfile

    old new  
    4646    # openmpi switched to git and reset their revision number;
    4747    # remove this when for next release
    4848    set base            32546
    49     set tag             g13def2a
    50     set newrev          2571
     49    set tag             g0445484
     50    set newrev          2673
    5151    revision            [expr {$base + $newrev + 2}]
    5252    distname            openmpi-dev-${newrev}-${tag}
    5353
    5454    master_sites        http://www.open-mpi.org/nightly/master \
    5555                        http://www.open-mpi.de/nightly/master
    5656
    57     checksums           rmd160  49c80b2e76f1719d13f9f196b52c0d782279f45d \
    58                         sha256  c00c433225bc1eb4eb85399a5f44bb07f98b2a7114116488e19442b5359505aa
     57    checksums           rmd160  0eb194c2d259d999c17eca6c2c2204c70d954398 \
     58                        sha256  b4cde7190f8a2f5b1e669f3e7dfa16a0fb27dec898cc90a983a05ff4a83af5cf
    5959
    6060    livecheck.version   ${newrev}-${tag}
    6161    livecheck.url       [lindex ${master_sites} 0]