[klee-dev] A question about compiling klee-uclibc-0.02-x64 with Clang 3.2

[Peng Li]

Dear All

Right now, I am using Clang-3.2 to compile the klee-uclibc-0.02-x64, and 
I changed the Rules.mak and Rules.mak.llvm to
set $(LLVMGCC) as Clang accordingly,  however, I am always encountering 
an error shown below:

libc/misc/sysvipc/sem.c:73:26: error: use of undeclared identifier 
'IPCOP_semget'
     return __syscall_ipc(IPCOP_semget, key, nsems, semflg, NULL);

Do you have any idea on how to fix it?

Thanks and Happy Holiday!
Peng