diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-11 12:29:06 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-11 12:29:06 +0000 |
commit | 797e5060b1b6323e06bfb1c86335f19d12810f04 (patch) | |
tree | 504ceee79a340b42054b2c2dd972b155293b780f /benchmarks/polybench-syn/common.mk | |
parent | 00815c1848041ee08bec774b781d015379865c75 (diff) | |
download | vericert-797e5060b1b6323e06bfb1c86335f19d12810f04.tar.gz vericert-797e5060b1b6323e06bfb1c86335f19d12810f04.zip |
Update testbench with verilator support
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 4c6374f..4d450e8 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -4,6 +4,9 @@ VERICERT_OPTS ?= -DSYNTHESIS -fschedule IVERILOG ?= iverilog IVERILOG_OPTS ?= +VERILATOR ?= verilator +VERILATOR_OPTS ?= -Wno-fatal --top main --exe /home/ymherklotz/projects/vericert/driver/verilator_main.cpp + TARGETS ?= %.v: %.c @@ -15,7 +18,11 @@ TARGETS ?= %.gcc: %.c $(CC) $(CFLAGS) $< -o $@ -%: %.iver %.gcc +%.verilator: %.v + $(VERILATOR) $(VERILATOR_OPTS) --Mdir $@ --cc $< + $(MAKE) -C $@ -f Vmain.mk + +%: %.iver %.gcc %.verilator cp $< $@ all: $(TARGETS) |