blob: 3fd662c4470d67763e748bf16ef333dbd04172de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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 dafny
boogie: $(addprefix run-, $(TESTS))
dafny: $(addprefix rundfy-, $(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 || :
|
