iar workbench output file

hallo,
versuch krad mich in iar workbench und mikrokontroller einzuarbeitn. was 
muss ich in der workbench einstellen um nen hex file zu bekommen welches 
ich zb mit ponyprog flashen kann? hab nämlich noch kein jtag debugger, 
den werd ich mir erst basteln müssen.
thx
cya