Как вставить Splint в Makefile?

Question

Я хотел бы настроить свой проект, чтобы использовать Splint для анализа различных компонентов.

Как добавить командную строку в мой Makefile, таким образом, он спросит, хочу ли я выполнить анализ с помощью Splint или просто скомпилировать программу нормально?

Answer 1

Бежать splint как часть бега make Вы можете добавить его к существующей цели в make-файле или добавить новый splint / lint /так далее. цель, которая запускает команду, которую нужно запустить.

lint:
        splint arg1 arg2

Вы хотите отметить эту цель как .PHONY так что делает правильно, если lint Файл когда-либо существует.

Вы также можете, для полноты / etc., Перечислить файлы, с которыми работает шина, в качестве предварительных условий для цели. (например lint: $(SOURCE_FILES) или что угодно.)