+ 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