seal5.cli.build

Command line subcommand for building Seal5 LLVM.

Functions

add_build_options(parser)
get_parser(subparsers)	"Define and return a subparser for the build subcommand.
handle(args)	Callback function which will be called to process the build subcommand