66 # set the machine type and cflags for it
68 	machine = host_machine.cpu()  variable
70 	machine = get_option('machine')  variable
73 # machine type 'default' is special, it defaults to the per arch agreed common
79 if machine == 'default'  variable
82 		machine = 'corei7'  variable
84 		machine = 'armv7-a'  variable
87 		machine = 'default'  variable
89 		machine = 'power8'  variable
93 dpdk_conf.set('RTE_MACHINE', machine)
98 	machine_args += '-mcpu=' + machine
99 	machine_args += '-mtune=' + machine
101 	machine_args += '-march=' + machine