| # 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. |
