TPTP installation problem
|
View:
New views
3 Messages
—
Rating Filter:
Alert me
|
 |
TPTP installation problem
by Aparna_v
::
Rate this Message:
|
|||||||||||||||||||||
|
|
Re: TPTP installation problem
by Joshua Bowles
::
Rate this Message:
|
|||||||||||||||||||||
|
|
Re: TPTP installation problem
by Joel Cayne
::
Rate this Message:
In addition to Josh's suggestions, you may find the Update Site instructions on our website useful (http://www.eclipse.org/tptp/home/downloads/updateManager.php). These instructions will help you setup TPTP from an update site into your Eclipse SDK. The two unsatisfied dependencies are from the Eclipse Platform project.
If you have Eclipse 3.4+, the easiest method of installation is to unzip a TPTP runtime zip into the /eclipse/dropins folder after installing the required dependancies (minimum EMF and XSD). The Error message you received suggests that your Eclipse doesn't have a plugin or feature from the required version range. In this case it looks like your org.eclipse.platform feature is a version that is less than 3.4.0 and needs to be updated before installing TPTP 4.5+. Normally the update manager will take care of the dependencies for you but it looks like you updated your JDT and CVS but not the eclipse platform which might cause the problem you are having. If updating the platform doesn't work, we'll need some more information about the eclipse you have set up and how you're trying to install TPTP. Specifically what versions of Eclipse, Java, EMF and XSD do you have installed, which version of TPTP you are trying to install and from which site/repository. Regards Joshua Bowles TPTP Build Maintenance IBM Toronto Lab e-mail: jbowles@...
Hi, When I try to install the TPTP using Eclipse update manager, I find the following error...I think i have installed all the other packages as per the instructions given.. annot complete the request. See the details. Unsatisfied dependency: [org.eclipse.cvs.feature.group 1.1.0.v20080603-7C79E8M9EI99m9c9S] requiredCapability: org.eclipse.equinox.p2.iu/org.eclipse.platform.feature.group/[3.3.0,4.0.0) Unsatisfied dependency: [org.eclipse.jdt.feature.group 3.4.0.v20080603-2000-7o7tEAXEFpPqqoXxgaBhhhq] requiredCapability: org.eclipse.equinox.p2.iu/org.eclipse.platform.feature.group/[3.4.0,4.0.0) Could anyone help me with this issue please... I am completely new to this tool..._______________________________________________ tptp-testing-tools-dev mailing list tptp-testing-tools-dev@... https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev _______________________________________________ tptp-testing-tools-dev mailing list tptp-testing-tools-dev@... https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev _______________________________________________ tptp-testing-tools-dev mailing list tptp-testing-tools-dev@... https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev |
Joshua Bowles---04/29/2009 05:11:53 PM---If you have Eclipse 3.4+, the easiest method of installation is to unzip a TPTP runtime zip into the /eclipse/dropins folder
| Free embeddable forum powered by Nabble | Forum Help |
