diff options
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
| -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 0913bf5..88fb059 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 -O0 -finline IVERILOG ?= iverilog IVERILOG_OPTS ?= VERILATOR ?= verilator -VERILATOR_OPTS ?= -Wno-fatal --top main --exe /home/ymherklotz/projects/vericert/driver/verilator_main.cpp +VERILATOR_OPTS ?= -Wno-fatal --top main --exe /home/ymherklotz/projects/vericert/scripts/verilator_main.cpp TARGETS ?= |