]> rtime.felk.cvut.cz Git - arc.git/blob - scripts/cc_splint.mk
Merge branch 'mikulka' of git@rtime.felk.cvut.cz:arc into mikulka
[arc.git] / scripts / cc_splint.mk
1 \r
2 lintdef_ext=-D\r
3 lintinc_ext=-I\r
4 \r
5 #splint_extra=+v -b -i$(TOPDIR)/scripts/pclint -i$(TOPDIR)/scripts/pclint/lnt std.lnt\r
6 splint_extra=+nolib\r
7 inc-y += $(cc_inc_path)\r
8 #lint_files=$(TOPDIR)/scripts/lint/std.lnt\r
9 #lint_files=$(TOPDIR)/scripts/lint/lnt/au-misra2.lnt\r
10 #lint_files+=$(TOPDIR)/scripts/lint/lnt/au-misra2.lnt\r
11 \r
12 #$(addprefix -i,$(abs-inc-y)) /C/lint/std.lnt  $(abspath $<))\r