*** empty log message ***

[tools/install.git] / config_files / build.csh

diff --git a/config_files/build.csh b/config_files/build.csh
index a378cf3d4973b796c83dd3538492d35561645a35..c379e85c82e50de1091eac246515800fe17123b5 100755 (executable)
--- 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)
+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
@@ -257,7 +257,7 @@ foreach module (${modules})
            # echo possible errors
            #########################################################
            if ( $verbose_level > 0 ) then
-               cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" > /dev/stderr
+               cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" >&2
            endif
        endif
     endif
@@ -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
@@ -336,10 +339,10 @@ foreach module (${modules})
            # echo possible errors
            #########################################################
            if ( $verbose_level > 0 ) then
-               cat ${LOG_DIR}/configure_${module}.log | grep ": error:" > /dev/stderr
+               cat ${LOG_DIR}/configure_${module}.log | grep ": error:" >&2
            endif
            if ( $verbose_level > 1 ) then
-               cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" > /dev/stderr
+               cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" >&2
            endif
        endif
     endif
@@ -363,7 +366,7 @@ foreach module (${modules})
     #########################################################
     # print make errors
     #########################################################
-    cat ${LOG_DIR}/make_${module}.log | grep '[*][*][*]' > /dev/stderr
+    cat ${LOG_DIR}/make_${module}.log | grep '[*][*][*]' >&2
     #########################################################
     # print compiler errors and warnings
     # Note: here awk is used to concatenate together several lines of single
@@ -372,10 +375,10 @@ foreach module (${modules})
     #########################################################
     if ( $verbose_level > 0 ) then
        ###cat ${LOG_DIR}/make_${module}.log | grep ": error"
-       cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep "${module_src}/[A-Za-z_0-9./]*:" | sed s@"^${module_src}/src/"@@ > /dev/stderr
+       cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep "${module_src}/[A-Za-z_0-9./]*:" | sed s@"^${module_src}/src/"@@ >&2
     endif
     if ( $verbose_level > 1 ) then
-       cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@ > /dev/stderr
+       cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@ >&2
     endif
     #########################################################
     # perform make dev_docs step if -t flag is given
@@ -386,7 +389,7 @@ foreach module (${modules})
        if ( "$dd" != "" ) then
            echo "... Performing make dev_docs"
            make dev_docs >& ${LOG_DIR}/make_dev_docs_${module}.log
-           cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' > /dev/stderr
+           cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' >&2
        endif
     endif
     cd ${module_build}