Changeset 827d73f in mainline for Makefile

Timestamp:

2010-02-12T14:09:22Z (14 years ago)

Author:

Lukas Mejdrech <lukasmejdrech@…>

Branches:

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

Children:

a70bda4

Parents:

918e9910 (diff), e70edd1 (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:

Merged the actual head

File:

• Makefile (modified) (2 diffs)

Makefile

@@ -31 +31 @@
 
 CSCOPE = cscope
-STANSE = stanse
+CONFIG = tools/config.py
 
-.PHONY: all config config_default distclean clean cscope stanse
+.PHONY: all config config_default distclean clean cscope precheck
 
 all: Makefile.config config.h config.defs
-        $(MAKE) -C kernel
-        $(MAKE) -C uspace
-        $(MAKE) -C boot
+        $(MAKE) -C kernel PRECHECK=$(PRECHECK)
+        $(MAKE) -C uspace PRECHECK=$(PRECHECK)
+        $(MAKE) -C boot PRECHECK=$(PRECHECK)
 
-stanse: Makefile.config config.h config.defs
-        $(MAKE) -C kernel clean
-        $(MAKE) -C kernel EXTRA_TOOL=stanse
-        $(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
+precheck: clean
+        $(MAKE) all PRECHECK=y
 
 cscope:
@@ -55 +53 @@
 
 config_default: HelenOS.config
-        tools/config.py HelenOS.config default
+        $(CONFIG) HelenOS.config default
 
 config: HelenOS.config
-        tools/config.py HelenOS.config
+        $(CONFIG) HelenOS.config
 
 distclean: clean
-        rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
+        rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc tools/checkers/*.pyc
 
 clean: