| Summary: | Installation failed due to missing bundles | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Peter Dell <jac> |
| Component: | TPTP | Assignee: | Project Inbox <tptp.platform-inbox> |
| Status: | CLOSED WORKSFORME | QA Contact: | Kathy Chan <kathy> |
| Severity: | major | ||
| Priority: | P3 | CC: | jcayne |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | close472 | ||
|
Description
Peter Dell
I downloaded the Eclipse IDE for Java Developers. Using this installation, from the Help -> Install New Software menu, I used the Helios update site from the drop down list to install everything in the Test and Performance category. After restarting the workbench, the TPTP plug-ins were installed. You may want to try adding the TPTP update site as described in the installation guide of the left navigation of the TPTP home page to complete your installation. Hi, Yes, that's the solution. You need to add "http://download.eclipse.org/tptp/updates/" in the preference as available update site and enabled it expliticly. This should be mentioned in the rather outdated installation guide because it's not working as described there. http://wiki.eclipse.org/Install_TPTP_with_Update_Manager Thanks, Peter. I re-installed and verified that I did not need to include the TPTP update site when installing from the Helios update site. I reviewed the wiki page containing the install instructions. I have updated the wiki page to include the Helios release. Closing on behalf of the reporter. |