diff options
Diffstat (limited to 'tests/xsthammer/Makefile')
| -rw-r--r-- | tests/xsthammer/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/xsthammer/Makefile b/tests/xsthammer/Makefile index ab7aebdc3..55d94d456 100644 --- a/tests/xsthammer/Makefile +++ b/tests/xsthammer/Makefile @@ -3,12 +3,20 @@ include generate.lst test: $(TARGETS) +vivado: $(addprefix check_vivado/,$(notdir $(TARGETS))) + check/%.log: rtl/%.v xst/%.v bash run-check.sh $(notdir $(basename $<)) +check_vivado/%.log: rtl/%.v vivado/%.v + bash run-check.sh -vivado $(notdir $(basename $<)) + xst/%.v: rtl/%.v bash run-xst.sh $(notdir $(basename $<)) +vivado/%.v: rtl/%.v + bash run-vivado.sh $(notdir $(basename $<)) + generate.lst: generate.cc clang -Wall -o generate generate.cc -lstdc++ ./generate @@ -23,6 +31,6 @@ clean: mrproper: clean rm -rf rtl xst check -.PHONY: test check_xl_cells clean mrproper +.PHONY: test vivado check_xl_cells clean mrproper .PRECIOUS: check/%.log xst/%.v rtl/%.v generate.lst |