There are different methods for configuring psrc options depending on whether you are on a Windows- or Unix-based system.
Windows
You can set most options for running Insure++ programs from the Insure++ Control Panel described in Customizing Options on Windows. You can also specify additional configuration options in the Advanced Configuration Settings for Insure++ field in the Advanced tab of the control panel. The additional Insure++ configuration options, referred to as "psrc options," are described in this section.
Unix
Insure++ programs read configuration options from .psrc files. These options control the behavior of Insure++ and programs compiled with Insure++. The .psrc files may be located in various locations in the file system and are processed in the following order of precedence:
- The .psrc file in the appropriate
lib
andcompiler
subdirectories of the main Insure++ installation directory. For example:/usr/local/insure/cc/.psrc
or/usr/local/insure/xlC/.psrc
- The .psrc file in the main installation directory.
- A .psrc file in your
$HOME
directory, if it exists. - A .psrc file in the current working directory, if it exists.
- Files specified with the
-Zop
switch and individual options specified with the-Zoi
switch to the insure command in the order present on the command line.
In each case, options found in later files override those seen earlier. All files mentioned above will be processed and the options set before any source files are processed.
Typically, compiler-dependent options are stored in the first location, site-dependent options are stored in the second location, user-dependent options are stored in the third location, and project-dependent options are stored in the fourth location.
-Zop
is commonly used for file-dependent options for customization. -Zoi is commonly used for temporary options for customization. See Example Compilation and Linking Commands for details about -Zop
, -Zoi
and other Insure++ command line options.