]> SALOME platform Git repositories - tools/sat_salome.git/commitdiff
Salome HOME
spns #20273 - use MAKE_OPTIONS
authorNabil Ghodbane <nabil.ghodbane@cea.fr>
Mon, 9 Nov 2020 10:35:18 +0000 (11:35 +0100)
committernghodban <Nabil.Ghodbane@c-s.fr>
Mon, 30 Nov 2020 07:17:35 +0000 (08:17 +0100)
products/MEDCOUPLING.pyconf
products/compil_scripts/boost.sh
products/compil_scripts/lapack.sh
products/compil_scripts/netgen_5_3_1.sh

index e9bed61802cc0f5b7747c981cccaa91ca299ce5e..7a102801976ddfc2e9e52d47d2d8ce37f5d01f54 100644 (file)
@@ -100,11 +100,21 @@ default_int64:
 version_V9_5_0 :
 {
 }
+
 version_V9_5_0_win :
 {
     cmake_options : ' -DMEDCOUPLING_ENABLE_PYTHON=ON -DMEDCOUPLING_ENABLE_PARTITIONER=OFF -DMEDCOUPLING_ENABLE_RENUMBER=ON -DMEDCOUPLING_PARTITIONER_METIS=ON -DMEDCOUPLING_PARTITIONER_SCOTCH=OFF -DMEDCOUPLING_PARTITIONER_PARMETIS=OFF -DMEDCOUPLING_MICROMED=OFF -DMEDCOUPLING_USE_MPI=OFF '
 }
 
+version_V9_4_0 :
+{
+}
+
+version_V9_4_0_win :
+{
+    cmake_options : ' -DMEDCOUPLING_ENABLE_PYTHON=ON -DMEDCOUPLING_ENABLE_PARTITIONER=OFF -DMEDCOUPLING_ENABLE_RENUMBER=ON -DMEDCOUPLING_PARTITIONER_METIS=ON -DMEDCOUPLING_PARTITIONER_SCOTCH=OFF -DMEDCOUPLING_PARTITIONER_PARMETIS=OFF -DMEDCOUPLING_MICROMED=OFF -DMEDCOUPLING_USE_MPI=OFF '
+}
+
 version_7_8_2_to_8_4_0 :
 {
     depend : [
index cbb9faedb222ec1541a45d5e00419dbe238f0c32..6d8ac902b026ba0c25028297699ce3589f91f444 100755 (executable)
@@ -17,9 +17,9 @@ then
     exit 1
 fi
 
-echo "*** bjam install"
+echo "*** bjam ${MAKE_OPTIONS} install"
 
-./bjam -j4 install
+./bjam  ${MAKE_OPTIONS} install
 
 if [ $? -ne 0 ]
 then
index 5a482a89f55725c604edf9dc7a8080a30a906be2..bd63705dd2d7d7fc77b8d6ce24c41d37294279cc 100755 (executable)
@@ -34,8 +34,8 @@ then
 fi
 
 echo
-echo "*** make -j4"
-make -j4
+echo "*** make  ${MAKE_OPTIONS}"
+make ${MAKE_OPTIONS}
 if [ $? -ne 0 ]
 then
     echo "ERROR on make"
index 793338bbed7c527dcee135cb3691ed712d5359fa..dd148ae62ac066a1656d5fcdbd56863d265b3e86 100755 (executable)
@@ -89,8 +89,8 @@ then
 fi
 
 echo
-echo "*** compile"
-make -j4
+echo "*** make ${MAKE_OPTIONS}"
+make  ${MAKE_OPTIONS}
 if [ $? -ne 0 ]
 then
     echo "error on make"