From 3431891bd8ab4574317aa8d9529df8966df80878 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Thu, 13 Apr 2023 15:41:12 +0200
Subject: [PATCH] nmad should work with the last release of starpu (1.4.0
 currently)

---
 tools/bench/plafrim/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/bench/plafrim/run.sh b/tools/bench/plafrim/run.sh
index 08603b7ee..4d2668aea 100755
--- a/tools/bench/plafrim/run.sh
+++ b/tools/bench/plafrim/run.sh
@@ -58,7 +58,7 @@ then
 elif [ $MPI = "nmad" ]
 then
   export MPI_OPTIONS="-DPIOM_DEDICATED=1 -DPIOM_DEDICATED_WAIT=1 hwloc-bind --cpubind machine:0"
-  GUIX_ENV_MPI="--with-input=openmpi=nmad --with-branch=starpu=starpu-1.3"
+  GUIX_ENV_MPI="--with-input=openmpi=nmad"
   GUIX_ADHOC_MPI="which gzip zlib tar inetutils util-linux procps openssh nmad"
 else
   echo "$0: Please set the MPI environnement variable to openmpi or nmad."
-- 
GitLab