From 2b3b3af873f23239fd865808423604018f50a05d Mon Sep 17 00:00:00 2001
From: Yann Dupont <yann.dupont@univ-nantes.fr>
Date: Fri, 17 Jun 2022 09:18:33 +0200
Subject: [PATCH] need uuid for opx

---
 glicid/packages/linux.scm | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/glicid/packages/linux.scm b/glicid/packages/linux.scm
index 75892ce..9c93de4 100644
--- a/glicid/packages/linux.scm
+++ b/glicid/packages/linux.scm
@@ -159,6 +159,11 @@
         (sha256 (base32 "1k8h7sa16gdhilkf0bw65xmv8c5dk13szc3rw56hd1nwm42k1yna"))
       )
     )
+    (inputs `(
+      util-linux "lib" ;; uuid.h
+
+      ,@(package-inputs gnu:libfabric)))
+
   )
 )