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,

[Kuchta, Tomasz]

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 <loi.luuthe-***@public.gmane.org<mailto:***@gmail.com>> 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.

[Loi Luu]

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 <loi.luuthe-***@public.gmane.org> 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,

[Urmas Repinski]

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: loi.luuthe-***@public.gmane.org
Date: Mon, 22 Apr 2013 01:18:37 -0700
To: t.kuchta12-AQ/***@public.gmane.org
CC: klee-dev-AQ/***@public.gmane.org
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 <loi.luuthe-***@public.gmane.org> 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

klee-dev-AQ/***@public.gmane.org

https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[Loi Luu]

Hi Urmas,

It works. Thank you so much :)

Post by Urmas Repinski
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
------------------------------
Date: Mon, 22 Apr 2013 01:18:37 -0700
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
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
*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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev