cmake now takes a command line option for compilation on robot