blob: 6e02aed020041f61961150d6bf0191235f8f47f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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: dafny
dafny: $(addprefix rundfy-, $(TESTS))
rundfy-%:
@cmd /c "runtest.bat $* $(FLAGS)" || :
long:
$(MAKE) TESTS="$(NORMAL) $(LONG)" all
show:
@echo $(TESTS)
|
