Added SETUP_OPTIONS support for push model configuration requirements into the option list (e.g. no_hamocc, if HAMOCC is disabled at build time)