我应该如何让 Shake 知道需要 'ghc --make' 来跟踪对 haskell 文件的更改？

Question

我想知道一起使用shake 和ghc --make 的推荐方式。在我的项目中，shake 规则用于将 C 源代码编译成它们的*.o 文件（我称之为cobjects），并且这些对象通过调用ghc --make 链接到我的haskell 程序中。在此命令期间，ghc 会自行确定何时需要重建我的 haskell 文件。

以下示例未正确编写以集成这两个工具。如果.hs 文件发生更改，则重新运行摇动脚本不会重新调用ghc --make。我明白为什么 Shake 不知道要重建，但我不知道推荐的修复方法。

main = shake shakeOptions $ do
  want [main_exe]

  main_exe *> \out -> do
    need cobjects
    cmd "ghc --make" hs_compileFlags cobjects "main.hs"

  cobjects **> ...

Answer 1

一般原则是，如果规则运行使用文件的命令，它应该依赖于文件。在您的情况下，您必须 need 所有事情 ghc --make 请求，最简单的方法是使用 ghc -M （生成 Makefile）：

main = shake shakeOptions $ do
  want [main_exe]

  main_exe *> \out -> do
    need cobjects
    cmd "ghc -M" hs_compileFlags "main.hs"
    cmd "ghc --make" hs_compileFlags cobjects "main.hs"
    needMakefileDependencies "Makefile"

  cobjects **> ...

needMakefileDependencies 函数在Development.Shake.Util 中。唯一的微妙之处是我在运行命令之后调用needMakefileDependencies ，否则目标文件将不会被创建（你可以通过只过滤@ 中的.hs 文件来解决这个问题） 987654330@ 自己使用parseMakefile）。

Answer 2

看起来推荐的方法可能是使用“假”规则并在顶部为该规则添加want。这是从这个有用的教程中找到的：

http://blog.jle.im/entry/shake-task-automation-and-scripting-in-haskell

我第一次尝试将此想法应用于我的示例：

main = shake shakeOptions $ do
  want [main_exe, "compile and link hs"]

  main_exe *> \out -> do
    need cobjects

  cobjects **> ...

  "compile and link hs" ~> do
    cmd "ghc --make" hs_compileFlags cobjects "main.hs"

(~>) 函数指定字符串 "compile and link hs" 是规则的名称，而不是文件的名称。

虽然这将始终尝试按照我想要的方式运行新规则，但不幸的是，它会尝试在 main_exe 的规则之前运行该规则，这不是我想要的。

将新规则的需求移到main_exe 的规则中似乎可以解决这个新问题：

main = shake shakeOptions $ do
  want [main_exe]

  main_exe *> \out -> do
    need cobjects
    need ["compile and link hs"]

  cobjects **> ...

  "compile and link hs" ~> do
    cmd "ghc --make" hs_compileFlags cobjects "main.hs"

虽然这可行，但我不明白 Shake 如何决定在第一段代码中运行这两个规则的顺序。