如何将 Splint 插入 Makefile 中？
How to insert Splint into Makefile?
我想配置我的项目，以便使用 Splint 分析不同的组件。
如何将命令行添加到我的 Makefile 中，它会询问我是否要 运行 使用 Splint 进行分析或只是正常编译程序？
到 运行 splint 作为 make 的 运行 的一部分，您可以将其添加到 makefile 中的现有目标，也可以添加新的目标splint/lint/等。目标 运行 是您需要 运行.
的命令
lint:
splint arg1 arg2
您需要将该目标标记为 .PHONY，因此如果 lint 文件存在，make 会做正确的事情。
对于completeness/etc，您也可以将splint 操作的文件列为目标的先决条件。 （例如 lint: $(SOURCE_FILES) 或其他。）
我想配置我的项目，以便使用 Splint 分析不同的组件。
如何将命令行添加到我的 Makefile 中，它会询问我是否要 运行 使用 Splint 进行分析或只是正常编译程序？
到 运行 splint 作为 make 的 运行 的一部分，您可以将其添加到 makefile 中的现有目标，也可以添加新的目标splint/lint/等。目标 运行 是您需要 运行.
lint:
splint arg1 arg2
您需要将该目标标记为 .PHONY，因此如果 lint 文件存在，make 会做正确的事情。
对于completeness/etc，您也可以将splint 操作的文件列为目标的先决条件。 （例如 lint: $(SOURCE_FILES) 或其他。）