Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / Makefile @ e41592cf

History | View | Annotate | Download (329 Bytes)

1
TOPFILES=../sandbox
2

    
3
test-compile:
4
	@bash ./test-compile.sh -a -v 2 tests_ok.list
5
	@rm build/*.o
6

    
7
horn:
8
	@bash ./regression.sh -r -v 2 horn_regression.list
9

    
10
clean:
11
	@rm -rf build
12
	@for i in `find . -iname *.lusi`; do grep generated $$i > /dev/null; if [ $$? -eq 0 ]; then rm $$i; fi; done
13

    
14
distclean: clean
15
	@rm -rf horn-report*