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:45]
rajit [Common command-line options]
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)
Line 36: Line 36:
    * ''-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.