bkpmind Just some notes

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

11Nov/110

How to crop a SVG image and export to EPS with Inkscape

First part is crop some region of a SVG image using Inkscape software.
You need select the Square at left toolbox and draw over the image, selecting the area that you want to be visible.
After you need to select all with CTRL+A and go to menu Object and select Clip -> Set.
And finally go to menu File and select Document Properties -> Resize page to content -> Resize page to drawing or selection.
Your crop is done!

Second part is save SVG image to EPS format to be easy use in Latex document.
Go to menu File, select Save as... and choose EPS format.
That's it... now the image is ready to be used in Latex document.