CloudSuite - Cloud9 compiling issues

Environment: Linux 3.5  Ubuntu 12.10

LLVM 2.9  building error

Building Cloud9 in CloudSuite from EPFL requires LLVM.

While compiling LLVM, I had this error

Intercept.cpp:69:67: error: lseek64 was not declared in this scope

 This can be solved by adding  #include < unistd.h > into Intercept.cpp.

Referece:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=673266


KLEE building error

When compiling KLEE, I had this error message

:1:24: error: asm/unistd.h

It can be solved by creating a soft link to a specific architecture directory.

ln -s /usr/include/x86_64-linux-gnu/asm /usr/include/asm

Then, another problem shows up when assembler is processing crtn.o

Error: .size expression for _init does not evaluate to a constant

The solution is to comment out

 .size _init,.-_init and .size _fini, .-_fini

in ./libc/sysdeps/linux/x86_64/crtn.S

Note, you should change x86_64 to your target machine's architecture, if it is not x86_64.

Reference:
http://ubuntuforums.org/showthread.php?t=1861069

Picture today: West Point, NY [courtesy of my dear wife - Claire Huang]