Usage: spicyz [options] -c | --output-c++ Output generated C++ code. -d | --debug Include debug instrumentation into generated code. -g | --disable-optimizations Disable HILTI-side optimizations of the generated code. -o | --output-to Path for saving output. -v | --version Print version information. -x | --output-c++ Output generated C++ code into set of files. -z | --print-zeek-config Print path to zeek-config. -A | --abort-on-exceptions When executing compiled code, abort() instead of throwing HILTI exceptions. -B | --show-backtraces Include backtraces when reporting unhandled exceptions. -C | --dump-code Dump all generated code to disk for debugging. -D | --compiler-debug Activate compile-time debugging output for given debug streams (comma-separated; 'help' for list). -L | --library-path Add path to list of directories to search when importing modules. -M | --print-module-path Print the Zeek's search path for compiled Spicy modules. -p | --print-prefix-path Print installation prefix path. -R | --report-times Report a break-down of compiler's execution time. -T | --keep-tmps Do not delete any temporary files created. --skip-validation Don't validate ASTs (for debugging only). -X | --debug-addl Implies -d and adds selected additional instrumentation.(comma-separated; see 'help' for list). --cxx-link Link specified static archive or shared library during JIT -Z | --enable-profiling Report profiling statistics after execution. Inputs can be *.spicy, *.evt, *.hlt, .cc/.cxx