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

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

%.ok:
	bash runtest.sh $@

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