I've been having trouble with the "make world" phase of compiling OCaml 
3.08.3 with gcc 4.0.0.

I'm using Linux 2.4.26 on an AMD Athlon XP.

There error I get is:

/gcc-4.0.0/bin/gcc -O2 -O -I../../byterun -D_FILE_OFFSET_BITS=64 
-D_REENTRANT -fPIC -DBNG_ARCH_ia32 -DBNG_ASM_LEVEL=2   -c -o bng.o bng.c
In file included from bng.c:21:
bng_ia32.c: In function 'bng_ia32_mult_add_digit':
bng_ia32.c:111: error: can't find a register in class 'GENERAL_REGS' while 
reloading 'asm'
make[1]: *** [bng.o] Error 1

To deal with the problem I've just fallen back to gcc 3.4.3 which compiles 
ocaml 3.08.3 successfully.

Bill Smith