* Jeremy Dawson:
Trying to run polyml I get the following error:
[jeremy@home2006 ~]$ poly poly: error while loading shared libraries: libstdc++.so.5: cannot open shared object file: No such file or directory
It seems that binary was compiled with the wrong GCC version. This is odd, because the RPM says "3.fc12", which is fairly recent.
What does "type -a poly" show?