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.pro2...@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 <urri...@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.pro2...@gmail.com >> To: urri...@hotmail.com >> CC: klee-dev@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 <urri...@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.pro2...@gmail.com >> To: urri...@hotmail.com >> CC: klee-dev@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 <urri...@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.pro2...@gmail.com >> To: oscar.dustm...@rwth-aachen.de >> CC: klee-dev@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.dustm...@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@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@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@imperial.ac.uk >> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >> >> >> >> >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
