Thanks Vova. Indeed, I made the other changes without disabling UCLIBC_HAS_XLOCALE. Now it works. I am still wondering what are the changes from the regular uclibc, in case similar problems appear in the future. We can also try to find them out from the diff, but I am not sure which uclibc version is klee-uclibc based on.
Cheers, Cristi On Aug 23, 2009, at 1:55 AM, Vladimir Kuznetsov wrote: > 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 > <klee-uclibc64.patch>_______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
