Difference between revisions of "Install TPTP with Update Manager"
(→Install TPTP) |
(→Overview) |
||
| (25 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | == Overview == | |
| + | This page lists the steps to install [http://www.eclipse.org/tptp/ TPTP] 4.6.2 (for Galileo) or 4.7.2 (for Helios) in an [http://www.eclipse.org/downloads/ Eclipse] workbench using update manager. | ||
== Install TPTP == | == Install TPTP == | ||
| − | + | *1. Start Eclipse. | |
| − | + | *2. Open Update Manager under '''Help''' > '''Install New Software'''... | |
:[[Image:InstallScreen1.jpg]] | :[[Image:InstallScreen1.jpg]] | ||
| − | + | *3. Select '''Galileo''' (for Eclipse 3.5) or '''Helios''' (for Eclipse 3.6) from the '''Work with''' drop down list. | |
:[[Image:InstallScreen2.jpg]] | :[[Image:InstallScreen2.jpg]] | ||
| − | + | *4. Check '''Test and Performance''' and select the '''Next''' button to verify the installation details. | |
:[[Image:InstallScreen3.jpg]] | :[[Image:InstallScreen3.jpg]] | ||
| − | + | *5. In the '''Install''' dialog, select the '''Next''' button to start the installation. | |
:[[Image:InstallScreen4.jpg]] | :[[Image:InstallScreen4.jpg]] | ||
| − | + | *6. Accept the license agreement(s) and select '''Finish''' to start the installation. | |
:[[Image:InstallScreen5.jpg]] | :[[Image:InstallScreen5.jpg]] | ||
| − | + | *7. Select '''Yes''' when requested to restart Eclipse. | |
| + | :[[Image:InstallScreen6.jpg]] | ||
== Verify your installation == | == Verify your installation == | ||
| − | . | + | * A quick way to verify your TPTP installation is to make sure a '''Profile''' button is available after restart of Eclipse workbench. |
| + | :[[Image:InstallScreen7.jpg]] | ||
| + | |||
| + | |||
| + | |||
| + | ------------- | ||
| + | ←[[Profiling with TPTP - plug-in developmeet|Back to Profile with TPTP - plug-in development page]] | ||
| + | |||
| + | ←[[TPTP|Back to TPTP wiki page]] | ||
Latest revision as of 09:29, 4 April 2011
Overview
This page lists the steps to install TPTP 4.6.2 (for Galileo) or 4.7.2 (for Helios) in an Eclipse workbench using update manager.
Install TPTP
- 1. Start Eclipse.
- 2. Open Update Manager under Help > Install New Software...
- 3. Select Galileo (for Eclipse 3.5) or Helios (for Eclipse 3.6) from the Work with drop down list.
- 4. Check Test and Performance and select the Next button to verify the installation details.
- 5. In the Install dialog, select the Next button to start the installation.
- 6. Accept the license agreement(s) and select Finish to start the installation.
- 7. Select Yes when requested to restart Eclipse.
Verify your installation
- A quick way to verify your TPTP installation is to make sure a Profile button is available after restart of Eclipse workbench.
