Hello, The buildds for coq are not so good. Native code compilation fails on IA64 and arm on a segv (which is not so much a problem since it fallbacks on byte-code which works). I have already submitted a BR upstream about that. More worryingly it does not build at all on alpha. The log ends on this 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 Has anyone an idea about that? If we can't fix this in time, do you think we'll still be able to have coq 8 in sarge ? Thanks, Sam.
Attachment:
pgpMBrvaaROBV.pgp
Description: PGP signature