Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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!
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement