Basic Option Information

• name: backend
• description: Backend to use for code generation
• command-line: -b --backend
• option type: choice option
• possible values:
  • c
  • cli
  • jvm
• default: c
• requirements:
  • value 'c' requires:
    • translation.type_system to be set to 'lltype'
  • value 'cli' requires:
    • translation.type_system to be set to 'ootype'
  • value 'jvm' requires:
    • translation.type_system to be set to 'ootype'

Description

Which backend to use when translating, see translation documentation.