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
This is in Fedora 13 running the package
[jeremy@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
[jeremy@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
[jeremy@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