(vl-pp-opts-p x) is a defaggregate of the following fields.
help — Show a brief usage message and exit. Invariant (booleanp help).
readme — Show a more elaborate README and exit. Invariant (booleanp readme).
output — Controls where the output of preprocessing (i.e., post-
preprocessing Verilog or SystemVerilog code) should be
written. Default: vl-pp.out. Invariant (stringp output).
outdefs — Controls where the collected `defines should be written.
Default: vl-pp.defs. Invariant (stringp outdefs).
start-files — The list of files to parse. (Not options; this is the rest of
the command line, hence :hide t). Invariant (string-listp start-files).
include-dirs — Control the include directories for `include directives. You
can give this switch multiple times, to set up multiple
include directories in priority order. Invariant (string-listp include-dirs).
defines — Set up definitions to use before parsing begins. Equivalent
to putting `define VAR 1 at the top of your Verilog file.
You can give this option multiple times. Invariant (string-listp defines).
edition — Which edition of the Verilog standard to implement?
Default: "SystemVerilog" (IEEE 1800-2012). You can
alternately use "Verilog" for IEEE 1364-2005, i.e.,
Verilog-2005. Invariant (vl-edition-p edition).
strict — Disable VL extensions to Verilog. Invariant (booleanp strict).
mem — How much memory to try to use. Default: 4 GB. Raising this
may improve performance by avoiding garbage collection. To
avoid swapping, keep this below (physical_memory - 2 GB). Invariant (posp mem).
