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=491712 --- Comment #1 from Richard W.M. Jones <rjones@xxxxxxxxxx> 2009-03-25 07:07:06 EDT --- Koji scratch-build in Rawhide: http://koji.fedoraproject.org/koji/taskinfo?taskID=1257820 /usr/bin/gmptop is an OCaml toplevel, but is protected from being damaged by prelink .. Good. $ hexdump -C /usr/bin/gmptop | tail -3 00239d20 00 0e 23 44 42 55 47 00 0d 2c 9f 00 00 00 06 43 |..#DBUG..,.....C| 00239d30 61 6d 6c 31 39 39 39 58 30 30 38 |aml1999X008| 00239d3b > I would also appreciate comments on whether I should be going back and > modifying the package's makefile to attempt to build libgmp_caml.a as a shared > object - I believe this would be necessary to allow gmp.cma to be loaded > dynamically. I have no idea about this, but it shouldn't affect the review. -- 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