[klee-dev] Build Errors of klee-uclibc in Ubuntu 11.10

[Saikat Dutta]

Hi,
I am trying to install klee in Ubuntu 11.10 64 bit . Everything upto stp
installation has been done. llvm-gcc is in my path. But while installing
klee-uclibc 0.02-x64 i face the following problem:

saikat at ubuntu:~/Downloads/klee-uclibc-0.02-x64$ sudo make
cc1: warning: unrecognized gcc debugging option: N
<stdin>:1:24: error: asm/unistd.h: No such file or directory
<stdin>:1:24: error: asm/unistd.h: No such file or directory
  CC libcrypt/des.os
In file included from ./include/sys/param.h:24,
                 from libcrypt/des.c:62:
/usr/include/linux/param.h:4:23: error: asm/param.h: No such file or
directory
In file included from ./include/sys/socket.h:35,
                 from ./include/netinet/in.h:24,
                 from libcrypt/des.c:63:
./include/bits/socket.h:317:24: error: asm/socket.h: No such file or
directory
make: *** [libcrypt/des.os] Error 1


Please help.
-Saikat
-------------- next part --------------
HTML attachment scrubbed and removed