diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:04:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:04:31 +0100 |
commit | bc2144b5fd23b59dd8000075994b1de913d4d762 (patch) | |
tree | 1bb0f8690f3e9f44fb5417e3d8bc0c9bb2a58738 /benchmarks | |
parent | 538e3a285010fe16e459268c516c22d770aabe71 (diff) | |
download | vericert-bc2144b5fd23b59dd8000075994b1de913d4d762.tar.gz vericert-bc2144b5fd23b59dd8000075994b1de913d4d762.zip |
Fix paths in Makefile
Diffstat (limited to 'benchmarks')
-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 ?= |