Home » Newcomers » Newcomers » TPTP install instructions - who should I send corrections to?
| TPTP install instructions - who should I send corrections to? [message #169294] |
Mon, 04 September 2006 14:26  |
Eclipse User |
|
|
|
Originally posted by: tim-news.baverstock.org.uk
Hi.
I have Eclipse 3.2 installed, and I was trying to add the TPTP plugin
based on the automatic update instructions at
http://www.eclipse.org/tptp/home/downloads/installguide/Inst allGuide42.html.
I seem to have managed it, but it needed lots of jiggling as follows:
I added 'TPTP Update site' at http://eclipse.org/tptp/updates/site.xml
to the 'Update sites to visit' list, but when I selected the TPTP top
node in the 'Search Results' window I got the error:
Unable to retrieve remote reference
" http://eclipse.org/tptp/updates/features/org.eclipse.tptp.mo nitoring_4.2.0.v200606131519---OmSTOTOd6a3aR.jar".
[Server returned HTTP response code: "404 Not Found" for URL:
http://eclipse.org/tptp/updates/features/org.eclipse.tptp.mo nitoring_4.2.0.v200606131519---OmSTOTOd6a3aR.jar.]
at the top of the window. I unselected the '4.2.0 Features', and had
this error:
Deprecated plugins of Platform project (4.1.0) requires plug-in
"org.eclipse.emf.ecore.xmi".
and unselecting the deprecated plugins got me this:
TPTP ProbeKit (4.1.0) requires plug-in "org.eclipse.emf.edit".
So I looked around and found http://www.eclipse.org/emf/updates/ which
recommended this EMF update url:
http://download.eclipse.org/tools/emf/updates/site.xml
Adding this fixed the above error, but gave me this:
TPTP Analysis Engine (4.1.0) requires plug-in
"org.eclipse.hyades.logging.core".
and org.eclipse.hyades is apparently obsolete. I gather that it's
something to do with remote logging which I really don't care about, but
several parts of 'TPTP 4.1.0 Features' seem to think it's important.
While jiggling things around, I enabled the 'TPTP 4.1.0.1 Features'
which changed the error message to something about wst (which I can't
find an update site for), so I went in and disabled 4.1.0.1's BIRT
modules and anything else in there that complained. I can now get it to
a point where it thinks it's happy to install stuff, but I still need
the EMF chunk (which the documentation doesn't mention).
Who should I contact to get the documentation updated?
Thanks
Tim
|
|
|
| Re: TPTP install instructions - who should I send corrections to? [message #169326 is a reply to message #169294] |
Mon, 04 September 2006 16:20  |
| Eclipse User |
|
|
|
Tim Baverstock wrote:
> Hi.
>
> I have Eclipse 3.2 installed, and I was trying to add the TPTP plugin
> based on the automatic update instructions at
> http://www.eclipse.org/tptp/home/downloads/installguide/Inst allGuide42.html.
> I seem to have managed it, but it needed lots of jiggling as follows:
>
> I added 'TPTP Update site' at http://eclipse.org/tptp/updates/site.xml
> to the 'Update sites to visit' list, but when I selected the TPTP top
> node in the 'Search Results' window I got the error:
>
> Unable to retrieve remote reference
> " http://eclipse.org/tptp/updates/features/org.eclipse.tptp.mo nitoring_4.2.0.v200606131519---OmSTOTOd6a3aR.jar".
> [Server returned HTTP response code: "404 Not Found" for URL:
> http://eclipse.org/tptp/updates/features/org.eclipse.tptp.mo nitoring_4.2.0.v200606131519---OmSTOTOd6a3aR.jar.]
>
>
> at the top of the window. I unselected the '4.2.0 Features', and had
> this error:
>
> Deprecated plugins of Platform project (4.1.0) requires plug-in
> "org.eclipse.emf.ecore.xmi".
>
> and unselecting the deprecated plugins got me this:
>
> TPTP ProbeKit (4.1.0) requires plug-in "org.eclipse.emf.edit".
>
> So I looked around and found http://www.eclipse.org/emf/updates/ which
> recommended this EMF update url:
> http://download.eclipse.org/tools/emf/updates/site.xml
>
> Adding this fixed the above error, but gave me this:
>
> TPTP Analysis Engine (4.1.0) requires plug-in
> "org.eclipse.hyades.logging.core".
>
> and org.eclipse.hyades is apparently obsolete. I gather that it's
> something to do with remote logging which I really don't care about, but
> several parts of 'TPTP 4.1.0 Features' seem to think it's important.
>
> While jiggling things around, I enabled the 'TPTP 4.1.0.1 Features'
> which changed the error message to something about wst (which I can't
> find an update site for), so I went in and disabled 4.1.0.1's BIRT
> modules and anything else in there that complained. I can now get it to
> a point where it thinks it's happy to install stuff, but I still need
> the EMF chunk (which the documentation doesn't mention).
>
> Who should I contact to get the documentation updated?
>
> Thanks
>
> Tim
As always, bugzilla is your friend. File a bugzilla... TPTP project,
Platform.documentation as the component.
Not sure how much you have working, but a few things should be noted:
Eclipse 3.2 works with TPTP 4.2 ... I wouldn't try that 4.1 TPTP with
Eclipse 3.2 as there will be problems. 4.1(.0.?) goes with Eclipse 3.1(.2).
If you have Eclipse 3.2, the *easiest* way to get TPTP is to use the
Help=>Software Install=>Find new features to install=>Callisto Discovery
Site. Then select the piece(s) of TPTP you want, Select Required, and
all should work fine.
Hmmmm, now that I think about it, I think *I* filed a bugzilla against
something similar in the early days following the Callisto release...
hmmmm, I filed it, then I decided it was probably best the way it was...
don't know if you want to Reopen <
https://bugs.eclipse.org/bugs/show_bug.cgi?id=149697 > or file a new one.
--
RDS
Randy D. Smith randy (dot) d (dot) smith (at) intel (dot) com
Eclipse TPTP Committer, Platform Proj (data collection/agent controller)
|
|
|
| Re: TPTP install instructions - who should I send corrections to? [message #169735 is a reply to message #169326] |
Wed, 06 September 2006 07:03 |
| Eclipse User |
|
|
|
Originally posted by: tim-news.baverstock.org.uk
Randy D. Smith wrote:
> As always, bugzilla is your friend. File a bugzilla... TPTP project,
> Platform.documentation as the component.
Hi Randy. Thanks - I thought to do that, but wanted to check I wasn't
missing anything obvious before I did.
The missing 4.2 file seems worth reporting regardless of the
documentation fix - I presume TPTP.web is right for that.
I can't work out how to re-open your bug, but I'll make mention of it in
the documentation bug I'll also open - at the least it seems the
document should say that 4.1 isn't appropriate, and it seems harmless to
mention the alternative along with the issues so the person installing
can choose - it might be they don't really know what's going on (like
me) and would find this Callista thing more appropriate.
Cheers,
Tim
> Not sure how much you have working, but a few things should be noted:
> Eclipse 3.2 works with TPTP 4.2 ... I wouldn't try that 4.1 TPTP with
> Eclipse 3.2 as there will be problems. 4.1(.0.?) goes with Eclipse 3.1(.2).
>
> If you have Eclipse 3.2, the *easiest* way to get TPTP is to use the
> Help=>Software Install=>Find new features to install=>Callisto Discovery
> Site. Then select the piece(s) of TPTP you want, Select Required, and
> all should work fine.
>
> Hmmmm, now that I think about it, I think *I* filed a bugzilla against
> something similar in the early days following the Callisto release...
> hmmmm, I filed it, then I decided it was probably best the way it was...
> don't know if you want to Reopen <
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=149697 > or file a new one.
>
|
|
|
Goto Forum:
Current Time: Wed May 28 18:50:34 EDT 2025
Powered by FUDForum. Page generated in 0.09279 seconds |
Home