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

[Urmas Repinski]

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: saikatdutta.pro2011 at gmail.com
To: klee-dev at imperial.ac.uk; daniel.liew at imperial.ac.uk; antiagainst at gmail.com
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 at 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
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed