Re: Error while loading shared libraries: unexpected PLT reloc type 0x00

2004-08-27 Thread Erik C.J. Laan
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 P

Re: Testing 2.4.x or 2.6.x kernels on Amiga

2004-08-27 Thread Christian T. Steigies
Moin, On Fri, Aug 27, 2004 at 10:32:24PM -0500, Dr. Peter Krummrich wrote: > > The description sounds good. One question that came to my mind - what can I > do, if the new kernel does not boot, i.e. how can I return to my old > kernel? Can I just boot the old one using amiboot and the old vmlinuz

Re: Testing 2.4.x or 2.6.x kernels on Amiga

2004-08-27 Thread Dr. Peter Krummrich
Hi, thanks for the fast reply and the detailed description. Please find my comments in the copy of your message below. On 26.08.2004, you wrote: > On Thu, Aug 26, 2004 at 09:04:23PM -0500, Peter Krummrich wrote: >> Hi, >> >> seeing all your discussing new kernels, I was wondering about the easi

Re: Testing 2.4.x or 2.6.x kernels on Amiga

2004-08-27 Thread Peter Krummrich
Hi, please find my answer in the text below. On 27.08.2004, you wrote: > On Thu, Aug 26, 2004 at 09:04:23PM -0500, Peter Krummrich wrote: >> Hi, >> >> seeing all your discussing new kernels, I was wondering about the easiest >> way to switch between kernels. I am still using 2.2.20 from Woody,

Error while loading shared libraries: unexpected PLT reloc type 0x00

2004-08-27 Thread Samuel Mimram
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 0x0