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

Saikat Dutta saikatdutta.pro2011 at gmail.com
Sun Sep 29 19:06:04 BST 2013 

Hi,
The link provided by Urmas solved the problem... i had to do:

sudo ln -s /usr/include/asm-generic /usr/include/asm

But now i face a new problem when i do make:

cc1: warning: unrecognized gcc debugging option: N
In file included from /usr/include/linux/posix_types.h:47,
                 from /usr/include/linux/types.h:8,
                 from /usr/include/linux/if_ether.h:24,
                 from ./include/netinet/if_ether.h:26,
                 from ./include/netinet/ether.h:26,
                 from libc/inet/ether_addr.c:31:
/usr/include/asm/posix_types.h:14: error: redefinition of typedef
'__kernel_ino_t'
./include/bits/kernel_types.h:20: error: previous declaration of
'__kernel_ino_t' was here
/usr/include/asm/posix_types.h:18: error: redefinition of typedef
'__kernel_mode_t'
./include/bits/kernel_types.h:21: error: previous declaration of
'__kernel_mode_t' was here
/usr/include/asm/posix_types.h:22: error: redefinition of typedef
'__kernel_nlink_t'
./include/bits/kernel_types.h:22: error: previous declaration of
'__kernel_nlink_t' was here
/usr/include/asm/posix_types.h:26: error: redefinition of typedef
'__kernel_pid_t'
./include/bits/kernel_types.h:24: error: previous declaration of
'__kernel_pid_t' was here
/usr/include/asm/posix_types.h:30: error: redefinition of typedef
'__kernel_ipc_pid_t'
./include/bits/kernel_types.h:25: error: previous declaration of
'__kernel_ipc_pid_t' was here
/usr/include/asm/posix_types.h:34: error: redefinition of typedef
'__kernel_uid_t'
./include/bits/kernel_types.h:26: error: previous declaration of
'__kernel_uid_t' was here
/usr/include/asm/posix_types.h:35: error: redefinition of typedef
'__kernel_gid_t'
./include/bits/kernel_types.h:27: error: previous declaration of
'__kernel_gid_t' was here
/usr/include/asm/posix_types.h:39: error: redefinition of typedef
'__kernel_suseconds_t'
./include/bits/kernel_types.h:32: error: previous declaration of
'__kernel_suseconds_t' was here
/usr/include/asm/posix_types.h:43: error: redefinition of typedef
'__kernel_daddr_t'
./include/bits/kernel_types.h:34: error: previous declaration of
'__kernel_daddr_t' was here
/usr/include/asm/posix_types.h:47: error: redefinition of typedef
'__kernel_uid32_t'
./include/bits/kernel_types.h:38: error: previous declaration of
'__kernel_uid32_t' was here
/usr/include/asm/posix_types.h:48: error: redefinition of typedef
'__kernel_gid32_t'
./include/bits/kernel_types.h:39: error: previous declaration of
'__kernel_gid32_t' was here
/usr/include/asm/posix_types.h:52: error: conflicting types for
'__kernel_old_uid_t'
./include/bits/kernel_types.h:40: error: previous declaration of
'__kernel_old_uid_t' was here
/usr/include/asm/posix_types.h:53: error: conflicting types for
'__kernel_old_gid_t'
./include/bits/kernel_types.h:41: error: previous declaration of
'__kernel_old_gid_t' was here
/usr/include/asm/posix_types.h:57: error: conflicting types for
'__kernel_old_dev_t'
./include/bits/kernel_types.h:42: error: previous declaration of
'__kernel_old_dev_t' was here
/usr/include/asm/posix_types.h:66: error: conflicting types for
'__kernel_size_t'
./include/bits/kernel_types.h:28: error: previous declaration of
'__kernel_size_t' was here
/usr/include/asm/posix_types.h:67: error: conflicting types for
'__kernel_ssize_t'
./include/bits/kernel_types.h:29: error: previous declaration of
'__kernel_ssize_t' was here
/usr/include/asm/posix_types.h:68: error: conflicting types for
'__kernel_ptrdiff_t'
./include/bits/kernel_types.h:30: error: previous declaration of
'__kernel_ptrdiff_t' was here
/usr/include/asm/posix_types.h:79: error: redefinition of typedef
'__kernel_off_t'
./include/bits/kernel_types.h:23: error: previous declaration of
'__kernel_off_t' was here
/usr/include/asm/posix_types.h:80: error: redefinition of typedef
'__kernel_loff_t'
./include/bits/kernel_types.h:43: error: previous declaration of
'__kernel_loff_t' was here
/usr/include/asm/posix_types.h:81: error: redefinition of typedef
'__kernel_time_t'
./include/bits/kernel_types.h:31: error: previous declaration of
'__kernel_time_t' was here
/usr/include/asm/posix_types.h:82: error: redefinition of typedef
'__kernel_clock_t'
./include/bits/kernel_types.h:33: error: previous declaration of
'__kernel_clock_t' was here
/usr/include/asm/posix_types.h:85: error: redefinition of typedef
'__kernel_caddr_t'
./include/bits/kernel_types.h:35: error: previous declaration of
'__kernel_caddr_t' was here
/usr/include/asm/posix_types.h:86: error: redefinition of typedef
'__kernel_uid16_t'
./include/bits/kernel_types.h:36: error: previous declaration of
'__kernel_uid16_t' was here
/usr/include/asm/posix_types.h:87: error: redefinition of typedef
'__kernel_gid16_t'
./include/bits/kernel_types.h:37: error: previous declaration of
'__kernel_gid16_t' was here
/usr/include/asm/posix_types.h:91: error: conflicting types for
'__kernel_fsid_t'
./include/bits/kernel_types.h:51: error: previous declaration of
'__kernel_fsid_t' was here
make: *** [libc/inet/ether_addr.os] Error 1




On Sun, Sep 29, 2013 at 11:33 PM, Oscar Dustmann <
Oscar.Dustmann at rwth-aachen.de> wrote:

> 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<https://mailman.ic.ac.uk/mailman/listinfo/klee-dev>
> >
>
-------------- next part --------------
HTML attachment scrubbed and removed

More information about the klee-dev mailing list