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

Changeset 8786aa5 in mainline for Makefile


Ignore:
Timestamp:
2010-01-04T15:21:19Z (12 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master
Children:
b766352
Parents:
e405228
Message:

remove Stanse-specific constructs from makefiles
add generic support for checkers via generating an universal jobfiles (for kernel, boot loader, libraries and tasks)
add Stanse preprocessor which uses this universal jobfiles to run Stanse

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Makefile

    re405228 r8786aa5  
    3131
    3232CSCOPE = cscope
    33 STANSE = stanse
     33CONFIG = tools/config.py
    3434
    35 .PHONY: all config config_default distclean clean cscope stanse
     35.PHONY: all config config_default distclean clean cscope precheck
    3636
    3737all: Makefile.config config.h config.defs
    38         $(MAKE) -C kernel
    39         $(MAKE) -C uspace
    40         $(MAKE) -C boot
     38        $(MAKE) -C kernel PRECHECK=$(PRECHECK)
     39        $(MAKE) -C uspace PRECHECK=$(PRECHECK)
     40        $(MAKE) -C boot PRECHECK=$(PRECHECK)
    4141
    42 stanse: 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
     42precheck: clean
     43        $(MAKE) all PRECHECK=y
    4644
    4745cscope:
     
    5553
    5654config_default: HelenOS.config
    57         tools/config.py HelenOS.config default
     55        $(CONFIG) HelenOS.config default
    5856
    5957config: HelenOS.config
    60         tools/config.py HelenOS.config
     58        $(CONFIG) HelenOS.config
    6159
    6260distclean: clean
Note: See TracChangeset for help on using the changeset viewer.