From e0d3958e8d76fb5eb2ac054d1990977dbdb00a5c Mon Sep 17 00:00:00 2001 From: Nabil Ghodbane Date: Wed, 25 May 2022 13:45:44 +0200 Subject: [PATCH] add rocky distribution support: openmpi, scotch --- products/env_scripts/openmpi.py | 4 ++-- products/env_scripts/ptscotch.py | 4 ++-- products/env_scripts/scotch.py | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) 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' -- 2.39.2