Created attachment 488554 [details]
Assembly file illustrating the problem
Description of problem:
I'm trying to build the latest version of coq in Rawhide. The build fails on an ocaml-generated assembly file (attached). The error message is:
/tmp/camlasmfec99f.s: Assembler messages:
/tmp/camlasmfec99f.s:1023: Error: .size expression with symbol `camlSegmenttree_log2_1037' does not evaluate to a constant
file "lib/segmenttree.ml", line 1, characters 0-1:
Error: Assembler error, input left in file /tmp/camlasmfec99f.s
Manual inspection shows that there is nothing wrong with that symbol. It is declared properly, prior to the reference to it in the .size directive. Also, the same file is processed successfully and without complaint by gas on a Fedora 14 machine.
Version-Release number of selected component (if applicable):
Steps to Reproduce:
1. Attempt to build vanilla coq-8.3pl1 from the coq web site
The build fails with the above error message on Rawhide. (I haven't tried F-15 yet to see if the same failure happens there, but will soon.)
Manual inspection has been insufficient then. You have:
.L124: call caml_call_gc@PLT
.L125: jmp .L123
.L122: .quad 0x4000000000000000
thus obviously the size can't be constant, as . in the size expression
is in .rodata.cst8 section (in particular .L122+8), while camlSegmenttree__log2_1037 is in .text section.
Thanks, I will apply:
I checked the patch that Xavier applied upstream and it is
identical to this one.
Also ported it to F15:
ocaml-3.12.0-5.fc15 has been submitted as an update for Fedora 15.
(In reply to comment #1)
> Manual inspection has been insufficient then. You have:
D'oh! Thanks everybody for your quick responses. /Me goes off to study the assembly language book again.
* should fix your issue,
* was pushed to the Fedora 15 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing ocaml-3.12.0-5.fc15'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
ocaml-3.12.0-5.fc15 has been pushed to the Fedora 15 stable repository. If problems still persist, please make note of it in this bug report.