Common command-line 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:
-Ttechname: changes the technology 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.
-Dname=value: defines the specified parameter (either 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)
-Wname:off: turn on/off warnings.
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.
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.
lang_subst: warn if an ACT tool uses a different language body within a process than the default choice.
all: turn on all warnings
-Vname: turn on verbose log messages in the ACT library. Currently
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
-lev=level: set log level flags
-opt=str: set option string for ACT
An individual project might want to include a standard set of ACT options (e.g. -Ttech) for all ACT tool invocations. The environment variable
ACT_STD_CMDLINE can be set to the standard command-line options.