Originariamente inviato da oregon
Con il comando

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

hai cancellato il main.c ...

L'opzione -o va usata per indicare il file in output ...
È brutto quando capita