0

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

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

4

1 回答 1

0

要作为运行splint的一部分运行,make您可以将其添加到 makefile 中的现有目标,也可以添加新的splint/ lint/etc。运行您需要运行的命令的目标。

lint:
        splint arg1 arg2

您将希望将该目标标记为这样,如果文件存在.PHONY,则 make 会做正确的事情。lint

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

于 2015-04-28T15:09:04.490 回答