- 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 && "${module}" != "PARAVIS" ) then
+ echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
+ else
+ if (! ($?BUILDCONF_OPTS) ) then
+ set myconf_keys=""
+ else
+ set myconf_keys="${CONF_OPTS}"
+ endif
+ if ( $inst_with_gui == 0 ) then
+ set myconf_keys="${myconf_keys} --without-gui"
+ endif
+ if ( "${module}" == "MED" && ($?METISDIR) && ($?SCOTCHDIR) ) then
+ set myconf_keys="${myconf_keys} --enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"
+ endif
+ if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then
+ set myconf_keys="${myconf_keys} --with-netgen=${NETGENHOME}"
+ endif
+ if ( "${module}" == "PARAVIS" ) then
+ cd ${module_build}; cmake ${module_src} -DCMAKE_INSTALL_PREFIX=$px >& ${LOG_DIR}/configure_${module}.log
+ else
+ ${module_src}/configure --prefix=$px ${optim} ${myconf_keys} >& ${LOG_DIR}/configure_${module}.log
+ endif
+ #########################################################
+ # echo possible errors
+ #########################################################
+ if ( $verbose_level > 0 ) then
+ cat ${LOG_DIR}/configure_${module}.log | grep ": error:" >/dev/stderr
+ endif
+ if ( $verbose_level > 1 ) then
+ cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" >/dev/stderr
+ endif