7 'typedefs_defines_rtps.h',
11 if (host_machine.system() == 'windows')
12 orte_config_src = 'orte_config_omk_win32.h'
13 elif (host_machine.system() == 'linux')
14 orte_config_src = 'orte_config_omk_linux.h'
16 orte_config_src = 'orte_config_omk_linux.h'
19 orte_config_h = custom_target(
21 input : orte_config_src,
22 output : 'orte_config.h',
23 command : ['cp', '@INPUT@', '@OUTPUT@'],
25 install_dir: 'include/orte',