allora...

dal prompt gcc file.c -o file_eseguibile

dove file.c è il sorgente è file_eseguibile è il nome che verrà dato all'eseguibile

-o è un impostazione standard, non mi ricordo esattamente perchè si usi ma per un utente "normale" va più che bene... :gren:

puoi comunque guardare l'help di gcc