如何使用来自 HTTP 的文件作为 GNU make 的先决条件？

Question 1

在你的 Makefile 中尝试这样的事情：

.PHONY: local.dat

local.dat:
    [ -e example.gz ] || touch -d '00:00' example.gz
    curl -z example.gz -s http://example.org/example.gz -o example.gz
    [ -e $@ ] || touch -d 'yesterday 00:00' $@
    if [     "$(shell stat --printf '%Y' example.gz)" \
         -gt "$(shell stat --printf '%Y' $@)"         ] ; then \
      zcat example.gz | transmogrify >$@ ; \
    fi
    truncate -s 0 example.gz
    touch -r $@ example.gz

（注意：这是一个 Makefile，所以缩进是制表符，而不是空格。当然。同样重要的是，连续行上的后面没有空格\- 或者去掉反斜杠转义符并使其长，几乎无法阅读的行）

这个 GNUmake配方首先检查一个名为的文件example.gz是否存在（因为我们将在-zin 中使用它），如果不存在则curl创建它。touch触摸创建的时间戳为 00:00（当天上午 12 点）。

然后，它使用( )curl选项仅下载自上次下载以来已修改的内容。可以给出实际的日期表达式或文件名。如果给定文件名，它将使用文件的修改时间作为时间条件。 -z--time-condexample.gz-z

之后，如果local.dat不存在，它将使用来创建它touch，并使用保证为的时间戳较老的比的example.gz。这是必要的，因为local.dat必须存在下一个命令才能用来stat获取其 mtime 时间戳。

然后，如果example.gz时间戳比更新local.dat，则它会example.gz通过管道transmogrify将输出重定向到local.dat。

最后，它进行簿记和清理工作：

它会截断example.gz（因为您只需要保留时间戳，而不是整个文件）
touchesexample.gz以便它具有相同的时间戳local.dat

.PHONY 目标确保local.dat目标始终被执行，即使该名称的文件已存在。

感谢@Toby Speight 在评论中指出我的原始版本无法工作以及原因。

或者，如果您想将文件直接通过管道传输到transmogrify而不先将其下载到文件系统：

.PHONY: local.dat

local.dat:
    [ -e example.gz ] || touch -d '00:00' example.gz
    [ -e $@ ] || touch -d 'yesterday 00:00' $@
    if [     "$(shell stat --printf '%Y' example.gz)" \
         -gt "$(shell stat --printf '%Y' $@)"         ] ; then \
      curl -z example.gz -s http://example.org/example.gz | transmogrify >$@ ; \
    fi
    touch -r $@ example.gz

笔记：这大多未经测试，因此可能需要一些小的更改才能使语法完全正确。这里重要的是方法，而不是复制粘贴货物崇拜的解决方案。

几十年来我一直在使用这种方法的变体（即touch时间戳文件）。make它有效，并且通常允许我避免在 sh 中编写自己的依赖项解析代码（尽管我必须在stat --printf %Y这里做类似的事情）。

每个人都知道make它是编译软件的绝佳工具...在我看来，它对于系统管理和脚本任务来说也是一个被严重低估的工具。

Answer