diff options
Diffstat (limited to 'src/options/printer_options.toml')
| -rw-r--r-- | src/options/printer_options.toml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/options/printer_options.toml b/src/options/printer_options.toml new file mode 100644 index 000000000..89ae3b559 --- /dev/null +++ b/src/options/printer_options.toml @@ -0,0 +1,23 @@ +id = "PRINTER" +name = "Printing" +header = "options/printer_options.h" + +[[option]] + name = "modelFormatMode" + category = "regular" + long = "model-format=MODE" + type = "ModelFormatMode" + default = "MODEL_FORMAT_MODE_DEFAULT" + handler = "stringToModelFormatMode" + includes = ["options/printer_modes.h"] + help = "print format mode for models, see --model-format=help" + +[[option]] + name = "instFormatMode" + category = "regular" + long = "inst-format=MODE" + type = "InstFormatMode" + default = "INST_FORMAT_MODE_DEFAULT" + handler = "stringToInstFormatMode" + includes = ["options/printer_modes.h"] + help = "print format mode for instantiations, see --inst-format=help" |