Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

I know it should be of the form "sudo apt-get install ". But what should be the name of the library? And after installing, how to verify that it has been installed correctly.

share|improve this question
2  
As this seems to create confusion, would you mind clarifying what exactly you are looking for? –  user98085 Oct 29 '12 at 16:24

1 Answer 1

You can install gmp using the following command.

sudo apt-get install libgmp3-dev

Also, check out this post.

share|improve this answer
1  
Link is broken. –  robguinness Feb 21 '13 at 7:40
1  
Page is now at mathemagix.org/www/mmdoc/doc/html/external/gmp.en.html –  Emyr Sep 30 '13 at 18:14

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.