在c头文件更改后，Cabal不会重建项目

在Cabal构建系统中，当我们修改了C代码中的头文件后，Cabal默认不会重新构建项目。这是因为Cabal会缓存已经构建过的中间文件，以提高构建速度。但是，由于C头文件的修改可能会导致C代码的依赖关系发生变化，从而影响到项目的构建结果。因此，我们需要手动告诉Cabal重新构建项目。

要解决这个问题，我们可以采取以下步骤：

1. 清除Cabal构建缓存：我们可以使用cabal clean命令来清除Cabal构建系统的缓存文件。这将删除所有已构建的中间文件和构建缓存，使得下一次构建时会重新生成这些文件。
2. 强制重新构建项目：在清除了构建缓存后，我们可以使用cabal build --rebuild命令来强制重新构建整个项目。这将重新编译所有源文件，包括C代码和相关的头文件。
3. 检查依赖关系：如果在重新构建项目时遇到了依赖错误或链接错误，我们可能需要检查C代码中的头文件包含路径和依赖库的链接设置是否正确。确保所有的依赖关系都被正确地包含和链接到项目中。

总结起来，要解决在Cabal中更改C头文件后不重新构建项目的问题，我们需要清除构建缓存，并使用--rebuild选项来强制重新构建整个项目。此外，还需确保C代码的依赖关系和头文件包含路径设置正确。