si si non è una libreria, intendevo il prog in generale.. cmq nel main ho messo

#include <lib.h>

onestamente non essendo per nulla pratico di linux ho provato con due modi letti qua e là ma c'è sicuramente qualcosa che non va ^^'

gcc -o main.c lib.c -lgmp -lm

(xke linko la gmp e math)