Originariamente inviato da virgo1984
Ho provato a scrivere
$gcc -o prova.bin ma mi dava l'errore "gcc: no input files"

$gcc -o prova.c prova.h ma dava l'errore no such files or directory
e no input file

cio' che metti dopo il parametro "-o" e' il nome che dovra' avere il file oggetto... Oltre cio' gli serve per forza anche il file da compilare.
gcc -o prova.bin -> specifica che non deve usare nessun file sorgente, ma deve tirar fuori l'oggetto "prova.bin"
gcc -o prova.c prova.h -> specifica che deve compilare il file prova.h e tirare fuori l'oggetto prova.c VVoVe:

Penso che tu debba fare:

gcc -o prova prova.c

Cosi' ti compila il sorgente "prova.c" e ti crea il binario "prova"
quindi puoi eseguire l'eseguibile con:

./prova