blob: f550eab9036eb2c6c1af56ab62ad92842e615901 (
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 ./runtest.bat $* $(FLAGS) ; fi || :
rundfy-%:
@if ls -f $*/*.dfy >/dev/null 2>&1 ; then ./runtest.bat $* $(FLAGS) ; fi || :
|
