From 092eae389279cbd0c37977244474d54d82dd9a66 Mon Sep 17 00:00:00 2001 From: maintenance team Date: Thu, 25 Oct 2007 10:18:00 +0000 Subject: [PATCH] Update for Salome series 4x --- config_files/build.csh | 5 ++++- config_files/build.sh | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/config_files/build.csh b/config_files/build.csh index 4812462..c379e85 100755 --- a/config_files/build.csh +++ b/config_files/build.csh @@ -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 diff --git a/config_files/build.sh b/config_files/build.sh index f9d3300..c6fd4dd 100755 --- a/config_files/build.sh +++ b/config_files/build.sh @@ -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 -- 2.39.2