Statistics
| Branch: | Tag: | Revision:

root / Makefile @ master

History | View | Annotate | Download (326 Bytes)

1 f788a116 Filippos Giannakos
.PHONY: default xseg clean distclean build
2 f788a116 Filippos Giannakos
3 f788a116 Filippos Giannakos
default: xseg
4 f788a116 Filippos Giannakos
5 f439d224 Filippos Giannakos
build:
6 f439d224 Filippos Giannakos
	make -C xseg XSEG_DOMAIN_TARGETS="user"
7 f439d224 Filippos Giannakos
	rm xseg/config.mk
8 f788a116 Filippos Giannakos
9 f788a116 Filippos Giannakos
xseg:
10 f788a116 Filippos Giannakos
	make -C xseg
11 f788a116 Filippos Giannakos
	rm xseg/config.mk
12 f788a116 Filippos Giannakos
13 f788a116 Filippos Giannakos
clean:
14 f788a116 Filippos Giannakos
	make -C xseg clean
15 f788a116 Filippos Giannakos
	rm xseg/config.mk
16 f788a116 Filippos Giannakos
17 f788a116 Filippos Giannakos
install:
18 f788a116 Filippos Giannakos
	make -C xseg install
19 f788a116 Filippos Giannakos
	make -C xseg install-src
20 f788a116 Filippos Giannakos
	rm xseg/config.mk
21 f788a116 Filippos Giannakos
22 f788a116 Filippos Giannakos
distclean:
23 f788a116 Filippos Giannakos
	make -C xseg distclean