From d99e67acea51e5f17073b30ac5a31a6b708dfb33 Mon Sep 17 00:00:00 2001
From: Yann Dupont <yann.dupont@univ-nantes.fr>
Date: Tue, 22 Sep 2020 12:07:02 +0200
Subject: [PATCH] introduce specific rdma versions

---
 gnu/packages/glicid.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/gnu/packages/glicid.scm b/gnu/packages/glicid.scm
index 3bf8578..e86beed 100644
--- a/gnu/packages/glicid.scm
+++ b/gnu/packages/glicid.scm
@@ -369,6 +369,34 @@
 	))
 ))
 
+(define-public glicid-specific-rdma-core-gcc-10
+  (package
+    (inherit rdma-core)
+    (name "glicid-specific-rdma-core-gcc-10")
+    (version "31.0")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "https://github.com/linux-rdma/rdma-core"
+                                  "/releases/download/v" version "/rdma-core-"
+                                  version ".tar.gz"))
+              (sha256
+               (base32
+                "02ym93k6khfmzm9rml79x9zh1dy8231sygw16r287mhwp0x9mbji"))))
+      (inputs `(("gcc-10", gcc-10)
+      ,@(package-inputs rdma-core)))
+
+
+
+ )
+)
+
+(define-public glicid-specific-openmpi-gcc-10
+  (package
+    (inherit glicid-openmpi-gcc-10)
+    (name "glicid-specific-openmpi-gcc-10")
+      (inputs `(("glicid-specific-rdma-core-gcc-10",glicid-specific-rdma-core-gcc-10)
+      ,@(package-inputs glicid-openmpi-gcc-10)))
+)