Pierre Labastie wrote: > 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)
Maybe if [ $(find /usr/lib -name libmpc.so\* | wc -l) == 0 ]; then echo "libmpc libraries are not installed" fi -- Bruce -- http://linuxfromscratch.org/mailman/listinfo/lfs-dev FAQ: http://www.linuxfromscratch.org/faq/ Unsubscribe: See the above information page
