Hi Urmas, It works. Thank you so much :)
On Mon, Apr 22, 2013 at 3:31 PM, Urmas Repinski <[email protected]> wrote: > Hi Tomasz > > Just googled a little and found some solution - > http://comments.gmane.org/gmane.comp.compilers.llvm.klee/925 > > > LLVM-LD can't find the libraries it needs to link with. In the is case > librt (the realtime library). > > Find the location of librt.a on your system and set the > LLVM_LIB_SEARCH_PATH variable before you run make. > > For example on my system librt is in /usr/lib/ so I would run in my shell > > $ export LLVM_LIB_SEARCH_PATH=/usr/lib > > Read the manpage of llvm-ld for more information. > > That should fix your problem. > > Regards, > Dan Liew. > > > So try to set not export LIBRARY_PATH=/usr/lib/x86_64-linux-gnu, but > export LLVM_LIB_SEARCH_PATH=/usr/lib/x86_64-linux-gnu. > > Hope this helps, > Urmas Repinski > > ------------------------------ > From: [email protected] > Date: Mon, 22 Apr 2013 01:18:37 -0700 > To: [email protected] > CC: [email protected] > > Subject: Re: [klee-dev] Error when compile coreutils > > Hi, > > I did try it before but it didnt work. > > Thanks, > > Sent from my Windows Phone > ------------------------------ > From: Kuchta, Tomasz > Sent: 22/04/2013 14:46 > To: Loi Luu > Cc: klee-dev > Subject: Re: [klee-dev] Error when compile coreutils > > Hello, > > Please also try setting > > export LIBRARY_PATH=/usr/lib/x86_64-linux-gnu > > Best Regards, > > Tomek > > On 22 Apr 2013, at 04:32, Loi Luu <[email protected]> wrote: > > 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. > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > > > _______________________________________________ klee-dev mailing list > [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > -- Loi, Luu The (Mr.) University of Engineering and Technology, Vietnam National University, Hanoi.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
