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

[Peng Li]

Hi Cristian

Great to hear that, looks like that KLEE will be ported to LLVM-3.2 too?

Thanks
Peng

On 12/21/2013 3:08 PM, Cristian Cadar wrote:
> 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
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev