echo ""
echo "-c Perform configure command for all given modules. Default is off."
echo ""
-echo "-w Add --without-ihm key to build_configure and configure"
+echo "-w Add --without-gui key to build_configure and configure"
echo " commands for MED module to build its sources without GUI."
echo " By default MED sources are built with GUI."
echo ""
# call build_configure
#########################################################
if ( $med_with_gui == 0 && "${module}" == "MED" ) then
- set add_keys="--without-ihm"
+ set add_keys="--without-gui"
endif
cd ${module_src}
./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log
echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
else
if ( $med_with_gui == 0 && "${module}" == "MED" ) then
- set add_keys="--without-ihm"
+ set add_keys="--without-gui"
endif
if ( "${module}" == "MED" && ($?METISDIR) && ($?SCOTCHDIR) ) then
set add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"
echo ""
echo "-c Perform configure command for all given modules. Default is off."
echo ""
- echo "-w Add --without-ihm key to build_configure and configure"
+ echo "-w Add --without-gui key to build_configure and configure"
echo " commands for MED module to build its sources without GUI."
echo " By default MED sources are built with GUI."
echo ""
# call build_configure
#########################################################
if [ $med_with_gui -eq 0 ] && [ ${module} == "MED" ] ; then
- add_keys="--without-ihm"
+ add_keys="--without-gui"
fi
cd ${module_src}
./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log
echo
else
if [ $med_with_gui -eq 0 ] && [ "${module}" == "MED" ] ; then
- add_keys="--without-ihm"
+ add_keys="--without-gui"
fi
if [ "${module}" == "MED" ] && [ "${METISDIR}" != "" ] && [ "${SCOTCHDIR}" != "" ] ; then
add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"