如何将Splint插入Makefile?

时间:2015-04-27 10:15:56

标签: makefile splint

我想配置我的项目,以便使用Splint来分析不同的组件。

如何将命令行添加到我的Makefile中,以某种方式询问我是否要使用Splint运行分析或只是正常编译程序?

1 个答案:

答案 0 :(得分:0)

要在splint的运行过程中运行make,您可以将其添加到makefile中的现有目标,也可以添加新的splint / lint /等等。运行您需要运行的命令的目标。

lint:
        splint arg1 arg2

您需要将该目标标记为.PHONY,以便在lint文件存在时做正确的事情。

为完整性/等,您还可以列出splint操作的文件作为目标的先决条件。 (例如lint: $(SOURCE_FILES)或其他。)