Changes in Makefile [4cac212c:8359969] in mainline

File:

• Makefile (modified) (2 diffs)

Makefile

@@ -30 +30 @@
 #
 
-.PHONY: all config distclean clean cscope
+CSCOPE = cscope
+STANSE = stanse
+
+.PHONY: all config config_default distclean clean cscope stanse
 
 all: Makefile.config config.h config.defs
@@ -37 +40 @@
         $(MAKE) -C boot
 
-Makefile.config config.h config.defs: HelenOS.config
+stanse: Makefile.config config.h config.defs
+        $(MAKE) -C kernel clean
+        $(MAKE) -C kernel EXTRA_TOOL=stanse
+        $(STANSE) --checker ReachabilityChecker --checker ThreadChecker:contrib/$(STANSE)/ThreadChecker.xml --jobfile kernel/kernel.job
+
+cscope:
+        find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
+
+Makefile.config: config_default
+
+config.h: config_default
+
+config.defs: config_default
+
+config_default: HelenOS.config
         tools/config.py HelenOS.config default
 
-config:
+config: HelenOS.config
         tools/config.py HelenOS.config
 
 distclean: clean
-        rm -f Makefile.config config.h config.defs tools/*.pyc
+        rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
 
 clean:
-        -$(MAKE) -C kernel clean
-        -$(MAKE) -C uspace clean
-        -$(MAKE) -C boot clean
-
-cscope:
-        find kernel boot uspace -regex '^.*\.[chsS]$$' -print > srclist
-        rm -f cscope.out
-        cscope -bi srclist
+        $(MAKE) -C kernel clean
+        $(MAKE) -C uspace clean
+        $(MAKE) -C boot clean