GMSH: better install it centrally - save PATH length

[tools/sat_salome.git] / products / scotch.pyconf

diff --git a/products/scotch.pyconf b/products/scotch.pyconf
index 3cca898d8ba5e0421455f51c5d8a9bb2f4469980..d18f2655e2ef3c5815c7de4c5b52ce9f426d8abf 100644 (file)
--- a/products/scotch.pyconf
+++ b/products/scotch.pyconf
@@ -26,20 +26,26 @@ default :
     }
 }
 
-version_5_1_12b :
+version_6_1_2 :
 {
-    name : "scotch"
-    build_source : "script"
-    compil_script :  $name + "-5.1.12.sh"
-    get_source : "archive"
+    compil_script: "scotch-6.1.2.sh"
+}
+
+version_6_1_2_MPI :
+{
+    system_info :
+    {
+        rpm : []
+        rpm_dev : [] # not compatible  on FD34 -  so embed
+        apt : ["libptscotch"]
+        apt_dev : ["libptscotch-dev"]
+    }
     environ :
     {
-       env_script : $name + ".py"
+       env_script : "ptscotch.py"
     }
-    depend : []
-    source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
-    build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
-    install_dir : 'base'
+    compil_script: "scotch-6.1.2.sh"
+    depend: ['openmpi']
 }
 
 version_6_0_4 :
@@ -51,15 +57,31 @@ version_6_0_4_MPI :
 {
     system_info :
     {
-        rpm : ["ptscotch-openmpi"]
-        rpm_dev : ["ptscotch-openmpi-devel"]
+        rpm : []
+        rpm_dev : []
         apt : ["libptscotch"]
         apt_dev : ["libptscotch-dev"]
     }
     environ :
     {
-       env_script : "scotch.py"
+       env_script : "ptscotch.py"
     }
     compil_script: "scotch-6.0.4.sh"
     depend: ['openmpi']
 }
+
+version_5_1_12b :
+{
+    name : "scotch"
+    build_source : "script"
+    compil_script :  $name + "-5.1.12.sh"
+    get_source : "archive"
+    environ :
+    {
+       env_script : $name + ".py"
+    }
+    depend : []
+    source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
+    build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
+    install_dir : 'base'
+}