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@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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
