After patching the files by hand as indicated in my previous message, and then re-running make, all the compilations succeed, but linking fails:
... CC libc/misc/internals/__uClibc_main.os CC libc/stdlib/atexit.os STRIP -x -R .note -R .comment lib/libc.a AR cr lib/libc.a STRIP -x -R .note -R .comment lib/uclibc_nonshared.a AR cr lib/uclibc_nonshared.a AR cr libc/libc_so.a LD libuClibc-0.9.29.so libc/libc_so.a(dirfd.os): In function `testandset': dirfd.c:(.text+0x0): multiple definition of `testandset' libc/libc_so.a(closedir.os):closedir.c:(.text+0x0): first defined here libc/libc_so.a(dirfd.os): In function `__compare_and_swap': dirfd.c:(.text+0x8): multiple definition of `__compare_and_swap' libc/libc_so.a(closedir.os):closedir.c:(.text+0x8): first defined here libc/libc_so.a(opendir.os): In function `testandset': opendir.c:(.text+0x0): multiple definition of `testandset' libc/libc_so.a(closedir.os):closedir.c:(.text+0x0): first defined here libc/libc_so.a(opendir.os): In function `__compare_and_swap': opendir.c:(.text+0x8): multiple definition of `__compare_and_swap' libc/libc_so.a(closedir.os):closedir.c:(.text+0x8): first defined here libc/libc_so.a(readdir.os): In function `testandset': readdir.c:(.text+0x0): multiple definition of `testandset' <snip many more error messages> libc/libc_so.a(ctime.os): In function `__compare_and_swap': ctime.c:(.text+0x8): multiple definition of `__compare_and_swap' libc/libc_so.a(closedir.os):closedir.c:(.text+0x8): first defined here libc/libc_so.a(ctime_r.os): In function `testandset': ctime_r.c:(.text+0x0): multiple definition of `testandset' libc/libc_so.a(closedir.os):closedir.c:(.text+0x0): first defined here libc/libc_so.a(ctime_r.os): In function `__compare_and_swap': ctime_r.c:(.text+0x8): multiple definition of `__compare_and_swap' libc/libc_so.a(closedir.os):closedir.c:(.text+0x8): first defined here --- Vladimir -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 261 bytes Desc: OpenPGP digital signature Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100323/4da3cabd/attachment.bin
