For Windows, this may be due to a missing link to the Integrated Agent Controller (IAC)
- (IAC) - Workbench TPTP, Java TPTP- , - .
TPTP .
Integrated Agent Controller , TPTP , -. .
, TPTP, , :
- ()
. workspace\.metadata\.plugins\org.eclipse.tptp.platform.iac.administrator\config\ serviceconfig.xml - , IAC :
localhost ( Window- > preferences- > Agent Controller- > hosts- > Test connection).
. ( ) .
.
, Linux:
gcc libstdc++xx-glibcy.y, 244213 240677
, . , .
Extract:
.
: deb libstdc++2.10-glibc2.2_2.95.4-27_i386.deb sudo dpkg....
( 2010: gcc 3.x .
, , (gcc-3.3) libstdc++5_3.3.6-20_i386.deb, a. deb :
sudo dpkg --install libstdc++5_3.3.6-20_i386.deb
, 64-:
sudo dpkg --force-architecture --install libstdc++5_3.3.6-20_i386.deb
.)
, root.
-, root.
, deb root, , , , .
( , ) ~/usr.
, autotools --prefix=~/usr, ~/usr/bin, ~/usr/lib, ~/usr/share ..
deb, , ~/usr .
-, deb , :
dpkg -x libstdc++2.10-glibc2.2_2.95.4-27_i386.deb tmp/
:
tmp/
`
|
| |
| `
`
`
`
|
|
|
`
libstdc++*.so ~/usr/lib , , deb :
dpkg -x libstdc++2.10-glibc2.2_2.95.4-27_i386.deb ~/
- , ( , ).
, LD_LIBRARY_PATH LD_RUN_PATH, , ~/.bashrc ~/.profile:
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:~/usr/lib
export LD_LIBRARY_PATH
LD_RUN_PATH=$LD_RUN_PATH:~/usr/lib
export LD_RUN_PATH
Eclipse TPTP . .