srdatalog.cli

Command-line entry point.

Installed by pyproject.toml as srdatalog:

srdatalog emit    <program.py> --project P                    # emit .cpp tree
srdatalog compile <program.py> --project P [--out libP.so]    # emit + compile
srdatalog info                                                # paths + versions

The <program.py> must define program() returning a srdatalog.Program instance. The tool imports it and runs the full pipeline.

Module Contents

Functions

cmd_compile
cmd_emit
cmd_info
main

API

srdatalog.cli.cmd_compile(args: argparse.Namespace) → int

srdatalog.cli.cmd_emit(args: argparse.Namespace) → int

srdatalog.cli.cmd_info(args: argparse.Namespace) → int

srdatalog.cli.main(argv: list[str] | None = None) → int