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
This is in Fedora 13 running the package
[jer...@home2006 ~]$ rpm -q -i polyml
Name : polyml Relocations: (not relocatable)
Version : 5.2.1 Vendor: Fedora Project
Release : 3.fc12 Build Date: Tue 28 Jul 2009
02:18:46 PM EST
But the package allegedly requires libstdc++.so.6
[jer...@home2006 ~]$ rpm -q -R polyml
libc.so.6
libc.so.6(GLIBC_2.0)
libdl.so.2
libgcc_s.so.1
libm.so.6
libpolyml.so.1
libpthread.so.0
libstdc++.so.6
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rtld(GNU_HASH)
rpmlib(PayloadIsXz) <= 5.2-1
and that file is there
[jer...@home2006 ~]$ ls -l /usr/lib/libstdc++*
lrwxrwxrwx. 1 root root 19 May 13 11:19 /usr/lib/libstdc++.so.6 ->
libstdc++.so.6.0.13
-rwxr-xr-x. 1 root root 942040 May 4 07:14 /usr/lib/libstdc++.so.6.0.13
Is this a problem with polyml or with Fedora ?
(BTW, polyml-4.1.4 works fine)
Grateful for any help.,
Jeremy
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
