La libreria era in sorgente, così ho usato prima ./configure, poi make e, con permessi root, make install. Il readme spiegava di compilare i programmi che la includono con gcc usando quelle opzioni -g e, dopo il file, -lgmp