29Nov/110
error while loading shared libraries: libgmp.so.3
Scenario: openSUSE 12.1 and Bluespec 2011.06.D
When I was trying to run Bluespec compiler I was getting this library error:
/opt/Bluespec-2011.06.D/lib/bin/linux64/bsc: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
I've tried a lot, but I couldn't find the package that provides libgmp.so.3. If you know, please leave a comment below.
So, let's use the dirty way to get things done:
$ sudo ln -s /usr/lib64/libgmp.so.10.0.2 /usr/lib64/libgmp.so.3