Advertisement
Guest User

Untitled

a guest
Aug 16th, 2017
52
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.09 KB | None | 0 0
  1. # Install GMP first
  2. # On Debian install build-essential and libxml2-dev
  3. ./configure
  4. make -j4
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement