error

make[1]: Entering directory `/Data1/INFORMATIQUE/OCAML/CompCert/test/c'
../../ccomp -stdlib ../../runtime -dc -dclight -dasm -o fib.compcert fib.c -lm
In file included from /boot/system/develop/headers/posix/sys/types.h:11:0,
                 from /boot/system/develop/headers/posix/alloca.h:9,
                 from /boot/system/develop/headers/posix/stdlib.h:9,
                 from /boot/system/develop/headers/bsd/stdlib.h:9,
                 from fib.c:1:
/boot/system/develop/headers/os/BeBuild.h:51:3: error: #error Unsupported gcc version!
 # error Unsupported gcc version!