Linux 下 Eclipse tptp agent controller 启动失败
检查原因，执行
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
下载 ibstdc++-libc6.2-2.so.3 解压缩 放置到 /usr/lib/ 问题解决
1 2 3 | wget http://www.opzn.org/wp-content/uploads/2008/09/libstdc-libc62-2so3.gz gunzip libstdc-libc62-2so3.gz mv libstdc-libc62-2so3.gz /usr/lib/ |