aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva/Makefile
blob: c2ee5e9d862f00ac7e94c96c6c171a158dca537f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
TESTS = $(basename $(wildcard *.sv))

all: $(addsuffix .ok,$(TESTS))

%.ok: %.sv
	bash runtest.sh $<

clean:
	rm -rf $(addsuffix .ok,$(TESTS))
	rm -rf $(addsuffix _pass.sby,$(TESTS)) $(addsuffix _pass,$(TESTS))
	rm -rf $(addsuffix _fail.sby,$(TESTS)) $(addsuffix _fail,$(TESTS))