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

[Cristian Cadar]

Hi Peng, we are shortly going to make public an improved version of 
klee-uclibc, which will hopefully fix your problem.  I hope this will 
happen in the next week.

Best,
Cristian

On 21/12/2013 06:23, Peng Li wrote:
> 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
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev