My Java Notebook

Prerequisites:

The Eclipse tptp Agent Controller is compiled using libstdc++-libc6.2-2.so.3. If we don't have it under /usr/lib, then we need to install it:

sudo apt-get install libstdc++2.10-glibc2.2

Using Ubuntu Hardy 8.04? take a look here on how to install libstdc++2.10-glibc2.2

Agent Controller Installation:

$ sudo mkdir /opt/agntctrl.linux_ia32-TPTP-4.4.1
$ sudo ln -s /opt/agntctrl.linux_ia32-TPTP-4.4.1 /opt/tptpAC
$ cd /opt/tptpAC/
$ sudo unzip /home/shimi/agntctrl.linux_ia32-TPTP-4.4.1.zip

Run the configuration script. The script will create the Eclipse tptp Agent Controller configuration file /opt/tptpAC/config/serviceconfig.xml

$ cd bin
$ sudo SetConfig.sh

Add the following lines to ~/.bashrc

PATH=$PATH:/opt/tptpAC/bin
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/opt/tptpAC/lib
TEMP=/tmp


Change the first line in the scripts ACStart.sh and ACStop.sh from
#!/bin/sh
to
#!/bin/bash