[klee-dev] Error when compile coreutils

[Loi Luu]

Dear all,

I got the same error in this thread
http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000925.html,
and I follow the solution that Dan Liew suggested but it still gave me the
same error.

For more specific, firstly I located the librt.a
*locate librt.a *
/home/turtle/klee-uclibc/lib/librt.a
/usr/lib/x86_64-linux-gnu/librt.a

So I add the latter address to path:

*export LLVM_LIB_SEARCH=/usr/lib/x86_64-linux-gnu*

*After running make, I still got the error*
/home/turtle/klee/scripts/klee-gcc  -g  -Wl,--as-needed -o chown chown.o
chown-core.o ../lib/libcoreutils.a  ../lib/libcoreutils.a
/home/turtle/klee/scripts/klee-gcc  -I. -I../../src -I../lib  -I../../lib
-g -MT chmod.o -MD -MP -MF .deps/chmod.Tpo -c -o chmod.o ../../src/chmod.c
mv -f .deps/chmod.Tpo .deps/chmod.Po
/home/turtle/klee/scripts/klee-gcc  -g  -Wl,--as-needed -o chmod chmod.o
../lib/libcoreutils.a  ../lib/libcoreutils.a
/home/turtle/klee/scripts/klee-gcc  -I. -I../../src -I../lib  -I../../lib
-g -MT cp.o -MD -MP -MF .deps/cp.Tpo -c -o cp.o ../../src/cp.c
mv -f .deps/cp.Tpo .deps/cp.Po
/home/turtle/klee/scripts/klee-gcc  -I. -I../../src -I../lib  -I../../lib
-g -MT copy.o -MD -MP -MF .deps/copy.Tpo -c -o copy.o ../../src/copy.c
mv -f .deps/copy.Tpo .deps/copy.Po
/home/turtle/klee/scripts/klee-gcc  -I. -I../../src -I../lib  -I../../lib
-g -MT cp-hash.o -MD -MP -MF .deps/cp-hash.Tpo -c -o cp-hash.o
../../src/cp-hash.c
mv -f .deps/cp-hash.Tpo .deps/cp-hash.Po
/home/turtle/klee/scripts/klee-gcc  -g  -Wl,--as-needed -o cp cp.o copy.o
cp-hash.o ../lib/libcoreutils.a  ../lib/libcoreutils.a
/home/turtle/klee/scripts/klee-gcc  -I. -I../../src -I../lib  -I../../lib
-g -MT dd.o -MD -MP -MF .deps/dd.Tpo -c -o dd.o ../../src/dd.c
mv -f .deps/dd.Tpo .deps/dd.Po
/home/turtle/klee/scripts/klee-gcc  -g  -Wl,--as-needed -o dd dd.o
../lib/libcoreutils.a  ../lib/libcoreutils.a -lrt
llvm-ld: error: Cannot find library 'rt'
make[3]: *** [dd] Error 1
make[3]: Leaving directory `/home/turtle/coreutils-6.11/obj-llvm/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/turtle/coreutils-6.11/obj-llvm/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/turtle/coreutils-6.11/obj-llvm'
make: *** [all] Error 2

Does anyone know what caused this error?

Thank you,
-- 
Loi, Luu The (Mr.)
University of  Engineering and Technology, Vietnam National University,
Hanoi.
-------------- next part --------------
HTML attachment scrubbed and removed