translation.cc

• name: cc
• description: Specify compiler to use for compiling generated C
• command-line: –cc
• option type: string option

Specify which C compiler to use.