Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
tools:start [2021/03/07 11:44]
rajit
tools:start [2021/10/19 06:27]
rajit
Line 24: Line 24:
  
 ACT tools that use the core act library all accept the following command-line options. These options should come first, before any tool-specific options: ACT tools that use the core act library all accept the following command-line options. These options should come first, before any tool-specific options:
-   * ''-T//techname//'': changes the technology [[config:start|configuration files]] to ''techname''+   * ''-T//techname//'': changes the technology [[config:start|configuration files]] to ''techname''. This specifies that the config files are in directory ''$ACT_HOME/conf/''//techname//. If an absolute path is specified, then that path is used as the directory location for configuration files.
    * ''-D//name//=//value//'': defines the specified parameter (either a ''pbool'' or a ''pint'') as a global parameter that can then by used by the ACT file    * ''-D//name//=//value//'': defines the specified parameter (either a ''pbool'' or a ''pint'') as a global parameter that can then by used by the ACT file
    * ''-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 are false.
       * ''dup_pass'' : warn if an ACT tool registers a duplicate pass.       * ''dup_pass'' : warn if an ACT tool registers a duplicate pass.
Line 33: Line 33:
       * ''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'' : turn on 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
-    * ''-log=//file//'': save log messages to the specified file+   * ''-log=//file//'': save log messages to the specified file 
 +   * ''-lev=//level//'': set log level flags 
 +   * ''-opt=//str//'': set option string for ACT ''getopt()'' API
  
- +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.