Installation: Environment Customization

To run Ada-ASSURED, users should have the following environment variables set:

DISPLAY: Must be set to the name of the computer on which you wish to view Ada-ASSURED. If you are running Ada-ASSURED on a remote machine, the remote host must have permission to display on the local screen.
PATH: Must include aahome/Ada-ASSURED3.5/bin.
LM_LICENSE_FILE: Must be set to the license.dat file. See section License Management.
MANPATH: Must include aahome/Ada-ASSURED3.5/doc/man. See section Man Pages.
XUSERFILESEARCHPATH or XAPPLRESDIR: See section X Resources.

We provide a template for setting these variables in the files aahome/Ada-ASSURED3.5/bin/aa.env.csh and aahome/Ada-ASSURED3.5/bin/aa.env.sh. You may use these files as a guide to making the appropriate changes to your environment. Note, use this file as a guide only; it makes assumptions about your system that may not be true.

In addition, users of Ada-ASSURED may need to modify their personal X resource file (.Xdefaults file or .Xresources file) as directed in section X resources.

Users of old style Hewlett Packard keyboard should modify Ada-ASSURED's startup script aahome/Ada-ASSURED3.5/bin/aa as follows.
Change the line

$aa $args

xmodmap aahome/Ada-ASSURED3.5/files/hpmodmap $aa $args xmodmap aahome/Ada-ASSURED3.5/files/hprestoremap

You have now completed the general installation procedure. Each new user will follow the instructions in the User Guide & Reference Manual, which are written for an arbitrary new user of Ada-ASSURED. Accordingly, it presumes no knowledge of the steps you have just performed.

You must make sure that each end-user is configured to run Ada-ASSURED. Appendix D in the User Guide & Reference Manual contains an installation checklist that each end-user can perform to verify for themselves that Ada-ASSURED is installed properly.