Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

all:
	$(MAKE) -C tools
	$(MAKE) -C cases

clean:
	$(MAKE) -C tools clean
	$(MAKE) -C cases clean
	$(MAKE) reset

install:
	$(MAKE) -C tools install
	$(MAKE) -C cases install

reset:
	rm -rf bin/*
	rm -rf work/*