summaryrefslogtreecommitdiff
path: root/Test/Makefile
blob: 29e8c844033ef68e82f4035432d1b21b61635054 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
TESTS_FILE = alltests.txt
LONG = $(shell awk '{ if (tolower($$2) ~ /^long$$/) print $$1 }' $(TESTS_FILE))
NORMAL = $(shell awk '{ if (tolower($$2) ~ /^use$$/) print $$1 }' $(TESTS_FILE))
TESTS = $(NORMAL)

all: boogie

boogie: $(addprefix run-, $(TESTS))

show:
	@echo $(TESTS)

long:
	$(MAKE) TESTS="$(NORMAL) $(LONG)" all

run-%:
	@if ls -f $*/*.dfy >/dev/null 2>&1 ; then true ; else cmd /c "runtest.bat $* $(FLAGS)" ; fi || :

rundfy-%:
	@if ls -f $*/*.dfy >/dev/null 2>&1 ; then cmd /c "runtest.bat $* $(FLAGS)" ; fi || :