How to install Eclipse TPTP 5.4x on Ubuntu Linux 9.04?

The error message:

org.eclipse.tptp.platform.execution.exceptions.AgentControllerUnavailableException
Error: Unable to connect to the Agent Controller.Connection refused

And when trying to start the AC server manually, you get:

user@system: /usr/local/share/applications/eclipse_3.4.2/plugins/org.eclipse.tptp.platform.ac.linux_ia32_4.4.100.v200902101418/agent_controller/bin/ACStop.sh
ACServer: error while loading shared libraries: libstdc++-libc6.2-2.so.3: cannot open shared object file: No such file or directory

For the solution, see here (written for Ubuntu 8.04, but applies to 9.04 also).

In short it is to get the library, which is no longr part of Ubuntu:

<code>wget mirrors.kernel.org/ubuntu/pool/universe/g/gcc-2.95/libstdc++2.10-glibc2.2_2.95.4-24_i386.deb
sudo dpkg --install libstdc++2.10-glibc2.2_2.95.4-24_i386.deb</code>

Posted

in

,

by

Tags:

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.