]> SALOME platform Git repositories - tools/sat_salome.git/commitdiff
Salome HOME
Handle linux mint
authorNabil Ghodbane <nabil.ghodbane@cea.fr>
Thu, 26 Sep 2024 19:07:34 +0000 (21:07 +0200)
committerNabil Ghodbane <nabil.ghodbane@cea.fr>
Thu, 26 Sep 2024 19:07:34 +0000 (21:07 +0200)
products/env_scripts/nlopt.py
products/env_scripts/openmpi.py
products/env_scripts/ptscotch.py
products/env_scripts/qt.py
products/env_scripts/scotch.py

index ed90637a08c3aef258cfdbc2d119ff522fccdf38..6fc28718a124e2d90d47fb21290de4556d4439ca 100644 (file)
@@ -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:
index e103adff0f643efdc7957355b705429e26dc6aff..98668717e0d37f92ec5197ab8931a54c1cb6bf47 100644 (file)
@@ -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:
index a7e35aca4e7faca50da0377720ea7dc249f391a3..122249d40c3de63174644894821cc1f425915e05 100644 (file)
@@ -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'
index e77ceec3b48651ecc3b723ed28ec28ee5971ffc0..7f9caef68ca2d09032cf9322e0e7cfbf4188baab 100644 (file)
@@ -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
index 8dfd02ecf7a877475457b5d5cd1d53ccdaf96899..34d7712f6545e83605971a25c98841bba98ab5ed 100755 (executable)
@@ -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'