mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-07 23:53:51 +02:00
openmpi: update to 1.8.3.
This commit is contained in:
parent
7b80646470
commit
d661395e86
1 changed files with 2 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
||||||
# Template file for 'openmpi'
|
# Template file for 'openmpi'
|
||||||
pkgname=openmpi
|
pkgname=openmpi
|
||||||
version=1.8.2
|
version=1.8.3
|
||||||
revision=1
|
revision=1
|
||||||
lib32disabled=yes
|
lib32disabled=yes
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
|
@ -17,7 +17,7 @@ maintainer="Juan RP <xtraeme@gmail.com>"
|
||||||
update_site="${homepage}software"
|
update_site="${homepage}software"
|
||||||
update_ignore="*rc*"
|
update_ignore="*rc*"
|
||||||
distfiles="http://www.open-mpi.org/software/ompi/v1.8/downloads/$pkgname-$version.tar.bz2"
|
distfiles="http://www.open-mpi.org/software/ompi/v1.8/downloads/$pkgname-$version.tar.bz2"
|
||||||
checksum=ab70770faf1bac15ef44301fe2186b02f857646545492dd7331404e364a7d131
|
checksum=2ef02dab61febeb74714ff80d508c00b05defc635b391ed2c8dcc1791fbc88b3
|
||||||
nocross=yes # libtool -rpath /usr/lib issue
|
nocross=yes # libtool -rpath /usr/lib issue
|
||||||
|
|
||||||
libopenmpi_package() {
|
libopenmpi_package() {
|
||||||
|
|
Loading…
Add table
Reference in a new issue