Installing TPTP Using Update Manager

TPTP plugins for eclipse can be installed via the eclipse update manager. Other deliverables of the TPTP project that are not plugins, such as the stand-alone offerings and agent controller, cannot be installed using the udpate manager. Please follow instructions on the install guide to install these components.

Install TPTP 4.4.0 using Europa update site

Europa is the eclipse simultaneous release in 2007. It includes TPTP 4.4.0 and all of its dependencies. The Europa update site provides an easy way to install TPTP and its dependencies.
  1. Install eclipse SDK version 3.3
  2. From the menu, select Help > Software Updates > Find and Install.
  3. Select "Search for new features to install" option in the "Install/Update" dialog box, and click Next.
  4. Select "Europa Discovery Site", and click Finish.
  5. Select a mirror site in the "Update site mirrors" dialog box.
  6. In the Updates dialog box, select "Testing and Performance" and click the "Select Required" button. Click Next, and follow instructions on the screen to complete the installation. Restart eclispe when prompted.

Upgrading TPTP 4.4.0 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.
  1. From the menu, select Help > Software Updates > Find and Install.
  2. Select "Search for new features to install" option in the "Install/Update" dialog box, and click Next.
  3. Select "Test and Performance Tools Platform (TPTP) Updates", and click Finish.
  4. Select a mirror site in the "Update site mirrors" dialog box.
  5. In the Updates dialog box, select a newer version of TPTP. Click Next, and follow instructions on the screen to complete the installation. Restart eclispe when prompted.

Upgrading to TPTP 4.4.0 from Previous Versions 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 TPTP 4.4.0 using the TPTP update site above.

Installing Technology Previews

  1. Starting in TPTP 4.3, technology previews can be installed via the update manager.
  2. Follow instructions above to install TPTP 4.4.0.
  3. From the menu, select Help > Software Updates.
  4. Select "Search for new features to install" option in the "Install/Update" dialog box, and click Next.
  5. Click on the "New Remote Site..." button.
  6. In the "New Update Site" dialog box, type "TPTP Technology Preview" in the "Name" text box, and type "http://download.eclipse.org/tptp/updates/techpreview" in the "URL" textbox. Click OK, then click Finish.
  7. Select a mirror site in the "Update site mirrors" dialog box.
  8. In the Updates dialog box, select the technology previews to install. Click Next, and follow instructions on the screen to complete the installation. Restart eclispe when prompted.