我想配置我的项目,以便使用 Splint 分析不同的组件。
如何将命令行添加到我的 Makefile 中,以某种方式询问我是要使用 Splint 运行分析还是只是正常编译程序?
要作为运行splint
的一部分运行,make
您可以将其添加到 makefile 中的现有目标,也可以添加新的splint
/ lint
/etc。运行您需要运行的命令的目标。
lint:
splint arg1 arg2
您将希望将该目标标记为这样,如果文件存在.PHONY
,则 make 会做正确的事情。lint
为了完整性/等,您还可以将夹板操作的文件列为目标的先决条件。(例如lint: $(SOURCE_FILES)
或其他。)