Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
Summary: Wrong dependency for cduce
https://bugzilla.redhat.com/show_bug.cgi?id=531019
Summary: Wrong dependency for cduce Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: high Priority: low Component: cduce AssignedTo: rjones@redhat.com ReportedBy: gc@pps.jussieu.fr QAContact: extras-qa@fedoraproject.org CC: rjones@redhat.com, fedora-ocaml-list@redhat.com Classification: Fedora
Description of problem:
The cduce binary in the distribution (i586) is compiled for libcurl.so.3 while the package
libcurl-7.19.6-1.fc11.i586
provides libcurl.so.4
Version-Release number of selected component (if applicable):
cduce-0.5.2.1-14
How reproducible:
Call cduce toplevel and you obtain
cduce: error while loading shared libraries: libcurl.so.3: cannot open shared object file: No such file or directory
Additional info:
cduce 0.5.3 is out
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
Richard W.M. Jones rjones@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED
--- Comment #1 from Richard W.M. Jones rjones@redhat.com 2009-10-26 13:00:25 EDT --- Hi Giuseppe, are you sure this is Fedora 11? It's working for me over here.
I'm glad to see that cduce 0.5.3 is out. I will package this soon, and then hopefully any dependency problem will be resolved at the same time.
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
Richard W.M. Jones rjones@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Flag| |needinfo?(gc@pps.jussieu.fr | |)
--- Comment #2 from Richard W.M. Jones rjones@redhat.com 2009-10-26 13:02:29 EDT --- Hang about, ignore comment 1, that was me being very confused :-)
So we have cduce 0.5.3 in Fedora 12 and above. See: http://cocan.org/fedora
Our policy is that we wouldn't normally backport packages to older versions of cduce, unless someone specifically requested it.
If that is your request, then please let me know by making a comment to that effect here.
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 #3 from Richard W.M. Jones rjones@redhat.com 2009-10-26 13:04:06 EDT --- (In reply to comment #2)
Our policy is that we wouldn't normally backport packages to older versions of cduce,
It's been a long day. That should say "to older versions of Fedora".
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
NOREPLY gc@pps.jussieu.fr changed:
What |Removed |Added ---------------------------------------------------------------------------- Flag|needinfo?(gc@pps.jussieu.fr | |) |
--- Comment #4 from NOREPLY gc@pps.jussieu.fr 2009-10-26 13:28:47 EDT --- Hi Richard, did I messed things up once more? Possible since I just discovered this "bug" by hazard, insofar as I always use an home-brewed version of Cduce. So if it is my mistake I apologize: from your soliloquy above I understand you are pretty busy aren't you? :-)
That said, yes it is Fedora 11:
[beppe@fragola]$ uname -a Linux fragola 2.6.30.8-64.fc11.i586 #1 SMP Fri Sep 25 04:30:19 EDT 2009 i686 i686 i386 GNU/Linux
I tried to remove cduce and cduce-devel and reinstall them by yum so as to be sure to have the lastest package of the distribution and I still obtain the same error.
[beppe@fragola]$ cduce cduce: error while loading shared libraries: libcurl.so.3: cannot open shared object file: No such file or directory
I did the same with curl and libcurl
[beppe@fragola]$ sudo rpm -e --nodeps libcurl curl && sudo yum install libcurl curl
and obtained the same result. What else can I check?
BTW I did not try rawhide since the consequence of yum update --enablerepo=rawhide cduce cduce-devel is to update half of the distribution. But on Fedora 10 everything works fine (version 0.5.2 of cduce)
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 #5 from NOREPLY gc@pps.jussieu.fr 2009-10-26 13:36:30 EDT --- Specifically, to your request
(In reply to comment #2)
Our policy is that we wouldn't normally backport packages to older versions of cduce, unless someone specifically requested it.
If that is your request, then please let me know by making a comment to that effect here.
As long as I know Fedora 11 is not an "old" version of Fedora, but the current one (or did it become "old" as soon as the 12 beta version became available?) :-)
No I do not request to have the 0.5.3 in F11, since differences are minor bugfixes: there are much bigger differences soon to come especially in connection with ocsigen. However it would be nice to have a package that actually works (unless it was my mistake) being it the 0.5.2 or 0.5.3.
I'll continue to investigate the issue.
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 #6 from Richard W.M. Jones rjones@redhat.com 2009-10-26 13:46:37 EDT --- OK ... "old" just means not the development version.
I'll fix this in F11 anyway with a rebuild.
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@redhat.com 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).
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 #8 from Fedora Update System updates@fedoraproject.org 2009-10-26 14:10:38 EDT --- cduce-0.5.2.1-14.fc11.2 has been submitted as an update for Fedora 11. http://admin.fedoraproject.org/updates/cduce-0.5.2.1-14.fc11.2
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
NOREPLY gc@pps.jussieu.fr changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution| |NOTABUG
--- Comment #9 from NOREPLY gc@pps.jussieu.fr 2009-10-26 15:41:36 EDT --- I just tried cduce on a clean install of F11 ... it works. So I deduce that the problem is just local to me. Probably some interference with something I installed to develop CDuce. Sorry for bothering, I should have tried it before posting the bug but wow, it was huge to do it.
I closed the bug. Do you want me to try the new package anyway?
---Beppe---
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 #10 from Richard W.M. Jones rjones@redhat.com 2009-10-27 04:42:55 EDT --- It's fine, you don't need to try the new package.
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 #11 from Fedora Update System updates@fedoraproject.org 2009-11-10 12:43:05 EDT --- cduce-0.5.2.1-14.fc11.2 has been pushed to the Fedora 11 stable repository. If problems still persist, please make note of it in this bug report.
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
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Fixed In Version| |0.5.2.1-14.fc11.2 Resolution|NOTABUG |ERRATA
ocaml-devel@lists.fedoraproject.org