/usr/bin/spicyz

Usage: spicyz [options] <inputs>

  -c | --output-c++ <prefix>      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>         Path for saving output.
  -v | --version                  Print version information.
  -x | --output-c++ <prefix>      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 <streams> Activate compile-time debugging output for given debug streams (comma-separated; 'help' for list).
  -L | --library-path <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 <addl>        Implies -d and adds selected additional instrumentation.(comma-separated; see 'help' for list).
       --cxx-link <lib>           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