编译android SDK时出现缺少这个so库的解决方案，如下
cc1: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
（1）首先查找这个 libgmp.so.3这个so库是否有安装
$ aptitude search libgmp
（2）如果没有安装就安装
aptitude install -y libgmp-dev
如果安装了就检查下这个so库是否链接好了，指定链接
$ cd /
$ find -name libgmp.so.*
$ ls -l ./usr/lib/x86_64-linux-gnu/libgmp.so*
$ cd ./usr/lib/x86_64-linux-gnu/
$ ls -l libgmp.so.*
$ ln -s libgmp.so.10.0.2 libgmp.so.3