libstdc++-libc6.2-2.so.3 on Ubuntu 8.04
April 30th, 2008一个小贴士,对于使用最新出来的 Hardy Heron (Ubuntu 8.04) 的人可能有点儿帮助。
因为要测试最新的 TPTP 4.5.0 Candidate Build,我需要用到 Agent Controller,其指南上载明需要 libstdc++-libc6.2-2.so.3,且该文件必须位于 /usr/lib 目录下。
libstdc++-libc6.2-2.so.3 属于 libstdc++2.10-glibc2.2 包,不幸的是,Hardy 的源中没有这个包,不过幸运的是,在前几个版本中都有这个包,这里我选择了 7.04 Feisty 的源:
deb http://archive.ubuntu.com/ubuntu/ feisty universe
然后:
$ sudo apt-get install libstdc++2.10-glibc2.2
安装完毕后,记得删除这个临时的 Feisty 源。
[UPDATE on Nov 27, 2009] 我在 Ubuntu Linux 9.10 上使用 TPTP 4.6.1,其 AC 已经不再依赖这个库了。