Allow Configuring Plugins To Build

[ajshort]

This creates a new build option for each plugin, allowing it to be disabled.

[rdiankov]

good idea! i have some suggestions:

• use the upper case of the string

string(TOUPPER ${PLUGIN} PLUGIN_UPPER)
option(OPENRAVE_PLUGIN_${PLUGIN_UPPER} "Build the ${PLUGIN} plugin" ON)

• as far as i understand break() will exit from the for loop, which is not desired behavior. instead, can you just do:

if(OPENRAVE_PLUGIN_${PLUGIN_UPPER})
  # do the plugin processing
endif()

thanks,

[rdiankov]

just pinging. were you able to make the corresponding changes?

[ajshort]

Sorry, it slipped off my radar. I've made the requested changes.

[rdiankov]

thanks! just pulled