Samuel Mimram wrote:
Hello,
[Please CC me on reply]
I have some problems with the compilation of coq on 68k: http://buildd.debian.org/fetch.php?&pkg=coq&ver=8.0pl1-3&arch=m68k&stamp=1093576463&file=log&as=raw
The configure gives the error
ocamlrun: error while loading shared libraries: unexpected PLT reloc type 0x00 I found the Objective-Caml compiler but cannot find its version number! Is it installed properly ? Configuration script failed! make: *** [configure-stamp] Error 1
This package did compile on m68k a few days ago (I see no change in the package that could have caused this error) and I don't have this kind of error on other archs.
Googling a bit gave me the thread http://lists.debian.org/debian-68k/2003/02/msg00008.html on this list, where it turned out to be a binutils / glibc problem.
Has anyone an idea of what's going wrong here?
Thank you in advance.
Please direct m68k-build questions to [EMAIL PROTECTED] unless you really wanted to ask this on the debian on m68k-machines users maillist, which debian-68k is. CC set.
HTH, Erik -- -------------------------------------------------------------------------- Erik C.J. Laan elaan at dds.nl Please reply below the message, please cut unrelevant pieces from a reply. --------------------------------------------------------------------------
