On 10/21/2010 08:01 AM, Florian Weimer wrote:
* Jeremy Dawson:
Trying to run polyml I get the following error:
[jer...@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?
Florian,
> [jer...@home2006 x86-linux]$ type -a poly
poly is /usr/bin/poly
Not terribly useful, I suspect.
Jeremy
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
