Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Got "relocation truncated to fit: BRADDR caml_call_gc" on alpha #3072

Closed
vicuna opened this issue Aug 17, 2004 · 5 comments
Closed

Got "relocation truncated to fit: BRADDR caml_call_gc" on alpha #3072

vicuna opened this issue Aug 17, 2004 · 5 comments
Labels
bug

Comments

@vicuna
Copy link

vicuna commented Aug 17, 2004 •
edited

Original bug ID: 3072
Reporter: administrator
Status: closed (set by @xavierleroy on 2011-12-17T11:32:58Z)
Resolution: not fixable
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @glondu jaap smimram jcristau

Bug description

Full_Name: Samuel Mimram
Version: 3.08.0
OS: linux
Submission from: babasse.csbnet.se (193.11.251.151)

Hello,

While compiling COQ (and especially coqide) on alpha we get the following
error:

COQMKTOP -o bin/coqide.opt
/tmp/camlstartupb2fdeb.o(.text+0x611c): In function `caml_curry2':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x619c): In function `caml_curry3':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x61fc): In function `caml_curry3_1':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x627c): In function `caml_curry4':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x62dc): In function `caml_curry4_1':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x633c): In function `caml_curry4_2':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x63cc): In function `caml_curry5':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x642c): In function `caml_curry5_1':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x648c): In function `caml_curry5_2':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x64ec): In function `caml_curry5_3':
: relocation truncated to fit: BRADDR caml_call_gc
/tmp/camlstartupb2fdeb.o(.text+0x657c): In function `caml_curry6':
: additional relocation overflows omitted from the output
collect2: ld returned 1 exit status
Error during linking
make[1]: *** [bin/coqide.opt] Error 2

You can see the full build log here:

http://buildd.debian.org/fetch.php?&pkg=coq&ver=8.0pl1-1&arch=alpha&stamp=1092657109&file=log&as=raw

I report this here since it seems much more likely to be caml- than coq-related.
I have found this mail which seems to be closely related
http://seclists.org/lists/linux-kernel/2004/Jan/1985.html

Thanks for your help.

Regards,

Samuel.
@vicuna
Copy link
Author

vicuna commented Jan 31, 2005

Comment author: administrator

Problem due to use of bsr instead of jsr for calls to runtime stubs. Fix is not
entirely obvious. Is it worth fixing given that Alpha is officially dead?

@vicuna
Copy link
Author

vicuna commented Mar 8, 2006

Comment author: jaap

The Alpha may be officially dead, but there are still a lot of them around. I, for one, would like to run ocaml on mine, but I'm not well versed enough in both OCaml and Alpha assembly to fix the problem - if someone else could, I'd be very grateful...

@vicuna
Copy link
Author

vicuna commented Jan 18, 2008

Comment author: @damiendoligez

Is anyone still using alpha machines?
Is this problem still present in 3.10.x?

@vicuna
Copy link
Author

vicuna commented Jan 18, 2008

Comment author: jcristau

yes, the bug is still there
see e.g. http://buildd.debian.org/fetch.cgi?pkg=coq;ver=8.1.pl2%2Bdfsg-3;arch=alpha;stamp=1196357631
(coq build log, against ocaml 3.10.0)

@vicuna
Copy link
Author

vicuna commented Dec 17, 2011

Comment author: @xavierleroy

The Alpha architecture is now really dead (it will be missed), and the next major release of OCaml will no longer offer an Alpha native-code generator. I am therefore closing this PR.

@vicuna vicuna closed this as completed Dec 17, 2011
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vicuna