From: Nabil Ghodbane Date: Thu, 26 Sep 2024 19:07:34 +0000 (+0200) Subject: Handle linux mint X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=b22614b7e7fbd9a17d9d2ac2a8500caf211edfa2;p=tools%2Fsat_salome.git Handle linux mint --- diff --git a/products/env_scripts/nlopt.py b/products/env_scripts/nlopt.py index ed90637..6fc2871 100644 --- a/products/env_scripts/nlopt.py +++ b/products/env_scripts/nlopt.py @@ -22,7 +22,7 @@ def set_nativ_env(env): prereq_dir='/usr/' prereq_bin='/usr/bin' prereq_inc='/usr/include' - elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os"]) : + elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os", "linux mint"]) : prereq_dir='/usr' prereq_inc='/usr/include' except: diff --git a/products/env_scripts/openmpi.py b/products/env_scripts/openmpi.py index e103adf..9866871 100644 --- a/products/env_scripts/openmpi.py +++ b/products/env_scripts/openmpi.py @@ -31,7 +31,7 @@ def set_nativ_env(env): prereq_dir='/usr/lib64/openmpi' prereq_bin='/usr/lib64/openmpi/bin' prereq_inc='/usr/include/openmpi-x86_64' - elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os"]) : + elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os", "linux mint"]) : prereq_dir='/usr/lib/x86_64-linux-gnu/openmpi' prereq_inc= '/usr/lib/x86_64-linux-gnu/openmpi/include' except: diff --git a/products/env_scripts/ptscotch.py b/products/env_scripts/ptscotch.py index a7e35ac..122249d 100644 --- a/products/env_scripts/ptscotch.py +++ b/products/env_scripts/ptscotch.py @@ -29,7 +29,7 @@ def set_nativ_env(env): prereq_dir='/usr' prereq_inc= '/usr/include/openmpi-x86_64' prereq_lib='/usr/lib64/openmpi/lib' - elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os"]) : + elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os", "linux mint"]) : prereq_dir='/usr' prereq_inc='/usr/include/scotch-long' prereq_lib='/usr/lib/x86_64-linux-gnu/scotch-long' diff --git a/products/env_scripts/qt.py b/products/env_scripts/qt.py index e77ceec..7f9caef 100644 --- a/products/env_scripts/qt.py +++ b/products/env_scripts/qt.py @@ -27,7 +27,7 @@ def set_nativ_env(env): qt_lib_dir='/usr/lib64' try: import distro - if any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os"]) : + if any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os", "linux mint"]) : qt_lib_dir='/usr/lib/x86_64-linux-gnu' except: pass diff --git a/products/env_scripts/scotch.py b/products/env_scripts/scotch.py index 8dfd02e..34d7712 100755 --- a/products/env_scripts/scotch.py +++ b/products/env_scripts/scotch.py @@ -29,7 +29,7 @@ def set_nativ_env(env): prereq_dir='/usr' prereq_inc= '/usr/include/openmpi-x86_64' prereq_lib='/usr/lib64/openmpi/lib' - elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os"]) : + elif any(distribution in distro.name().lower() for distribution in ["debian", "ubuntu", "tuxedo os", "linux mint"]) : prereq_dir='/usr' prereq_inc='/usr/include/scotch-long' prereq_lib='/usr/lib/x86_64-linux-gnu/scotch-long'