source: mainline/Makefile@ fc6dd18

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

remove ThreadChecker, as it cannot do global checking so far

  • Property mode set to 100644
File size: 2.3 KB
Line 
1#
2# Copyright (c) 2006 Martin Decky
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
32CSCOPE = cscope
33STANSE = stanse
34
35.PHONY: all config config_default distclean clean cscope stanse
36
37all: Makefile.config config.h config.defs
38 $(MAKE) -C kernel
39 $(MAKE) -C uspace
40 $(MAKE) -C boot
41
42stanse: 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
46
47cscope:
48 find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
49
50Makefile.config: config_default
51
52config.h: config_default
53
54config.defs: config_default
55
56config_default: HelenOS.config
57 tools/config.py HelenOS.config default
58
59config: HelenOS.config
60 tools/config.py HelenOS.config
61
62distclean: clean
63 rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
64
65clean:
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.