translation.backend
- name: backend
- description: Backend to use for code generation
- command-line: -b –backend
- option type: choice option
- possible values:
- default: c
- requirements:
- value ‘c’ requires:
- value ‘cli’ requires:
- value ‘jvm’ requires:
Which backend to use when translating, see translation documentation.