- if ( $verbose_level > 0 ) then
- cat ${LOG_DIR}/configure_${module}.log | grep ": error:"
- endif
- if ( $verbose_level > 1 ) then
- cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:"
+ if ( ! -e ${module_src}/configure ) then
+ echo "Warning! Can not find configure script in ${module_src}."
+ else
+ if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then
+ set add_keys="--with-netgen=${NETGENHOME}"
+ endif
+ ${module_src}/configure --prefix=$px ${optim} ${add_keys} >& ${LOG_DIR}/configure_${module}.log
+ #########################################################
+ # echo possible errors
+ #########################################################
+ if ( $verbose_level > 0 ) then
+ cat ${LOG_DIR}/configure_${module}.log | grep ": error:"
+ endif
+ if ( $verbose_level > 1 ) then
+ cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:"
+ endif