From 74a3bed217965d74b30059d8b224e03ddbac0dbc Mon Sep 17 00:00:00 2001
From: Julien Bigot <julien.bigot@cea.fr>
Date: Thu, 19 Dec 2024 08:10:25 +0100
Subject: [PATCH] Fix an issue with openmpi not supporting more processes than
 cores on debian

Fix #17
---
 debuntu/mini/Dockerfile | 1 +
 debuntu/pdi/Dockerfile  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debuntu/mini/Dockerfile b/debuntu/mini/Dockerfile
index 6cf6f02..1dad53e 100644
--- a/debuntu/mini/Dockerfile
+++ b/debuntu/mini/Dockerfile
@@ -65,6 +65,7 @@ ENV PDI_COMPILER=gcc
 ENV PDI_MPI=${MPI}
 # only required for openmpi but...
 ENV OMPI_MCA_rmaps_base_oversubscribe=1
+ENV PRTE_MCA_rmaps_default_mapping_policy=:oversubscribe
 
 ENV HOME=/home/ci
 USER ci:ci
diff --git a/debuntu/pdi/Dockerfile b/debuntu/pdi/Dockerfile
index 355934e..00ebfd9 100644
--- a/debuntu/pdi/Dockerfile
+++ b/debuntu/pdi/Dockerfile
@@ -69,6 +69,7 @@ ENV PDI_MPI=${MPI}
 ENV PDI_LIBS=provided
 # only required for openmpi but...
 ENV OMPI_MCA_rmaps_base_oversubscribe=1
+ENV PRTE_MCA_rmaps_default_mapping_policy=:oversubscribe
 
 ENV HOME=/home/ci
 USER ci:ci