hare-tool1
Run third-party hare tools
Usage
hare tool
command
[arguments ...]
Overview
hare tool executes a third-party Hare tool named command with the given arguments.
Third-party tools are installed in the "libexec" directory that the toolchain was configured with, which is typically /usr/libexec/hare. Each is prefixed with "hare-", so on a typical configuration, hare tool example will run /usr/libexec/hare/hare-example.
Environment
The following environment variables affect hare tool's execution:
| HARE_TOOLPATH | The list of directories to search for tools within, as a colon-deliminated list of paths. If not provided, will use the above mentioned typical installation directory. |