mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
a68c53cbb0
The `PypeGroup` click group did not provide any real benefit: * It added extra help about pipebox arguments, but text that was not correct from where the help was coming from (the group does not parse the arguments). The subcommands still reports it though. * It forbid using non-PypeGroup and non-PypeCommand commands in the command tree, but in the long run this is desirable so it should be dropped For these reasons it has been dropped.
18 lines
330 B
Python
18 lines
330 B
Python
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
import click
|
|
|
|
from .run_analysis import run_analysis
|
|
from .run_pipe import run_pipe
|
|
|
|
|
|
@click.group(help="Low-level pipeline commands (plumbing)")
|
|
def pipeline() -> None:
|
|
pass
|
|
|
|
|
|
pipeline.add_command(run_pipe)
|
|
pipeline.add_command(run_analysis)
|