Changeset db4d6de in mainline for Makefile

Timestamp:

2009-11-28T16:30:43Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c4702804

Parents:

ba8f8cb (diff), 67392fa (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge mainline changes.

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