Users can use the set_config API to set the compiler options for the domain. This is useful if debugging drivers, or libraries
domain_object.set_config(option = 'proc', param = 'proc_compiler_flags', value = 'value here')
domain_object.set_config(option = 'proc', param = 'proc_extra_compiler_flags', value = 'value here')