# Copyright 2020 The Fuchsia Authors. All rights reserved.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.

#### CATEGORY=Run, inspect and debug
#### EXECUTABLE=${HOST_TOOLS_DIR}/bindc
### run the bind program compiler and debugger

## USAGE:
##     bindc [FLAGS] [OPTIONS] <input>
##
## FLAGS:
##     -a, --disable-autobind    Disable automatically binding the driver so that the driver must be bound on a user's
##                               request.
##     -h, --help                Prints help information
##     -V, --version             Prints version information
##
## OPTIONS:
##     -d, --debug <device_file>            A file containing the properties of a specific device, as a list of key-value
##                                          pairs. This will be used as the input to the bind program debugger. In debug
##                                          mode no compiler output is produced, so --output should not be specified.
##     -i, --include <include>...           The bind library input files. These may be included by the bind program. They
##                                          should be in the format described in //tools/bindc/README.md.
##     -f, --include-file <include_file>    Specifiy the bind library input files as a file. The file must contain a list
##                                          of filenames that are bind library input files that may be included by the bind
##                                          program. Those files should be in the format described in
##                                          //tools/bindc/README.md.
##     -o, --output <output>                Output file. The compiler emits a C header file.
##
## ARGS:
##     <input>    The bind program input file. This should be in the format described in //tools/bindc/README.md.