Skip to content
Permalink
Browse files

openmpi-devel: update to 20190508 snapshot

  • Loading branch information...
cjones051073 committed May 14, 2019
1 parent 0b0d216 commit e972f0c9f7fcab0b0938c559118f6c18b1cac37f
Showing with 8 additions and 6 deletions.
  1. +8 −6 science/openmpi/Portfile
@@ -36,20 +36,22 @@ livecheck.url http://www.open-mpi.org/
livecheck.regex Open MPI v(\[0-9\.\]+) released

if {[string first "-devel" $subport] > 0} {

set base 201905080241
set tag 5d4c9b4

name openmpi-devel
version 4.0.99
version 4.0.999-${base}
revision 0

set base 201902010241
set tag 4dfb938
distname openmpi-v${branch}.x-${base}-${tag}

master_sites http://www.open-mpi.org/nightly/v${branch}.x \
http://www.open-mpi.de/nightly/v${branch}.x

checksums rmd160 484afcc1668ef16f8b135c50743b7d9eb60ed5c4 \
sha256 0545dbc889a4c909c65d50c06e14e169e32a6f2d513cf63a9eec3f97161dba41 \
size 9921641
checksums rmd160 65d03a8e8cb897ffb288eca36f4e2419cc119c81 \
sha256 d90dce8cadf9344b989e8b44ceadd3e8f878effc99c8a800f4ab250a071233b1 \
size 9890558

livecheck.version ${base}
livecheck.url [lindex ${master_sites} 0]

0 comments on commit e972f0c

Please sign in to comment.
You can’t perform that action at this time.