]> SALOME platform Git repositories - tools/install.git/commitdiff
Salome HOME
Update for Salome series 4x
authormaintenance team <salome-mnt@opencascade.com>
Thu, 25 Oct 2007 10:18:00 +0000 (10:18 +0000)
committermaintenance team <salome-mnt@opencascade.com>
Thu, 25 Oct 2007 10:18:00 +0000 (10:18 +0000)
config_files/build.csh
config_files/build.sh

index 4812462811f736557e4c32bb3aa2a491bff4a1cf..c379e85c82e50de1091eac246515800fe17123b5 100755 (executable)
@@ -22,7 +22,7 @@ set is_delete=0
 set verbose_level=2
 set params=""
 set b_params=""
-set modules=(KERNEL GUI GEOM MED SMESH VISU SUPERV NETGENPLUGIN GHS3DPLUGIN COMPONENT PYCALCULATOR CALCULATOR HELLO PYHELLO LIGHT RANDOMIZER SIERPINSKY)
+set modules=(KERNEL GUI GEOM MED SMESH VISU SUPERV NETGENPLUGIN GHS3DPLUGIN BLSURFPLUGIN HexoticPLUGIN GHS3DPRLPLUGIN COMPONENT PYCALCULATOR CALCULATOR HELLO PYHELLO LIGHT SIERPINSKY RANDOMIZER FILTER YACS MULTIPR)
 set optim=""
 set is_install=0
 set is_help=0
@@ -328,6 +328,9 @@ foreach module (${modules})
            if ( $med_with_gui == 0 && "${module}" == "MED" ) then
                set add_keys="--without-ihm"
            endif
+           if (  "${module}" == "MED" && ($?METISDIR)  && ($?SCOTCHDIR) ) then
+               set add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"
+           endif
            if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then
                set add_keys="--with-netgen=${NETGENHOME}"
            endif
index f9d3300d90aec9be0dbad8ee8ed54b7740548f38..c6fd4dd7825e472aa8176429e2701481b4358a8f 100755 (executable)
@@ -88,7 +88,7 @@ is_delete=0
 verbose_level=2
 params=""
 b_params=""
-modules="KERNEL GUI GEOM MED SMESH VISU SUPERV NETGENPLUGIN GHS3DPLUGIN COMPONENT PYCALCULATOR CALCULATOR HELLO PYHELLO LIGHT RANDOMIZER SIERPINSKY"
+modules="KERNEL GUI GEOM MED SMESH VISU SUPERV NETGENPLUGIN GHS3DPLUGIN BLSURFPLUGIN HexoticPLUGIN GHS3DPRLPLUGIN COMPONENT PYCALCULATOR CALCULATOR HELLO PYHELLO LIGHT SIERPINSKY RANDOMIZER FILTER YACS MULTIPR"
 optim=""
 is_install=0
 is_tui=0
@@ -337,6 +337,9 @@ for module in ${modules}; do
                if [ $med_with_gui -eq 0 ] && [ "${module}" == "MED" ] ; then
                    add_keys="--without-ihm"
                fi
+               if [  "${module}" == "MED" ] && [ "${METISDIR}" != "" ] && [ "${SCOTCHDIR}" != "" ] ; then
+                   add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"
+               fi
                if [ "${module}" == "NETGENPLUGIN" ] && [ "$NETGENHOME" != "" ] ; then
                    add_keys="--with-netgen=${NETGENHOME}"
                fi