From 69c70fbb376f7b1ac99c33abeb6ef947fb17da3d Mon Sep 17 00:00:00 2001 From: Yann Dupont Date: Thu, 16 Jun 2022 21:19:35 +0200 Subject: [PATCH] bump openmpi versin --- glicid/packages/mpi.scm | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/glicid/packages/mpi.scm b/glicid/packages/mpi.scm index e5694a2..820f9fe 100644 --- a/glicid/packages/mpi.scm +++ b/glicid/packages/mpi.scm @@ -28,7 +28,28 @@ ) ) -(define local-openmpi openmpi-upstream-4.1.2) +(define-public openmpi-upstream-4.1.4 + (package + (inherit gnu:openmpi) + (name "openmpi-upstream") + (version "4.1.4") + (source + (origin + (method url-fetch) + (uri (string-append "https://www.open-mpi.org/software/ompi/v" + (version-major+minor version) + "/downloads/openmpi-" version ".tar.bz2")) + (sha256 (base32 "03ckngrff1cl0l81vfvrfhp99rbgk7s0633kr1l468yibwbjx4cj")) + (patches (search-patches "openmpi-mtl-priorities.patch")) + ) + ) + ) +) + + + + +(define local-openmpi openmpi-upstream-4.1.4) (define-public openmpi-latest (latest-version local-openmpi gnu:openmpi))