Installation: Preparation

This chapter outlines the preparation necessary to install Ada-ASSURED. Ada-ASSURED is distributed on CD-ROM and over the internet. Installation consists of extracting the directory from the medium, running the installation program, enabling the appropriate license management software, and setting certain environment variables and X resources.

Materials Needed

Installing Ada-ASSURED. To do the installation, which takes approximately 30 minutes, you will need:

The READ ME FIRST document included with the distribution.
The Release Notes document included with the distribution.
This Installation Guide.
Approximately 30 Megabytes of free disk space on your machine.

In addition, several of the installation steps may require root privileges. Except where otherwise stated, root privileges are not required.

Running Ada-ASSURED. To run Ada-ASSURED you will need a valid license key. Depending on the type of installation, you may need to request a key from GrammaTech using the form titled ``Ada-ASSURED Software Registration and Installation Key Request.'' All new license keys are contained on the form titled ``Licensing Information for Ada-ASSURED.'' If you are already using Ada-ASSURED, see the Release Notes for more information regarding license keys for this release.

Definition of Terms

Refer to the following terms when using this installation guide.

aahome. The directory in which you chose to install Ada-ASSURED.
old-aahome. The directory in which you installed previous versions of Ada-ASSURED. Not applicable to first time installations.
Demonstration Installation. Installation of an evaluation copy of Ada-ASSURED.
Full Installation. Permanent installation of a purchased Ada-ASSURED.
License Manager Machine. The computer on which a license manager process will run. The license manager controls licenses for Ada-ASSURED. No license manager is needed for a Demonstration Installation.

Planning Your Installation

When planning an installation, you should determine that:

All machines that will be running Ada-ASSURED meet the hardware and software requirements.
The installation location of Ada-ASSURED is accessible to all who will be using it.

The installation process establishes certain default settings for Ada-ASSURED. Although individual users can override these defaults, you should determine the end-user's preferred values for the following before beginning the installation:

The window manager of choice. This will be CDE, Motif, OpenWindows, or one from the standard MIT X distribution.
The make and model of keyboard to be used.
The default Ada compiler that you wish to use. Ada-ASSURED is integrated with many compilers; this choice determines which compiler is the default choice. See Compiler List for a list of choices.
The size of the default font in points. For production use, GrammaTech recommends 12 or 14. Other valid values are 18 and 24.

You will be required to provide values for these parameters during the installation process. In addition, for a Full Installation you must:

Determine which machine(s) will run the license manager.

System Requirements

Disk Space.

To install Ada-ASSURED you will need approximately 30 Megabytes of free disk space. Some of the disk space may be recovered after installation. See Disk Conservation for details.

Memory.

Because Ada-ASSURED can edit more than one file at a time in different buffers and windows, its effective performance depends on the size of physical memory and swap space available. The more memory and swap space, the more files that can be edited simultaneously. The following is recommended as a minimum for running Ada-ASSURED:

Physical memory: 16 Mbytes.
Swap space: 32 Mbytes.

Installation Procedure Assumptions.

You are logged on to a workstation running some version of X windows.
You are using the C Shell csh. If you are using a different shell, modify the commands appropriately.
You have access to a CD-ROM drive or cartridge tape drive suitable for the distribution medium.

Planning an Upgrade Installation

These instructions are a guide for installing a new version of Ada-ASSURED that will (eventually) replace an existing version. Skip this section if this is the first time you are installing Ada-ASSURED. They assume the following:

You have customized Ada-ASSURED for your site and wish to maintain your current settings as much as possible.
Your current version of Ada-ASSURED is installed in the directory old-aahome.

Files to Preserve

If you are already using Ada-ASSURED and wish to preserve your current customizations, you must preserve the following files:

The enforcement parameter file. This file is originally named .aa_enforcement_params and is shipped in old-aahome/Ada-ASSURED/files. [Note: Note, older versions of Ada-ASSURED did not have the version number as part of the top-level directory name.]
Any X resource files used by Ada-ASSURED. These files are initially in old-aahome/Ada-ASSURED/resources.

Recommended Procedure

The installation procedure will overwrite all files in aahome/Ada-ASSURED3.5. If disk space permits, GrammaTech recommends the following procedure in order to minimize disruption for users of the current version of Ada-ASSURED.

Pick a value of aahome that does not contain a directory named Ada-ASSURED3.5. You may use old-aahome, since the version number is included in the name of the top-level directory on the tape.
Install Ada-ASSURED as directed, except do not modify the environment of any end-user to include the new version in their path, and do not create the soft link to Ada-ASSURED3.5 named Ada-ASSURED.
Merge your current versions of the enforcement parameters and X resources with the newly installed ones. See below for instructions on how to merge these files.
Confirm that the merged parameters and resource files are correct.
Inform all users of Ada-ASSURED of the new version and its location and create the soft link.
After all users of Ada-ASSURED are using the new version, delete the previous version to reclaim the disk space.

Merging Files

Before attempting to merge your current enforcement parameter file or X resource files, complete the installation of the new version and confirm that it works.

Enforcement parameters.

The enforcement parameter file is stored in a non-ASCII format and can only be updated by Ada-ASSURED. Use the following instructions for this process.

Save a copy of the new enforcement parameter file, aahome/Ada-ASSURED3.5/files/.aa_enforcement_params:
cd aahome/Ada-ASSURED3.5/files mv .aa_enforcement_params .aa_enforcement_params.orig
Copy the old version of the enforcement parameters file into the new location:
cd aahome/Ada-ASSURED3.5/files cp old-aahome/Ada-ASSURED/files/.aa_enforcement_params .
Invoke Ada-ASSURED by entering the command
aa -xrm '*user0:aahome/Ada-ASSURED3.5/files/.aa_enforcement_params'
Update the enforcement settings by choosing the Set command from the Options/Enforcement Preferences menu.
While editing the enforcement parameters file, choose the convert-to-new transformation.
Save the updated settings by choosing the Save command from the Options/Enforcement Preferences menu.
Exit Ada-ASSURED by choosing Exit from the File menu.

X resources.

Any changes to the X resources must be merged by hand using a text editor. See the release notes for a complete list of new and changed resources.

Before Beginning an Installation

Read through the entire installation procedure before starting an installation.

STOP!

Have you done the following:

Read any READ ME FIRST documents?
Read the Release Notes document, especially if this is an Upgrade Installation?
Determined the location where Ada-ASSURED will be installed?
Determined where the license manager will be installed? (if this is a Full Installation)
Preserved existing style and resource files? (if this is an Upgrade Installation)
Determined if there is enough free disk space to install the software?