Hello Cristian, I have solved this problem by disabling UCLIBC_HAS_XLOCALE. All changes that I have made to uClibs configuration and source code in order to compile it on x86-64 are in the attached file.
On Sunday 23 August 2009 02:44:54 Cristian Zamfir wrote: > Hi, > > I am trying to compile klee-uclibc on an x86_64 system with the kernel > 2.6.28-11 and I get a few errors. > > Initially I got the an include conflict: > In file included from /usr/include/asm/posix_types.h:4, > from /usr/include/linux/posix_types.h:47, > from /usr/include/linux/types.h:5, > 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_64.h:10: error: redefinition of typedef > '__kernel_ino_t' > ./include/bits/kernel_types.h:11: error: previous declaration of > '__kernel_ino_t' was here > > I fixed it by patching klee-uclibc/libc/sysdeps/linux/x86_64/bits/ > kernel_types.h > This is obviously caused by a change of the kernel macros. > > > However, now I get another conflict: > > CC libc/stdlib/_stdlib_strto_l_l.os > In file included from libc/stdlib/strtol_l.c:8: > libc/stdlib/stdlib.c:346: error: conflicting types for 'strtoll_l' > ./include/stdlib.h:266: error: previous declaration of 'strtoll_l' was > here > libc/stdlib/stdlib.c:348: error: conflicting types for 'strtoll_l' > ./include/stdlib.h:266: error: previous declaration of 'strtoll_l' was > here > > > I suspect these errors may be because of the newer kernel headers and > an older uclibc version. They most likely show up on 32 bit systems too. > > Thus, I have three questions: > > What kernel version did you use? > > What is the diff between klee-uclibc and uclibc? > > Is it is complicated to upgrade to the newest uclibc version? > > Thanks, > > Cristi > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev -- With the best regards, Vladimir Kuznetsov -------------- next part -------------- A non-text attachment was scrubbed... Name: klee-uclibc64.patch Type: text/x-patch Size: 3322 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090823/1fc54e53/attachment.bin
