| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| stdoptions:start [2022/06/24 10:53] – rajit | stdoptions:start [2025/05/27 18:22] (current) – [Environment variables] rajit |
|---|
| * ''-cnf=//file//'': reads in the specified file as an ACT configuration file (after the default files for the specified technology) | * ''-cnf=//file//'': reads in the specified file as an ACT configuration file (after the default files for the specified technology) |
| * ''-W//name//:on'' or ''-W//name//:off'': turn on/off warnings. ''name'' can be: | * ''-W//name//:on'' or ''-W//name//:off'': turn on/off warnings. ''name'' can be: |
| * ''empty_select'' : warn if all the guards in a selection statement in ACT are false. | * ''empty_select'' : warn if all the guards in a selection statement in ACT (the core language, not the CHP/HSE sub-language) are false. |
| * ''dup_pass'' : warn if an ACT tool registers a duplicate pass. | * ''dup_pass'' : warn if an ACT tool registers a duplicate pass. |
| * ''no_local_driver'' : warn if a local variable doesn't have a driver if detected during some of the ACT analysis passes. | * ''no_local_driver'' : warn if a local variable doesn't have a driver if detected during some of the ACT analysis passes. |
| * ''double_expand'' : warn if an ACT tool attempts to expand an already expanded ACT object. | * ''double_expand'' : warn if an ACT tool attempts to expand an already expanded ACT object. |
| * ''lang_subst'' : warn if an ACT tool uses a different language body within a process than the default choice. | * ''lang_subst'' : warn if an ACT tool uses a different language body within a process than the default choice. |
| * ''all'' : turn on all warnings | * ''all'' : all warnings |
| * ''-V//name//'': turn on verbose log messages in the ACT library. Currently ''name'' can be: | * ''-V//name//'': turn on verbose log messages in the ACT library. Currently ''name'' can be: |
| * ''config'' : print out absolute paths for the config files read. This goes to stderr by default | * ''config'' : print out absolute paths for the config files read. This goes to stderr by default |
| * ''ACT_PATH'': this is a colon-separated search path for ACT files (akin to the standard Unix ''PATH'' variable used by the shell). This is typically set to the root of an ACT project, so that all the ACT files in the project can be accessed relative to the specified path. | * ''ACT_PATH'': this is a colon-separated search path for ACT files (akin to the standard Unix ''PATH'' variable used by the shell). This is typically set to the root of an ACT project, so that all the ACT files in the project can be accessed relative to the specified path. |
| * ''ACT_STD_CMDLINE'': An individual project might want to include a standard set of ACT options (e.g. -T//tech//) for all ACT tool invocations. The environment variable ''ACT_STD_CMDLINE'' can be set to the standard command-line options. | * ''ACT_STD_CMDLINE'': An individual project might want to include a standard set of ACT options (e.g. -T//tech//) for all ACT tool invocations. The environment variable ''ACT_STD_CMDLINE'' can be set to the standard command-line options. |
| | * ''ACT_TECH'': this environment variable is //set// by the core ACT library, and corresponds to the name of the technology specified by ''-T'' on the command-line (or the default technology, ''generic'', otherwise). |
| |