/usr/bin/spicy-driver

Usage: cat <data> | spicy-driver [options] <inputs> ...

Options:

  -c | --require-accept               Return failure exit code if parser did not call accept_input(), or called decline_input().
  -d | --debug                        Include debug instrumentation into generated code.
  -g | --disable-optimizations        Disable HILTI-side optimizations of the generated code.
  -i | --increment <i>                Feed data incrementally in chunks of size n.
  -f | --file <path>                  Read input from <path> instead of stdin.
  -l | --list-parsers                 List available parsers and exit; use twice to include aliases.
  -p | --parser <name>                Use parser <name> to process input. Only needed if more than one parser is available.
  -v | --version                      Print version information.
  -A | --abort-on-exceptions          When executing compiled code, abort() instead of throwing HILTI exceptions.
  -B | --show-backtraces              Include backtraces when reporting unhandled exceptions.
  -D | --compiler-debug <streams>     Activate compile-time debugging output for given debug streams (comma-separated; 'help' for list).
  -F | --batch-file <path>            Read Spicy batch input from <path>; see docs for description of format.
  -L | --library-path <path>          Add path to list of directories to search when importing modules.
  -P | --parser-alias <alias>=<name>  Add alias name for parser of existing name.
  -R | --report-times                 Report a break-down of compiler's execution time.
  -S | --skip-dependencies            Do not automatically compile dependencies during JIT.
  -U | --report-resource-usage        Print summary of runtime resource usage.
  -V | --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).
  -Z | --enable-profiling             Report profiling statistics after execution.
       --strict-public-api            Skip optimizations that change the public C++ API of generated code.
       --strict-public-api            Skip optimizations that change the public C++ API of generated code.  [default in debug builds]
       --no-strict-public-api         Allow optimizations that change the public C++ API of generated code. [default in release builds]
code.

Environment variables:

  SPICY_PATH                      Colon-separated list of directories to search for modules. In contrast to --library-paths using this flag overwrites builtin paths.

Inputs can be .spicy, .hlt, .cc/.cxx, *.o, *.hlto.