Le 26/02/2014 22:47, Bruce Dubbs a écrit :
> [ ! -e /usr/lib/libgmp.so ] && echo "/usr/lib/libgmp.so missing"
Might not be so easy. On Debian we get:
-----------
pierre@turboli:~$ [ ! -e /usr/lib/libgmp.so ] &&
echo "/usr/lib/libgmp.so missing"
/usr/lib/libgmp.so missing
-------------
while:
----------------
pierre@turboli:~$ ldd /usr/lib/gcc/x86_64-linux-gnu/4.8.2/cc1
linux-vdso.so.1 (0x00007fff765fe000)
libcloog-isl.so.4 => /usr/lib/x86_64-linux-gnu/libcloog-isl.so.4
(0x00007fe4aca72000)
libisl.so.10 => /usr/lib/x86_64-linux-gnu/libisl.so.10
(0x00007fe4ac735000)
libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3
(0x00007fe4ac51c000)
libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4
(0x00007fe4ac2c1000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10
(0x00007fe4ac049000)
[...]
------------------
(sorry for line breakage)
Pierre
--
http://linuxfromscratch.org/mailman/listinfo/lfs-dev
FAQ: http://www.linuxfromscratch.org/faq/
Unsubscribe: See the above information page
