Commit | Line | Data |
---|---|---|
7f004419 C |
1 | PREFIX?=/home/npalix/Documents/build/coccinelle/scripts/coccicheck |
2 | PROJECT?=/ | |
3 | SPFLAGS?="-timeout 60 -use_glimpse -D org" | |
951c7801 | 4 | |
7f004419 C |
5 | COCCI?=/home/npalix/Documents/build/coccinelle/scripts/coccicheck/cocci |
6 | RESULTS?=/home/npalix/Documents/build/coccinelle/scripts/coccicheck/results | |
951c7801 C |
7 | |
8 | .PHONY:: update viewlog viewfilteredlog viewres checkcocci | |
9 | .PHONY:: all clean distclean depend | |
10 | ||
11 | all: | |
12 | $(MAKE) -C $(RESULTS) | |
13 | ||
14 | update: | |
15 | ./bin/update_result_tree $(PREFIX) $(PROJECT) $(COCCI) $(RESULTS) $(SPFLAGS) | |
16 | ||
17 | viewlog: | |
7f004419 | 18 | find $(RESULTS) -name "*.log" | xargs cat | pager |
951c7801 C |
19 | |
20 | viewfilteredlog: | |
21 | find $(RESULTS) -name "*.log" | xargs cat | \ | |
22 | grep -ve "^$$" | \ | |
23 | grep -v "HANDLING" | \ | |
24 | grep -v "NOTE" | \ | |
25 | grep -v "Unsupported form of #define" | \ | |
26 | grep -v "no glimpse keyword inferred from snippet" | \ | |
27 | grep -v "EXN:Common.Timeout" | \ | |
28 | grep -v "FLOW: can't find exit or error exit:" | \ | |
29 | grep -v "FLOW: deadcode detected:" | \ | |
30 | grep -v "LEXER: identifier with dollar:" | \ | |
31 | grep -v "LEXER: unrecognised symbol in char:" | \ | |
32 | grep -v "LEXER: ZARB" | \ | |
33 | grep -v "CFG: orphelin nodes, maybe something weird happened" | \ | |
34 | grep -v "not worth trying" | \ | |
35 | grep -v "MultiFound field:" | \ | |
36 | grep -ve "(ONCE) warning: I consider .* as a constant" | \ | |
7f004419 | 37 | grep -ve "TYPE: header .* not found" |
951c7801 C |
38 | |
39 | viewres: | |
7f004419 | 40 | find $(RESULTS) -name "*.out" | xargs pager |
951c7801 C |
41 | |
42 | checkcocci: | |
43 | for c in `find $(COCCI) -name "*.cocci"`; do spatch -parse_cocci $$c > /dev/null ; done | |
44 | ||
45 | clean: | |
46 | find $(RESULTS) -name "*.out" -delete | |
47 | find $(RESULTS) -name "*.log" -delete | |
48 | ||
7f004419 | 49 | distclean: |
951c7801 C |
50 | rm -rf $(RESULTS) |
51 | ||
52 | depend: update |