Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=531019 --- Comment #7 from Richard W.M. Jones <rjones@xxxxxxxxxx> 2009-10-26 14:09:47 EDT --- (In reply to comment #4) > [beppe@fragola]$ cduce > cduce: error while loading shared libraries: libcurl.so.3: cannot open shared > object file: No such file or directory This error is somewhat odd, because I don't even see cduce depending at all on libcurl. For me: $ ldd * cduce: linux-gate.so.1 => (0x003e2000) librt.so.1 => /lib/librt.so.1 (0x00f1c000) libpcre.so.0 => /lib/libpcre.so.0 (0x00773000) libm.so.6 => /lib/libm.so.6 (0x005e5000) libdl.so.2 => /lib/libdl.so.2 (0x00c4f000) libc.so.6 => /lib/libc.so.6 (0x00110000) libpthread.so.0 => /lib/libpthread.so.0 (0x00d85000) /lib/ld-linux.so.2 (0x002b7000) cduce_mktop: not a dynamic executable dtd2cduce: linux-gate.so.1 => (0x008fe000) librt.so.1 => /lib/librt.so.1 (0x0031d000) libpcre.so.0 => /lib/libpcre.so.0 (0x006d8000) libm.so.6 => /lib/libm.so.6 (0x0024c000) libdl.so.2 => /lib/libdl.so.2 (0x001e6000) libc.so.6 => /lib/libc.so.6 (0x00951000) libpthread.so.0 => /lib/libpthread.so.0 (0x00fad000) /lib/ld-linux.so.2 (0x00627000) In any case, please try the updated packages (see following comments). -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-ocaml-list mailing list Fedora-ocaml-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-ocaml-list