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 || :
|
