Wie schreibt man eine Makefile-Regel, um eine Datei nur herunterzuladen, wenn sie fehlt?

Question

Ich versuche, ein Makefile zu schreiben, das einige Quellen herunterladen sollte, wenn und nur wenn sie fehlen.

Etwas wie:

hello: hello.c 
    gcc -o hello hello.c 

hello.c: 
    wget -O hello.c http://example.org/hello.c 

Aber natürlich führt dies hello.c Befehl jedes Mal machen heruntergeladen werden ausgeführt. Ich möchte hello.c von diesem Makefile nur heruntergeladen werden, wenn es fehlt. Ist das mit GNU make möglich und wie geht das, wenn es so ist?

Answer 1

Meine Vermutung ist, dass wget den Zeitstempel auf hello.c nicht aktualisiert, aber den Remote-Zeitstempel beibehält. Dies verursacht make zu glauben, dass hello.c alt ist und versucht, es erneut herunterzuladen. Versuchen

hello.c: 
     wget ... 
     touch $@ 

EDIT: Die Option -N zu wget wird verhindert, dass wget von etwas herunterzuladen, wenn die Remote-Datei neuer ist

Answer 2

Die Makefile Sie schrieb Downloads hello.c nur, wenn es fehlt. Vielleicht machst du etwas anderes falsch? Siehe zum Beispiel:

hello: hello.c 
     gcc -o hello hello.c 

hello.c: 
     echo 'int main() {}' > hello.c 

Und:

% make 
echo 'int main() {}' > hello.c 
gcc -o hello hello.c 
% rm hello 
% make 
gcc -o hello hello.c 
% rm hello* 
% make 
echo 'int main() {}' > hello.c 
gcc -o hello hello.c 

(der echo Befehl wurde zum zweiten Mal nicht ausgeführt)

Answer 3

Da das Makefile sollte arbeiten, wie Sie wollen, müssen Sie ein prüfen, einige unwahrscheinliche Fälle:

1) Vergewissern Sie sich, dass Sie keine .PHONY Regeln haben, die die Quelldatei erwähnen.

2) Überprüfen Sie, ob der Quellzielname mit dem Dateipfad übereinstimmt, den Sie herunterladen.

Sie könnten auch versuchen, make -d ausgeführt, um zu sehen, warum make denkt, es muss die Quelldatei neu erstellen.