From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Wed, 25 May 2022 11:45:44 +0000 (+0200)
Subject: add rocky distribution support: openmpi, scotch
X-Git-Tag: V9_9_0~6
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=e0d3958e8d76fb5eb2ac054d1990977dbdb00a5c;p=tools%2Fsat_salome.git

add rocky distribution support: openmpi, scotch
---

diff --git a/products/env_scripts/openmpi.py b/products/env_scripts/openmpi.py
index 11e2dc5..ca15d64 100644
--- a/products/env_scripts/openmpi.py
+++ b/products/env_scripts/openmpi.py
@@ -23,7 +23,7 @@ def set_nativ_env(env):
     prereq_inc='/usr/include/openmpi'
     try:
         import distro
-        if any(distribution in distro.name().lower() for distribution in ["centos", "fedora"]) :
+        if any(distribution in distro.name().lower() for distribution in ["rocky", "centos", "fedora"]) :
             prereq_dir='/usr/lib64/openmpi'
             prereq_bin='/usr/lib64/openmpi/bin'
             prereq_inc='/usr/include/openmpi-x86_64'
@@ -32,7 +32,7 @@ def set_nativ_env(env):
             prereq_inc= '/usr/lib/x86_64-linux-gnu/openmpi/include'
     except:
         import platform
-        if any(distribution in platform.linux_distribution()[0].lower() for distribution in ["centos", "fedora"]) :
+        if any(distribution in platform.linux_distribution()[0].lower() for distribution in ["rocky", "centos", "fedora"]) :
             prereq_dir='/usr/lib64/openmpi'
             prereq_bin='/usr/lib64/openmpi/bin'
             prereq_inc='/usr/include/openmpi-x86_64'
diff --git a/products/env_scripts/ptscotch.py b/products/env_scripts/ptscotch.py
index 506ab20..c07aa4e 100644
--- a/products/env_scripts/ptscotch.py
+++ b/products/env_scripts/ptscotch.py
@@ -25,7 +25,7 @@ def set_nativ_env(env):
     prereq_lib= None
     try:
       import distro
-      if any(distribution in distro.name().lower() for distribution in ["centos", "fedora"]) :
+      if any(distribution in distro.name().lower() for distribution in ["rocky", "centos", "fedora"]) :
         prereq_dir='/usr'
         prereq_inc= '/usr/include/openmpi-x86_64'
         prereq_lib='/usr/lib64/openmpi/lib'
@@ -37,7 +37,7 @@ def set_nativ_env(env):
         print("Unimplemented distribution (1): {}".format(distro.name.lower()))
     except:
         import platform
-        if any(distribution in platform.linux_distribution()[0].lower() for distribution in ["centos", "fedora"]) :
+        if any(distribution in platform.linux_distribution()[0].lower() for distribution in ["rocky", "centos", "fedora"]) :
             prereq_dir='/usr'
             prereq_inc= '/usr/include/openmpi-x86_64'
             prereq_lib='/usr/lib64/openmpi/lib'
diff --git a/products/env_scripts/scotch.py b/products/env_scripts/scotch.py
index 636dd96..eac32ed 100755
--- a/products/env_scripts/scotch.py
+++ b/products/env_scripts/scotch.py
@@ -25,7 +25,7 @@ def set_nativ_env(env):
     prereq_lib= None
     try:
       import distro
-      if any(distribution in distro.name().lower() for distribution in ["centos", "fedora"]) :
+      if any(distribution in distro.name().lower() for distribution in ["rocky", "centos", "fedora"]) :
         prereq_dir='/usr'
         prereq_inc= '/usr/include/openmpi-x86_64'
         prereq_lib='/usr/lib64/openmpi/lib'
@@ -37,7 +37,7 @@ def set_nativ_env(env):
         print("Unimplemented distribution (1): {}".format(distro.name.lower()))
     except:
         import platform
-        if any(distribution in platform.linux_distribution()[0].lower() for distribution in ["centos", "fedora"]) :
+        if any(distribution in platform.linux_distribution()[0].lower() for distribution in ["rocky", "centos", "fedora"]) :
             prereq_dir='/usr'
             prereq_inc= '/usr/include/openmpi-x86_64'
             prereq_lib='/usr/lib64/openmpi/lib'