seal5.cli.install

Command line subcommand for installing Seal5 LLVM.

Functions

add_install_options(parser)	Setup parser for install argument group.
get_parser(subparsers)	"Define and return a subparser for the install subcommand.
handle(args)	Callback function which will be called to process the install subcommand