+
+for option
+do
+ case $option in
+ -with-ihm | --with-ihm)
+ GEOM_WITH_GUI="yes"
+ break;;
+ -without-ihm | --without-ihm | -with-ihm=no | --with-ihm=no)
+ GEOM_WITH_GUI="no"
+ break;;
+ esac
+done
+
+########################################################################
+# Test if the GUI_ROOT_DIR is set correctly
+if test ${GEOM_WITH_GUI} = yes; then
+ if test ! -d "${GUI_ROOT_DIR}"; then
+ echo "failed : GUI_ROOT_DIR variable is not correct !"
+ exit
+ fi
+fi
+