Is it possible to make a menu within a catkin build?
I'ld like to be able choose my build options during the catkin_make
process. I know it can be done using a bash script, but I'm wondering if it can be done within catkin?