From e96041f5046f82f0f17c4d29a75ab46a3f781b96 Mon Sep 17 00:00:00 2001 From: "dupont-y@univ-nantes.fr" Date: Fri, 14 Apr 2023 10:13:35 +0200 Subject: [PATCH] properly define openmpi-glicid --- glicid/packages/mpi.scm | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/glicid/packages/mpi.scm b/glicid/packages/mpi.scm index 3c76885..a3f2908 100644 --- a/glicid/packages/mpi.scm +++ b/glicid/packages/mpi.scm @@ -68,7 +68,11 @@ (transform-package ((instead-of "psm2" psm2-latest) openmpi-glicid-libfabric-rdma-ucx) "psm2")) -(define-public openmpi-glicid openmpi-glicid-libfabric-rdma-ucx-psm2) +(define-public openmpi-glicid + (package/inherit openmpi-glicid-libfabric-rdma-ucx-psm2 + (name "openmpi-glicid") + ) +) (define-public openmpi-glicid-waves (package