Hello, Saikat. Just googled a little and found some solution.
Try to execute steps, described behind this link. http://forums.bodhilinux.com/index.php?/topic/3723-solved-kernel-header-files-missing/ This should help, Urmas Repinski Date: Sun, 29 Sep 2013 22:58:14 +0530 From: [email protected] To: [email protected]; [email protected]; [email protected] Subject: [klee-dev] Build Errors of klee-uclibc in Ubuntu 11.10 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 makecc1: 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.osIn 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 directoryIn 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 directorymake: *** [libcrypt/des.os] Error 1 Please help.-Saikat _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
