Installing TPTP Using Update Manager

TPTP plug-ins for Eclipse can be installed via the Eclipse Update Manager (Equinox p2 beginning in Eclipse 3.4). Other deliverables of the TPTP project that are not plug-ins, such as the stand-alone offerings and Agent Controller, cannot be installed using the Update Manager. Please follow the instructions provided in the install guide to install these components.

Install TPTP 4.6.0 using the Galileo update site

Galileo is the Eclipse simultaneous release in 2009. It includes TPTP 4.6.0 and all of its dependencies. The Galileo update site provides an easy way to install TPTP and its dependencies. Step-by-Step illustration is also available on the TPTP wiki page. For Linux x86_64 users, please use the TPTP update site.
  1. Install Eclipse SDK version 3.5
  2. From the menu, select Help > Install New Software...
  3. Select the "Galileo" entry from the "Work with" drop down list.
  4. Expand the "Test and Performance" entry and choose the options to install. Equinox p2 will automatically install the required dependencies.
  5. Click Next, and follow the instructions to complete the installation. Restart Eclipse when prompted.
  6. Check for updates using the the TPTP update site instructions below or by using the menu, Help > Check for Updates.

Installing or upgrading using the TPTP update site

The Update Manager can help you find and install newer levels of TPTP. Follow the following steps to update TPTP to newer levels with appropriate dependencies installed.
  1. From the menu, select Help > Install New Software...
  2. Select the TPTP entry rom the "Work with" drop down list by typing TPTP in the text box.
  3. Select a newer version of TPTP.
  4. Click Next, and follow the instructions to complete the installation. Restart Eclipse when prompted.

Upgrading to TPTP 4.6.0 from a previous version of TPTP

When upgrading from a previous version to a newer version, it is recommended that you download TPTP and the required dependencies listed on the download page into a new directory. In the new installation you can point to your existing workspace. If the upgrade is a maintenance release, then follow the instructions on upgrading using the TPTP update site above. Alternatively, you can select Help > Check for Updates.

Installing TPTP Profiling for Web Applications

  1. Select the TPTP options and TPTP Profiling for Web Applications from the Galileo or TPTP update site.
  2. Expand the Web, XML, and Java EE Development entry in the Galileo update site and select the Eclipse Web Developer Tools option.
  3. Click Next, and follow the instructions to complete the installation. Restart Eclipse when prompted.