Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 656437a0 in mainline for Makefile


Ignore:
Timestamp:
2009-11-25T14:08:50Z (12 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master
Children:
218e50c
Parents:
fe12f9f4
Message:

add basic support for Stanse static checker (http://stanse.fi.muni.cz/)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Makefile

    rfe12f9f4 r656437a0  
    3030#
    3131
    32 .PHONY: all config config_default distclean clean cscope
     32CSCOPE = cscope.out
     33STANSE = stanse
     34
     35.PHONY: all config config_default distclean clean cscope stanse
    3336
    3437all: Makefile.config config.h config.defs
     
    3639        $(MAKE) -C uspace
    3740        $(MAKE) -C boot
     41
     42stanse: Makefile.config config.h config.defs
     43        $(MAKE) -C kernel clean
     44        $(MAKE) -C kernel EXTRA_TOOL=stanse
     45        $(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
     46
     47cscope:
     48        find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs cscope -b -k -u -f$(CSCOPE)
    3849
    3950Makefile.config: config_default
     
    5061
    5162distclean: clean
    52         rm -f Makefile.config config.h config.defs tools/*.pyc
     63        rm -f $(CSCOPE) Makefile.config config.h config.defs tools/*.pyc
    5364
    5465clean:
    55         -$(MAKE) -C kernel clean
    56         -$(MAKE) -C uspace clean
    57         -$(MAKE) -C boot clean
    58 
    59 cscope:
    60         find kernel boot uspace -regex '^.*\.[chsS]$$' -print > srclist
    61         rm -f cscope.out
    62         cscope -bi srclist
     66        $(MAKE) -C kernel clean
     67        $(MAKE) -C uspace clean
     68        $(MAKE) -C boot clean
Note: See TracChangeset for help on using the changeset viewer.