if (WITH_DESIGNER_PLUGIN)
  add_subdirectory( marblewidget )
  add_subdirectory( navigator )
endif (WITH_DESIGNER_PLUGIN)

