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