diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-18 22:14:43 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-18 22:14:43 +0000 |
commit | 90ed9c794dadc04259530f7058cd9bc260814d33 (patch) | |
tree | 396e4a931e09d0597fe9979f8c0c1d242d15bd6f /benchmarks/polybench-syn/common.mk | |
parent | 3c5bd88f22f744e4908afbc5a56e202dfa469360 (diff) | |
download | vericert-90ed9c794dadc04259530f7058cd9bc260814d33.tar.gz vericert-90ed9c794dadc04259530f7058cd9bc260814d33.zip |
Improve the benchmark Makefile
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 88fb059..85d62f6 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -1,5 +1,5 @@ VERICERT ?= vericert -VERICERT_OPTS ?= -DSYNTHESIS -O0 -finline +VERICERT_OPTS ?= -DSYNTHESIS -O0 -finline -fschedule -fif-conv IVERILOG ?= iverilog IVERILOG_OPTS ?= |