source: mainline/Makefile@ 0902edfe

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 0902edfe was 8359969, checked in by Martin Decky <martin@…>, 16 years ago

initial support for Stanse ThreadChecker

  • Property mode set to 100644
File size: 2.3 KB
RevLine 
[41f7564]1#
[df4ed85]2# Copyright (c) 2006 Martin Decky
[41f7564]3# All rights reserved.
4#
5# Redistribution and use in source and binary forms, with or without
6# modification, are permitted provided that the following conditions
7# are met:
8#
9# - Redistributions of source code must retain the above copyright
10# notice, this list of conditions and the following disclaimer.
11# - Redistributions in binary form must reproduce the above copyright
12# notice, this list of conditions and the following disclaimer in the
13# documentation and/or other materials provided with the distribution.
14# - The name of the author may not be used to endorse or promote products
15# derived from this software without specific prior written permission.
16#
17# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27#
28
29## Include configuration
30#
31
[218e50c]32CSCOPE = cscope
[656437a0]33STANSE = stanse
34
35.PHONY: all config config_default distclean clean cscope stanse
[41f7564]36
[4cac212c]37all: Makefile.config config.h config.defs
[98a4e76]38 $(MAKE) -C kernel
39 $(MAKE) -C uspace
40 $(MAKE) -C boot
[41f7564]41
[656437a0]42stanse: Makefile.config config.h config.defs
43 $(MAKE) -C kernel clean
44 $(MAKE) -C kernel EXTRA_TOOL=stanse
[8359969]45 $(STANSE) --checker ReachabilityChecker --checker ThreadChecker:contrib/$(STANSE)/ThreadChecker.xml --jobfile kernel/kernel.job
[656437a0]46
47cscope:
[218e50c]48 find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
[656437a0]49
[e035612]50Makefile.config: config_default
51
52config.h: config_default
53
54config.defs: config_default
55
56config_default: HelenOS.config
[4cac212c]57 tools/config.py HelenOS.config default
58
[e035612]59config: HelenOS.config
[231fcb2]60 tools/config.py HelenOS.config
[41f7564]61
[9a0367f]62distclean: clean
[218e50c]63 rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
[41f7564]64
65clean:
[656437a0]66 $(MAKE) -C kernel clean
67 $(MAKE) -C uspace clean
68 $(MAKE) -C boot clean
Note: See TracBrowser for help on using the repository browser.