I'm having some issues compiling Klee against uClibc with Posix support. I'm working on a 32-bit Ubuntu 10.04 VM. I built Klee before but that was on a different system and I'm not exactly sure what I did differently. I attached my klee config.log. Does anyone have any ideas?
$ uname -a
Linux ubuntu 2.6.32-39-generic #86-Ubuntu SMP Mon Feb 13 21:47:32 UTC
2012 i686 GNU/Linux
$ llvm-gcc --version
llvm-gcc (GCC) 4.2.1 (Based on Apple Inc. build 5658) (LLVM build)
...
$ echo $PATH
/opt/llvm-gcc/bin:/opt/llvm-2.8/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
$ ../klee/configure --enable-posix-runtime
--with-uclibc=/home/snark/llvm/klee-uclibc-0.02-i386
--with-llvmsrc=$LLVM28/llvm-2.8 --with-llvmobj=$LLVM28/llvm-2.8-build
CC=`which llvm-gcc` CXX=`which llvm-g++`
...
$ make ENABLE_OPTIMIZED=1
...
/home/snark/llvm/klee/runtime/POSIX/stubs.c:274:7: error: conflicting
types for 'wait'
pid_t wait(int *status) __attribute__((weak));
^
In file included from /home/snark/llvm/klee/runtime/POSIX/stubs.c:24:
/usr/include/sys/wait.h:116:16: note: previous declaration is here
extern __pid_t wait (__WAIT_STATUS __stat_loc);
^
/home/snark/llvm/klee/runtime/POSIX/stubs.c:275:7: error: conflicting
types for 'wait'
pid_t wait(int *status) {
^
In file included from /home/snark/llvm/klee/runtime/POSIX/stubs.c:24:
/usr/include/sys/wait.h:116:16: note: previous declaration is here
extern __pid_t wait (__WAIT_STATUS __stat_loc);
^
...
4 warnings and 6 errors generated.
make[2]: *** [/home/snark/llvm/klee-obj/runtime/POSIX/Release+Asserts/stubs.ll]
Error 1
make[2]: Leaving directory `/home/snark/llvm/klee-obj/runtime/POSIX'
make[1]: *** [POSIX/.makeall] Error 2
make[1]: Leaving directory `/home/snark/llvm/klee-obj/runtime'
make: *** [all] Error 1
klee-config.log
Description: Binary data
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
