检查原因，执行
1
/opt/eclipse/plugins/org.eclipse.tptp.platform.ac.linux_ia32_4.4.1.v200806171132/agent_controller/bin/ACStart.sh
提示缺少 ibstdc++-libc6.2-2.so.3 下载
