diff options
| -rw-r--r-- | benchmarks/polybench-syn/common.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 0ebc527..e155e4a 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -1,11 +1,11 @@ VERICERT ?= vericert -VERICERT_OPTS ?= -DSYNTHESIS -fschedule +VERICERT_OPTS ?= -DSYNTHESIS -fschedule -fif-conv IVERILOG ?= iverilog IVERILOG_OPTS ?= VERILATOR ?= verilator -VERILATOR_OPTS ?= -Wno-fatal -Wno-lint -Wno-style -Wno-WIDTH --top main --exe /home/ymherklotz/projects/vericert/scripts/verilator_main.cpp +VERILATOR_OPTS ?= -Wno-fatal -Wno-lint -Wno-style -Wno-WIDTH --top main --exe $(HOME)/projects/vericert/scripts/verilator_main.cpp TARGETS ?= |