¿Cómo escribir una regla Makefile para descargar un archivo solo si falta?

Question

Estoy tratando de escribir un archivo Makefile que debería descargar algunas fuentes si y solo si faltan.

Algo así como:

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

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

Pero por supuesto, esto hace que hello.c a ser descargados cada vez que se ejecuta comandos hacen. Me gustaría que el archivo Makefile descargue hello.c solo si faltara. ¿Es esto posible con GNU make y cómo hacer esto si es así?

Answer 1

Supongo que wget no actualiza la marca de tiempo en hello.c, pero conserva la marca de tiempo remota. Esto hace que make crea que hello.c es antiguo e intenta descargarlo de nuevo. Trate

hello.c: 
     wget ... 
     touch $@ 

EDIT: La opción -N para wget wget evitará la descarga de nada menos que el archivo remoto es más reciente

Answer 2

El Makefile escribiste descargas hello.c solo si falta. Quizás estás haciendo algo más mal? Véase, por ejemplo:

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

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

Y:

% 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 

(el comando echo no se ejecutó la segunda vez)

Answer 3

Desde el Makefile debería estar trabajando como desee, es necesario comprobar una pocos casos poco probables:

1) Compruebe que no tenga ninguna regla .PHONY que mencione el archivo de origen.

2) Compruebe que el nombre del objetivo de origen coincida con la ruta del archivo que está descargando.

También podría intentar ejecutar make -d para ver por qué cree que necesita 'volver a compilar' el archivo fuente.