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

Saikat Dutta saikatdutta.pro2011 at gmail.com
Mon Sep 30 18:55:54 BST 2013 

Hi,
I found the solution. It seems Oscar was correct.
 export C_INCLUDE_PATH='/usr/include/**x86_64-linux-gnu'
was set. But the 'make' step was not working. So I made a symbolic link
from asm in this folder to /usr/include/asm and it worked!
:)


On Mon, Sep 30, 2013 at 1:35 PM, Saikat Dutta <saikatdutta.pro2011 at gmail.com
> wrote:

> Hi,
> This is not helping at all. The same error persists. Please suggest
> something else.
> Thanks.
>
>
> On Mon, Sep 30, 2013 at 10:26 AM, Urmas Repinski <urrimus at hotmail.com>wrote:
>
>> Hi,
>>
>> As far as i understood problem is in asm-generic installation, as asm is
>> linked to asm-generic and error is in asm folder:
>>
>>
>> /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
>>
>> So  it is reasonable to install fresh and new asm-generic copy.
>>
>> If linux-libc-dev installs asm-generic, then try to do following.
>>
>> 1. Remove the link
>>
>> sudo rm /usr/include/asm
>>
>> 2. Delete asm-generic folder
>> rm -r /usr/include/asm-generic
>>
>> 3. Remove linux-libc-dev library form the system
>> apt-get remove linux-libc-dev
>>
>> 4. Install linux-libc-dev library
>> apt-get install linux-libc-dev
>>
>> 5. check if new
>>
>> /usr/include/asm-generic
>>
>> folder appeared.
>>
>> 6. restore the link
>>
>> sudo ln -s /usr/include/asm-generic /usr/include/
>> asm
>>
>>
>> This should help,
>> Urmas Repinski
>>
>> ------------------------------
>> Date: Mon, 30 Sep 2013 10:14:37 +0530
>>
>> Subject: Re: [klee-dev] Build Errors of klee-uclibc in Ubuntu 11.10
>> From: saikatdutta.pro2011 at gmail.com
>> To: urrimus at hotmail.com
>> CC: klee-dev at imperial.ac.uk
>>
>> Hi,
>> This did not solve the problem.The same problem persists!
>>
>>
>> On Mon, Sep 30, 2013 at 10:03 AM, Urmas Repinski <urrimus at hotmail.com>wrote:
>>
>> Hi!
>>
>> Then
>>
>> Try to install or reinstall linux-libc-dev.
>>
>> That should create the asm-generic folder. If so delete that old link and
>> relink asm to asm-generic.
>>
>>
>> Urmas Repinski.
>>
>> ------------------------------
>> Date: Mon, 30 Sep 2013 08:52:31 +0530
>>
>> Subject: Re: [klee-dev] Build Errors of klee-uclibc in Ubuntu 11.10
>> From: saikatdutta.pro2011 at gmail.com
>> To: urrimus at hotmail.com
>> CC: klee-dev at imperial.ac.uk
>>
>>
>> No, the same problem remains even after the procedure you
>> mentioned.Please help.
>>
>>
>> On Sun, Sep 29, 2013 at 11:47 PM, Urmas Repinski <urrimus at hotmail.com>wrote:
>>
>> Hi!
>>
>> According to link, try to do following:
>>
>>
>> sudo rm /usr/include/asm
>>
>>
>>
>> then install build-essential
>>
>> sudo apt-get install build-essential   , or better
>>
>> sudo apt-get install --reinstall build-essential
>>
>>
>> Now recreate the proper link:
>>
>>
>> sudo ln -s /usr/include/asm-generic /usr/include/asm
>>
>>
>>
>> Now you should have the required files in the '*proper*' location:
>>
>> ls /usr/include/asm
>>
>>
>> Seems problem is somewhere else, possibly in build-essential library of the system.
>>
>>
>>
>> Some variables are re-declared, and possibly old version of the build-essential in the system.
>>
>> Urmas Repinski.
>>
>>
>>
>> ------------------------------
>> Date: Sun, 29 Sep 2013 23:36:04 +0530
>> From: saikatdutta.pro2011 at gmail.com
>> To: Oscar.Dustmann at rwth-aachen.de
>> CC: klee-dev at imperial.ac.uk
>> Subject: Re: [klee-dev] Build Errors of klee-uclibc in Ubuntu 11.10
>>
>>
>> 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>
>> >
>>
>>
>>
>> _______________________________________________ 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

More information about the klee-dev mailing list