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

[Oscar Dustmann]

Hi Saikat,

the compiler is probably not seeing your x86_64 system headers. These 
are located under /usr/include/x86_64-linux-gnu (or similar).

You can tell gcc to look there by setting the C_INCLUDE_PATH environment 
variable (e.g. in your .bashrc) like so:

export C_INCLUDE_PATH='/usr/include/x86_64-linux-gnu'

Also, make sure that path actually exists and isn't named differently. 
You can identify it with:

find /usr/include -name unistd.h

Regards,
Oscar

On 29/09/13 19:28, Saikat Dutta wrote:> 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
 >
 >
 >
 > _______________________________________________
 > klee-dev mailing list
 > klee-dev at imperial.ac.uk
 > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
 >