add rocky distribution support: openmpi, scotch

diff --git a/products/env_scripts/openmpi.py b/products/env_scripts/openmpi.py
index 11e2dc559904a464aa9d061944d61e83bfa47680..ca15d649839575c32f07b74052b7a7dd4090c6bb 100644 (file)
--- 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 506ab206caeb9619367bbdc6a1f06e6196f5e174..c07aa4e9dc168da01b7a3c2a26e4ca2a24d159b3 100644 (file)
--- 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 636dd963a2e48e541156090110b734c204292718..eac32edbcc5ee25324f8a13b791af0d9bece0718 100755 (executable)
--- 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'